Módozat, humanitárius enciklopédia
Az első szabály kezelési módok kerültek megfogalmazásra, Arisztotelész által, aki együtt magabiztos szillogizmusokon be forgalomba modális szillogizmusokon. ahol legalább az egyik a helyszínen egy nyilatkozatot a típusú «igény tartozónak B», «A tartozhat B». Szükség van Arisztotelész is gondoltam. Hagyjuk a módozatait a probléma megszerkesztésével két értékes logika elmélete szillogizmus Arisztotelész nem sikerült. Általában a modális szillogisztikus Arisztotelész kétértelműen értelmezi a kutatók számára, és csak történelmi jelentősége ma.
A következő lépés a fejlesztés modális logika Arisztotelész Theophrastus tett egy tanítvány, akiket módozat a kimutatások egésze, nem az egyedi fogalmak. Emellett megkapta a tételt, hogy az összes szükséges funkciókat, hogy megnyílt az út, hogy meghatározza a megvalósíthatósági keresztül szükségességét: „A lehető» megegyezik a „nem kell, hogy nem-A».
A középkorban sok ösztönösen nyilvánvaló, hogy az ősi ötlet a logika szabályait már feledésbe merült. Mindazonáltal, a közepén a XIII század B. Sherwood megkülönböztetni hatféle módozatok: igaz, hamis, talán lehetetlen is véletlenül, ez szükséges. Ezt követően, azok csökkent a három forma: elkerülhetetlenül, talán lehetetlen, és akkor - igaz, hamis és oldhatatlan. A középkori logika volt osztva módozatait a modalitás de dicto (beszéd), vonatkozó nyilatkozat egészére, és modalitás de újra (a dolgok), kapcsolódó tulajdonságok és kifejező egy bizonyos típusú kommunikáció tárgya (objektum gondolat) egy állítmány (jele rejlő témában gondolatok).
A logika a XII-XIII században elfogadták a különbséget a két módozata van szüksége: necessarium önmagában (szükségességét is), és necessarium per balesetmentes (a véletlen szükségesség). Jóváhagyás módozatait az első típusú közömbös adott időben, vagyis mindig igaz; jóváhagyás azoknak a módoknak a második típusú igaz csak egy bizonyos ideig.
A XVIII században, Immanuel Kant alapján osztályozták a módozatait ítélet három csoportba sorolhatók:
- asszertív ítéletek;
- apodiktikus ítéletek;
- problematikus pontját.
Hagyományos (klasszikus) logika (lásd. Logic), mint egy visszatartott csak kezdetleges osztályozás ítélet módozatait. Ez különbözteti három csoport modális állítások:
- apodiktikus megnyilatkozás a szükséges részletes szabályokat (S kell lennie P);
- megnyilatkozás a módozatok problematikus lehetőségek (S lehet P);
- asszertív kimutatások módozatainak reality (S van egy P), attól függően, hogy szükség van, lehetőség vagy valóság az események.
Az alkotók a matematikai logika. beleértve Frege, kérve, hogy a végén, hogy azonosítsa és tárja fel az összes lehetőséget a nyújtási logikai (logikai kötet), teljesen figyelmen kívül hagyva a modális érték logika. A modális fogalmak szinte teljesen kizárták a logikát, amíg a kutatás KI Lewis 1912-1918 években, ami axiomatically megfogalmazott rendszer modális logika, amit az úgynevezett rendszer becslések S1 - S6. Intenzív módozat kezdték tanulmányozni csak a fejlesztési modell-elméleti szemantika.
A modern logika szabályait tekintik „metalogikai” értékelést nyilatkozatok (lásd. Metalogic) és tanult modális logika (lásd. Modális logika), amely a különböző típusú lehetséges modális becslések választja néhány, a legérdekesebb.
A modális logika megvizsgálja a következő csoportok a modális kijelentések és a logikai kapcsolatok:
- Alethic módozatokat, amelyek osztják logikai (transzcendens), jellemző, hogy képesek és hatásfokának intelligencia és a fizikai (ontológiai vagy metafizikai), jellemző pontossága közötti kapcsolat a nyelv és a valóság, amint ezen a nyelven:
- logikai modalitás (módozat abszolút: „logikailag szükséges”, „logikusan baleset”, „logikailag lehetséges”, „logikailag lehetetlen” összehasonlító módozat: „magától értetődően”, „logikus következménye”);
- fizikai (ontológiai, ok-okozati) modalitás (abszolút modalitása „fizikailag szükséges”, „fizikailag baleset”, „fizikailag lehetetlen”, „fizikailag lehetséges” összehasonlító módozat: „van egy oka van”, „következménye”, „sem az oka, minden vizsgálat „).
Minden módozatai vannak osztva abszolút nem kapcsolódik semmilyen körülmények között, és a relatív kapcsolatos bármilyen körülmények között. Módozatai különféle közös formai tulajdonságait. Függetlenül attól, hogy melyik csoportba azok a módozat azok alapján meghatározott egymással ugyanazt a mintát (pl bármi lehetséges, ha az ellentétes nem szükséges, megengedett, ha az ellentétes nem feltétlenül érvényes, ha az ellentétes nem tilos, véletlenül, ez nem szükséges és nem lehetetlen, hogy megoldhatatlan bizonyíthatatlan és megdönthetetlen, és így tovább).
A modern logika módozatait tartalmazza a legtöbb logikai operátorokkal, amely kezeli, hogy vegye figyelembe a mértéke az igazság az állítások, bár figyelembe véve sajátos és elszigetelt szakaszok Logic, tanulmányozza őket, a modális logika. Ilyen témák temporális logika (operátorok „mindig”, „mindig is volt”, és „soha nem lesz”, „egyszer volt”), a tudás a logika ( „ügynök n tudja”), bizonyíthatóság logika ( „ez az elmélet bizonyítható „), a dinamikus logika (” után a program l „), és még sokan mások. Egy ilyen kiterjesztés tanulmány modális logika tárgy mezőben annak a ténynek köszönhető, hogy a hasonló elképzelések és módszerek ezekben külön szakaszok, kezdetben alkalmazott szabály szerint a klasszikus modális operátorok „szükséges” és „lehetséges”. Ugyanakkor ezek a konkrét szakaszait modális logika számos felhasználási területe van bizonyos területeken a tudás, például a filozófia, a matematika alapjait, elméleti alapjait a számítógép-tudomány és alkalmazásai a kognitív tudományok, nyelvészet és mások.