Rychlejší přístup než prohlížeči!
49 vztahy: Alan Turing, Alfred Tarski, Alonzo Church, Aristotelés, Artistická fakulta, Bernard Bolzano, Bertrand Russell, Charles Sanders Peirce, David Hilbert, Dialektika, Epistemologie, Exaktní, Filosofie, Formální jazyk, Fuzzy logika, Georg Cantor, George Boole, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Informace, Informatika, Interpretace, Intuicionistická logika, Jazyk (lingvistika), Konotace, Kurt Gödel, Logická olympiáda, Ludwig von Mises, Matematická logika, Modální logika, Predikátová logika, Premisa, Reprezentace znalostí, Scholastika, Středověk, Sylogismus, Temporální logika, Teologie, Transparentní intenzionální logika, Trivium, Umělá inteligence, Univerzita, Vágnost, Výrok, Výroková logika, Věda, Volná logika, William Ockham.
Alan Turing
Alan Mathison Turing, OBE (23. června 1912 Londýn — 7. června 1954 Wilmslow) byl britský matematik, logik, kryptoanalytik a zakladatel moderní informatiky.
Nový!!: Logika a Alan Turing · Vidět víc »
Alfred Tarski
Alfred Tarski (14. ledna 1901, Varšava, Ruskem ovládaná část Polska – 26. října 1983, Berkeley, Kalifornie, USA) byl polský logik a matematik, který téměř 40 let žil a pracoval v USA.
Nový!!: Logika a Alfred Tarski · Vidět víc »
Alonzo Church
Alonzo Church (Washington, D.C. – Hudson (Ohio)) byl americký matematik, logik a filozof.
Nový!!: Logika a Alonzo Church · Vidět víc »
Aristotelés
Lysippos: Aristotelés (římská kopie) Aristotelés ze Stageiry (též Aristoteles) byl filosof vrcholného období řecké filosofie, nejvýznamnější žák Platonův a vychovatel Alexandra Makedonského.
Nový!!: Logika a Aristotelés · Vidět víc »
Artistická fakulta
Praze) Artistická fakulta (též fakulta svobodných umění) byla součást středověké univerzity, která poskytovala přípravné vzdělání pro další studium na teologických, právnických a lékařských fakultách.
Nový!!: Logika a Artistická fakulta · Vidět víc »
Bernard Bolzano
Ernst Popp, busta Bernarda Bolzana (1849) Bernard Bolzano (5. října 1781 Praha – 18. prosince 1848 Praha farnost při kostele Matky Boží před Týnem na Starém Městě pražském) byl český německy hovořící matematik, filozof, estetik a kněz.
Nový!!: Logika a Bernard Bolzano · Vidět víc »
Bertrand Russell
Bertrand Arthur William Russell (18. května 1872, Trelleck, Monmouthshire, Wales – 2. února 1970, Penrhyndeudraeth, Gwynedd (Merionethshire), Wales), třetí hrabě Russell, byl britský matematik, filosof, logik, sociální kritik a spisovatel, nositel Nobelovy ceny za literaturu za rok 1950.
Nový!!: Logika a Bertrand Russell · Vidět víc »
Charles Sanders Peirce
Charles Sanders Peirce (//; dle angl. //), (10. září 1839 Cambridge, Massachusetts – 19. dubna 1914 Milford, Pensylvánie) byl americký vědec, matematik a logik, jeden z nejvýznamnějších amerických filozofů, zakladatel pragmatismu a moderní sémiotiky.
Nový!!: Logika a Charles Sanders Peirce · Vidět víc »
David Hilbert
David Hilbert (23. ledna 1862 Wehlau (dnes Znamensk), Východní Prusko – 14. února 1943 Göttingen, Německo) byl jeden z největších matematiků 20. století.
Nový!!: Logika a David Hilbert · Vidět víc »
Dialektika
Dialektika (z řeckého dialektiké techné od dialegesthai, rozmlouvat) je filosofický pojem, jenž nabýval během dějin různých významů a je i dnes nejednoznačný.
Nový!!: Logika a Dialektika · Vidět víc »
Epistemologie
Epistemologie (z řeckého έπιστήμη epistémé znalost, schopnost + λόγος logos slovo, řeč), občas také gnozeologie (z řec. γνῶσις gnósis poznání) či noetika (z řec. νοήμα noéma myšlenka), je jedna ze základních filozofických disciplín (vedle etiky, logiky a metafyziky), která zkoumá lidské poznání, jeho vznik, proces, předmět či limity.
Nový!!: Logika a Epistemologie · Vidět víc »
Exaktní
Exaktní (lat. exactus od exigó, vyžaduji, zkoumám, měřím) znamená přesný.
Nový!!: Logika a Exaktní · Vidět víc »
Filosofie
#PŘESMĚRUJ Filozofie Kategorie:Přesměrování z alternativního pravopisu.
Nový!!: Logika a Filosofie · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Logika a Formální jazyk · Vidět víc »
Fuzzy logika
Aplikace fuzzy logiky na měření teploty umožňuje používat pojmy jako „studená voda“, „teplá voda“, „horká voda“, které nemají striktní hranice Fuzzy logika (česky též mlhavá logika) je podobor matematické logiky odvozený od teorie fuzzy množin, v němž se logické výroky ohodnocují mírou pravdivosti.
Nový!!: Logika a Fuzzy logika · Vidět víc »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (3. března 1845 Petrohrad – 6. ledna 1918 Halle) byl významný německý matematik a logik.
Nový!!: Logika a Georg Cantor · Vidět víc »
George Boole
George Boole (2. listopadu 1815 Lincoln – 8. prosince 1864 Ballintemple u Corku) byl britský matematik a filosof, známý jako objevitel základů moderní aritmetiky, nazvané později Booleovou algebrou.
Nový!!: Logika a George Boole · Vidět víc »
Giuseppe Peano
Giuseppe Peano (27. srpna 1858, Spinetta, Piemont, Itálie – 20. dubna 1932, Turín) byl italský matematik, filosof a logik.
Nový!!: Logika a Giuseppe Peano · Vidět víc »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm von Leibniz (1. července 1646 Lipsko – 14. listopadu 1716 Hannover, jeho jméno se někdy uvádí jako Leibnitz) byl německý filosof, vědec, matematik a teolog píšící převážně v latině a francouzštině.
Nový!!: Logika a Gottfried Wilhelm Leibniz · Vidět víc »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8. listopadu 1848, Wismar – 26. července 1925, Bad Kleinen) byl německý matematik, logik a filosof, dlouholetý profesor univerzity v Jeně.
Nový!!: Logika a Gottlob Frege · Vidět víc »
Informace
Informace (z lat. in-formatio, utváření, ztvárnění) je velmi široký, mnohoznačný pojem, který se užívá v různých významech.
Nový!!: Logika a Informace · Vidět víc »
Informatika
Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.
Nový!!: Logika a Informatika · Vidět víc »
Interpretace
Interpretace (z lat. interpretari – vykládat, tlumočit, překládat, posuzovat) je slovo s poměrně širokým významem, který se v jednotlivých oborech lidské činnosti může lišit.
Nový!!: Logika a Interpretace · Vidět víc »
Intuicionistická logika
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího.
Nový!!: Logika a Intuicionistická logika · Vidět víc »
Jazyk (lingvistika)
Jazyk a písmo pojí velmi těsný vztah Jazyk je abstraktní struktura (řád mezi vhodnými primitivy) schopná nést informaci, a tak ji uchovávat a přenášet – sdělovat.
Nový!!: Logika a Jazyk (lingvistika) · Vidět víc »
Konotace
Konotace znamená transformaci člověkem přijaté jazykové formy (slova, věty, tahy malířova štětce, architektonická skica, dendrologická struktura...) v informaci vytvořenou z ní v jeho psýše.
Nový!!: Logika a Konotace · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Logika a Kurt Gödel · Vidět víc »
Logická olympiáda
Finále Logické olympiády 2009 Logická olympiáda je soutěž pořádaná Mensou České republiky.
Nový!!: Logika a Logická olympiáda · Vidět víc »
Ludwig von Mises
Ludwig Edler von Mises (29. září 1881 Lemberg (Lvov) – 10. října 1973 New York) byl ekonom rakouské školy, historik, logik a sociolog působící v Rakousku a USA ve 20.
Nový!!: Logika a Ludwig von Mises · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Logika a Matematická logika · Vidět víc »
Modální logika
Modální logika je oblast logiky zkoumající logické operace, tzv.
Nový!!: Logika a Modální logika · Vidět víc »
Predikátová logika
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Nový!!: Logika a Predikátová logika · Vidět víc »
Premisa
Premisa (z lat. praemittere napřed posílat, předesílat) označuje předpoklad.
Nový!!: Logika a Premisa · Vidět víc »
Reprezentace znalostí
Vnímání objektů ovlivňuje jejich klasifikace, jazykové i kulturní spojitosti Reprezentace znalostí je schopnost jazyka (vyjadřovací síla) popisovat – reprezentovat jistou třídu znalostí.
Nový!!: Logika a Reprezentace znalostí · Vidět víc »
Scholastika
Pojem scholastika vychází z latinského slova scholasticus (resp. řeckého σχολαστικός), což znamená „školský, patřící škole“, popř.
Nový!!: Logika a Scholastika · Vidět víc »
Středověk
Přebohatých hodinek vévody z Berry'' z počátku 15. století Středověk je tradiční označení dějinné epochy mezi koncem antické civilizace (starověku) a začátkem novověku, které se poprvé objevilo v období renesance.
Nový!!: Logika a Středověk · Vidět víc »
Sylogismus
Sylogismus (řecky: συλλογισμός – „rozhodnutí,“ „logický důsledek“; obvykle kategorický sylogismus) je druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy.
Nový!!: Logika a Sylogismus · Vidět víc »
Temporální logika
Temporální logika je široké spektrum formálních systémů, jejichž společným cílem je formalizovat a analyzovat věty obsahující časové (temporální) komponenty jako někdy, vždy či dokud.
Nový!!: Logika a Temporální logika · Vidět víc »
Teologie
Teologie (z řeckého θεολογία theologia.
Nový!!: Logika a Teologie · Vidět víc »
Transparentní intenzionální logika
Transparentní intenzionální logika (TIL) je logika, která měla některé rysy společné s logikou, kterou formuloval v sedmdesátých letech 20.
Nový!!: Logika a Transparentní intenzionální logika · Vidět víc »
Trivium
Trivium (lat. trivium, trojcestí) byl název pro tři základní „umění“ (lat. artes, obory, učební předměty), která tvořila první stupeň v systému vzdělávání na středověkých univerzitách: gramatika, rétorika, dialektika.
Nový!!: Logika a Trivium · Vidět víc »
Umělá inteligence
Umělá inteligence (artificial intelligence, AI) je obor informatiky zabývající se tvorbou systémů řešících komplexní úlohy jako je rozpoznávání či klasifikace, např.
Nový!!: Logika a Umělá inteligence · Vidět víc »
Univerzita
Univerzita (z lat. universitas.
Nový!!: Logika a Univerzita · Vidět víc »
Vágnost
Vágnost (rozmazanost, mlhavost, neurčitost) je primárně filtrem přirozeného lidského poznání, další úlohy vágnosti jsou z něj odvozeny, jsou sekundární.
Nový!!: Logika a Vágnost · Vidět víc »
Výrok
Výrok může označovat.
Nový!!: Logika a Výrok · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Logika a Výroková logika · Vidět víc »
Věda
Věda jako celek je systematický způsob racionálního a empirického poznávání skutečnosti zaměřený na spolehlivost výsledků a často i na možnosti predikce a aplikace (aplikované vědy).
Nový!!: Logika a Věda · Vidět víc »
Volná logika
Volná logika je logický systém, který na rozdíl od klasické logiky připouští jako model určité teorie i prázdnou množinu a připouští, aby jmenný symbol neoznačoval žádné individuum.
Nový!!: Logika a Volná logika · Vidět víc »
William Ockham
William Ockham (také Occam, česky někdy Vilém Ockham, snad 1287 – 9. dubna 1347 Mnichov) byl anglický františkánský mnich a teolog, významný logik, nominalistický filosof a středověký politický myslitel.
Nový!!: Logika a William Ockham · Vidět víc »
