Logic előadás 5 komplex kimutatás

ELŐADÁS 5. komplex értékelések

Forms összetett értékelések és az igazság asztalra.

A módozat ítéletek: a természet és típusok.

1. típusok összetett értékelések és az igazság asztalra.

Komplex suzhdenie- ezt az ítéletet, amely két vagy több egyszerű kijelentéseket összekapcsolt logikai kötőszavak. A legegyszerűbb típusú összetett ítéletek tagadás

1. Tagadás - „nem”, „nem igaz, hogy ...” „Nem igaz, hogy a Föld tér”. Általában Jele „¬” vagy "

„Feltételek igazság ítélete komplex álló egyszerű a feltételezésen alapul, a kétértelműség és vannak beállítva a igazság táblázat, ahol p, q - propozicionális változók jelölő egyszerű ítélete, azaz p - (S-nek P) és q - (S van egy P .), és - az igazság, L -. fekszenek az első két oszlopban p és q hoznak független.

Az igazság táblázat tagadni

Egyenértékű állítások ekvivalensek. Ezért igazak egyenlő értékek és hamis egyenértékűség tagjai - különböző.

2. Modalitás ítéletek: a természet és típusok.

Modalitás - kifejezetten vagy burkoltan kifejezte megítélése szerint további információt a mértéke annak érvényességét, logikai és ténybeli helyzetét a szabályozási, kiértékelő, és mások az ő tulajdonságai .. Szó szerint, amely módozat rögzített kijelentés hívják modális funktorhoz. egy nyilatkozatot, amely a modális funktorhoz úgynevezett modális. § logika, ahol a tulajdonságait modális kijelentések vizsgálták, az úgynevezett modális logika. Modális logika vonatkozik a nem klasszikus logikák (klasszikus két értékes logika, és a modális - értékes). A leggyakoribb módozatai:

alethic (a görög "Aletheia" -. az igazság)

axiológiai (. a görög Axios - értékes)

deontic (. a görög deonte - mint amilyennek lennie kellene)

episztemikus (a görög „episztémét” -. bizonyos ismerete)

1. alethic modalitás által kifejezett szereplők (funktorok) "szükséges" (□), "lehetséges" (◊), "véletlenül" (). Alethic alapfogalmait feltételezett fogalmak lehetőségét és szükségességét. Hogy kifejezze a lehetőséget az orosz nyelv a „lehet”, „talán”, „valószínű”, és mások. Annak érdekében, hogy kifejezze annak szükségességét, hogy a „szükséges”, „kellene”, „ezért”, és mások. 2. axiológiai (becsült) modalitás nyilatkozatok a szempontból egy bizonyos értékrendet. Axiológiai nyilatkozatok állapot kifejezett abszolút ( „jó”, „rossz”, a „rossz”, „nem érdekel”) vagy relatív ( „jobb”, „rosszabb”, „egyenértékű”) értékelő fogalmak. 3. Deontic (normatív) módozat tükrözi viszonyát ítélet a jóváhagyott szabályok az erkölcs, a jog, egyedi kötelezettségek ( „kell”, „must”, „lehet”, „engedélyezett”, „tilos”, „engedélyezett”), és azt is kifejezni érdekében, felbujtás bizonyos intézkedéseket.

4. episztemikus modalitás fokára érvényességi tartalmának ítélet ismerete (az „igazolt” vagy „cáfolta”, hogy „valószínű”, „problémás”, „valószínű” m. P.), és a módja annak, hogy az információ az ítélet tartalmaz ( „know "" hisz "" hisz "" kétség”, stb.) Mértékének megfelelően érvényességi körében tudás két különálló osztály az ítélet jelentős és problematikus. Megbízható ítélet - ez egy ésszerű javaslatot, igaz vagy hamis ítéletek. Az módozat lehet kifejezni két szolgáltató: V - Bizonyíték operátor (valóságnak), F - üzemeltető cáfolni (szimulál). „Bebizonyosodott, hogy a Föld kerek” - V (p). „Azt tagadja, hogy a Föld lapos” - F (q). Az üzemeltetők a V és F lehet kifejezni egymással: V (p) ≡F (

p) ≡F (p). Problémás értékelések - ítélet, amely nem tekinthető megbízhatónak, mert a hiánya érvényességét. Problémás értékelések fejezhető ki az üzemeltető P, hasonlóan a kimutatás valószínűsége a matematikában. Kifejezése P (p) kell olvasni: „Ez talán p” vagy „Úgy tűnik, p”. Azt is meg lehet kifejezni az üzemeltetők a V és F: F (p) =

F (p), azaz a nehéz p azt jelenti, hogy p nem bizonyított, és nem is cáfolták.