Výsledky hledání

...ací v oboru [[teorie množin]]. Je zakladatalem takzvané [[alternativní teorie množin]]. Jeho filozofické dílo se věnuje filozofickým otázkám vědy ...h letech založil a společně se svými studenty rozvinul [[alternativní teorie množin|alternativní teorii množin]]. V letech osmdesátých se začal za

...publika|český]] světově uznávaný [[vědec]] v oblasti [[matematická logika|matematické logiky]]<ref>http://www.radio.cz/cz/clanek/91701 Český rozhl ... inteligence|umělé inteligenci]]. Položil matematické základy [[fuzzy logika|fuzzy logiky]].<ref>http://www.avcr.cz/thirdlevel/press/ostat_show.php?ID=2

*[[Paradoxy naivní teorie množin]] [[Kategorie:Logika]]

*[[paradox (logika)]] - formálně správný [[úsudek]], jehož výsledkem je [[spor]] **[[paradoxy naivní teorie množin]]

...tace, implementace interaktivních systémů, výukové využití [[APL]], teorie a praxe programovacích jazyků | [[1983]] || [[Ken Thompson]] a [[Dennis M. Ritchie]] || obecná teorie [[operační systém|operačních systémů]], implementace operačního sy

...ákladní úkony rozumu. Jedním je spojování a rozdělování v [[soud (logika)|soud]]u, druhým přechod od neznámého ke známému v [[úsudek|úsudku] ... z [[názor]]ů a z forem myšlení, které může analyzovat [[formální logika]]. Strukturu poznání by pak bylo možné chápat ve smyslu [[logický emp

...uhý=pojmu [[matematická logika|matematické logiky]]|stránka=formální teorie}} ...sledky experimentů a byl vnitřně [[konzistence|konzistentní]]. Opakem teorie je [[praxe]], [[empirie]].

'''Teorie množin''' je [[Matematika|matematická]] teorie, která se zabývá množinami. Z formálního pohledu jsou veškeré objek ...itý, ale zároveň „logický“, aby v něm mohly ostatní matematické teorie ([[algebra]], [[matematická analýza]]) smysluplně existovat, a zároveň

... vztahem k pojmům [[axiom]]atické [[teorie (logika)|teorie]] a [[důkaz (logika)|dokazatelnosti]]. ''Hlavní článek: [[Model (logika)]]''

'''Teorie pravděpodobnosti''' ('''počet pravděpodobnosti''') je [[matematika|matem Rozvoj této teorie probíhal od 17. století, zpočátku inspirován hlavně [[hazardní hra|h

... struktura]], která zobecňuje vlastnosti [[množina|množinových]] a [[logika|logických]] operací. Je nazvána podle irského matematika George&nbsp;Bo ...ra obsahuje pouze jeden prvek, neboli 0&nbsp;=&nbsp;1 (zde nejde o [[spor (logika)|spor]], nýbrž o dvojí značení jednoho [[prvek množiny|prvku]]). Vše

...čujeme jako '''axiomatickou''' a takto vytvořenou teorii za [[Formální teorie|teorii formální]]. Pro prokazování tvrzení ve formálních teoriích s ...ě byla axiomatizována i [[logika]] a došlo k vytvoření axiomatické [[teorie množin]], která se stala teorií zahrnující celou tehdejší matematiku

V [[teorie množin|teorii množin]] a v moderní [[logika|logice]] se antinomie často ztotožňují s [[paradox]]y. * [[Paradoxy naivní teorie množin]]

...mény]] neexistuje nevyhnutelná souvislost. Ekonomické výklady dějin a teorie modernizace jsou podle něj nedostatečné - je třeba zohlednit i další ...ějin) v důsledku nějaké civilizační katastrofy, nicméně podle něj logika technologického vývoje a mechanismus moderní přírodovědy, poháněný

'''[[Logika]]''' rozlišuje * [[transformátor (teorie systémů)|Transformátor]] převádí jedno úsilí na druhé úsilí a to

...vědy]] a [[filosofie]]. Jeho vědecká činnost je zastoupena i na poli [[logika|logiky]], [[fyzika|fyziky]], [[biologie]], [[sociologie]] a [[politologie]] ...ní verifikace (potvrzení), ale ''[[falzifikace|falsifikace]]''. Pouze ta teorie, kterou je možné podrobit falsifikaci, tedy vystavit ji možnosti vyvrác

V roce [[1930]] publikoval větu o úplnosti [[predikátová logika prvního řádu|predikátové logiky prvního řádu]] a v roce [[1931]] z� === Matematická logika ===

... [[literární teorie|literární teoretik]], jeden ze zakladatelů tzv. [[teorie fikčních světů]]. ...j. americkou [[Analytická filosofie|analytickou filosofií]], [[modální logika|modální logikou]] a [[Leibniz]]ovou teorií [[možný svět|možných sv�

...hna McCarthse '''advice taker''' (rádce) [1958]. V tomto návrhu slouží logika pro čistě deklarativní reprezentaci jazyka a dokazovač vět (theorem-pr Častěji se však logické programování chápe v užším smyslu, kdy se logika používá na deklarativní i procedurální reprezentaci jazyka. Vychází

...vá ve smyslu ''myšlenková cesta, která vedla k daným závěrům''. '''Logika''' je také formální [[věda]], zkoumající právě onen způsob vyvozov ...i, jinak řečeno je to disciplína studující relaci „vyplývání“. Logika také nezkoumá úplně obecně poznání – to je předmětem filosofick�