Gyorsabb hozzáférés, mint a böngésző!
28 kapcsolatok: Arisztotelész, Ítéletlogika, Értékréses logika, Bertrand Russell, Bizonyíthatósági logika, Dualitás (logika), Ekvivalenciareláció, Elmosódott halmazok logikája, Euklideszi reláció, Filozófiai logika, Individuum, Jimmy Wales, Kurt Gödel, Lehetséges világok, Logikai atomizmus, Logikai szemantika, Matematika, Matematikai logika, Nyelvfilozófia, Peano-aritmetika, Racionális szám, Reflexív reláció, Rudolf Carnap, Ruzsa Imre, Szillogizmus, Szimmetrikus reláció, Tranzitív reláció, Valós számok.
Arisztotelész
Arisztotelész (ógörögül); (Sztageira, Kr. e. 384 – Khalkisz, Kr. e. 322. március 7.) görög tudós és filozófus, a modern európai tudomány atyja és előfutára.
Új!!: Modális logika és Arisztotelész · Többet látni »
Ítéletlogika
Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik.
Új!!: Modális logika és Ítéletlogika · Többet látni »
Értékréses logika
Értékréses logikán olyan logikai rendszert értünk, ami lemond arról az igényéről, hogy minden állításnak legyen jól meghatározott igazságértéke.
Új!!: Modális logika és Értékréses logika · Többet látni »
Bertrand Russell
Bertrand Russell (Ravenscroft (Monmouthshire), Wales, 1872. május 18. – Penrhyndeudraeth, Wales, 1970. február 2.) irodalmi Nobel-díjas angol matematikus, logikatudós, filozófus és szociológus, Kingston III.
Új!!: Modális logika és Bertrand Russell · Többet látni »
Bizonyíthatósági logika
A bizonyíthatósági logika a modális logika egyik fejezete, amelyben egy modális kijelentés olyan módon igaz, hogy bizonyítható egy formális rendszerben, pl.
Új!!: Modális logika és Bizonyíthatósági logika · Többet látni »
Dualitás (logika)
A logikában azt a jelenséget hívjuk dualitásnak, amikor egy logikai konstans igazságfeltételeit megadva, egy új konstans igazságfeltételeit kaphatjuk, ha az első meghatározásban az igaz szó előfordulásait átcseréljük a hamis szóra.
Új!!: Modális logika és Dualitás (logika) · Többet látni »
Ekvivalenciareláció
A matematikában ekvivalenciareláció (vagy röviden ekvivalencia) alatt olyan relációt értünk, amely egyszerre reflexív, szimmetrikus és tranzitív.
Új!!: Modális logika és Ekvivalenciareláció · Többet látni »
Elmosódott halmazok logikája
Az elmosódott halmazok logikája (angolul: fuzzy logic) a többértékű logikai szemantikák egyike.
Új!!: Modális logika és Elmosódott halmazok logikája · Többet látni »
Euklideszi reláció
Egy kétváltozós relációt akkor nevezünk euklideszi relációnak, ha a relációk mindig egyfajta háromszöget alkotnak; ha egy elem relációban áll két másikkal, akkor azok is (valamilyen irányú) relációban kell álljanak egymással.
Új!!: Modális logika és Euklideszi reláció · Többet látni »
Filozófiai logika
A filozófiai logika a logika egy ága, amely a logikai problémákat filozófiai szemszögből és módszerekkel tárgyalja.
Új!!: Modális logika és Filozófiai logika · Többet látni »
Individuum
Az individuumokon, más szóval egyéneken, térben és időben behatárolható, egy biológiai vagy társadalmi csoporttól jól elkülöníthető személyeket értünk.
Új!!: Modális logika és Individuum · Többet látni »
Jimmy Wales
Jimmy Donal „Jimbo” Wales (Huntsville, Alabama, 1966. augusztus 7.) amerikai internetes vállalkozó, a Wikipédia társalapítója, a Wikimédia Alapítvány, a Wikia Search alapítója.
Új!!: Modális logika és Jimmy Wales · Többet látni »
Kurt Gödel
Kurt Gödel (Brünn, 1906. április 28. – Princeton, New Jersey, 1978. január 14.) osztrák matematikus, logikus és tudományfilozófus.
Új!!: Modális logika és Kurt Gödel · Többet látni »
Lehetséges világok
A lehetséges világok ma használatos fogalma a 20. század közepén kialakult formális konstrukcióból nőtt ki.
Új!!: Modális logika és Lehetséges világok · Többet látni »
Logikai atomizmus
A logikai atomizmus az analitikus filozófia első korszakának első részkorszaka.
Új!!: Modális logika és Logikai atomizmus · Többet látni »
Logikai szemantika
A logikai szemantika a logika azon fejezete, amely a nyelvi elemek jelentését logikai szemszögből kívánja feltárni, elemezni.
Új!!: Modális logika és Logikai szemantika · Többet látni »
Matematika
Pszeudoszféra Marosvásárhelyen, a Bolyai téren Euklidész: ''Elemek'' c. híres geometria-tankönyvéhez (Franciaország, XIV. szd. első évtizedei) A matematika tárgyát és módszereit tekintve, sajátos tudomány, mely részben a többi tudomány által vizsgált, részben pedig a matematika „belső” fejlődéséből adódóan létrejött (felfedezett, ill. feltalált) rendszereket, struktúrákat, azok absztrakt, közösen meglévő tulajdonságait vizsgálja.
Új!!: Modális logika és Matematika · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Modális logika és Matematikai logika · Többet látni »
Nyelvfilozófia
Ferdinand de Saussure, a modern nyelvészet alapító atyja A nyelvfilozófia a nyelvi jelentés mibenlétével, nyelv és gondolkodás kapcsolatával, a nyelvhasználat szabályaival foglalkozó filozófiai kutatási terület.
Új!!: Modális logika és Nyelvfilozófia · Többet látni »
Peano-aritmetika
A Peano-aritmetika a természetes számok egy elsőrendű axiómarendszere.
Új!!: Modális logika és Peano-aritmetika · Többet látni »
Racionális szám
#ÁTIRÁNYÍTÁS Racionális számok.
Új!!: Modális logika és Racionális szám · Többet látni »
Reflexív reláció
Venn-diagram egy reflexív ρ relációról, piros vonal jelöli az egyenlőségi relációt Reflexív relációnak nevezünk egy homogén kétváltozós relációt, ha a reláció alaphalmazának minden eleme relációban áll önmagával.
Új!!: Modális logika és Reflexív reláció · Többet látni »
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Németország, 1891. május 18. – Santa Monica, Kalifornia, 1970. szeptember 14.) német-amerikai filozófus.
Új!!: Modális logika és Rudolf Carnap · Többet látni »
Ruzsa Imre
Ruzsa Imre (Budapest, 1921. május 12. – Budapest, 2008. július 2.) Széchenyi-díjas filozófus.
Új!!: Modális logika és Ruzsa Imre · Többet látni »
Szillogizmus
A hagyományos logikában olyan következtetési forma, amelynek legalább két premisszája van.
Új!!: Modális logika és Szillogizmus · Többet látni »
Szimmetrikus reláció
Egy homogén kétváltozós relációt akkor nevezünk szimmetrikusnak, hogyha bármely két elem, amely adott sorrendben relációban áll, a fordított sorrendben is relációban áll, vagyis a reláció „kölcsönösen” („oda-vissza”) fennáll két elem közt.
Új!!: Modális logika és Szimmetrikus reláció · Többet látni »
Tranzitív reláció
Egy homogén kétváltozós relációt akkor nevezünk tranzitívnak, ha az elempárok azon tulajdonsága, hogy egymással relációban állnak, „láncszerűen” tovább adódik, mint például a testmagasság esetében a „magasabbnak lenni” relációnál: ha én magasabb vagyok az apámnál, az apám pedig magasabb az anyámnál, akkor én magasabb vagyok az anyámnál.
Új!!: Modális logika és Tranzitív reláció · Többet látni »
Valós számok
A valós számok halmaza és a számegyenes pontjai között kölcsönösen egyértelmű megfeleltetés létesíthető.
Új!!: Modális logika és Valós számok · Többet látni »
Átirányítja itt:
Modal Logic, Modális logikai grammatika.
