A modalitás ítéletek jellegét és típusát
A módozat ítéletek: a természet és típusok
A módozat í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. A logikai szakasz. 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)
Alethic modalitás által kifejezett szereplők (funktorok) "szükséges" (# 9633;), "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égét, hogy a magyar 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.
Axiológiai (becsült) módozat nyilatkozatok szemszögébő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.
Deontic (normatív) módozat tükrözi kötés jóváhagyott ítéletkor erkölcsi normák, a jog, egyedi kötelezettségek ( „kell”, „must”, „lehet”, „engedélyezett”, „tilos”, „engedélyezett”), és azt is kifejezni megrendelés, motiváció bizonyos intézkedéseket.
Episztemikus modalitás mértékét tükröző érvényességének tartalmát az ítéletet tudás (a „bebizonyította”, vagy „tévedtek”, hogy „valószínű”, „nehéz”, „valószínű” t. P.), Valamint módon figyelembe szereplő információk az ítéletet ( „tudja” "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 (valódiságát) operátor
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 (
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.