Švob, Goran.
(1972).
O nekim pretpostavkama polivalentne logike.
Praxis, IX(3-4).
pp. 253-259.
Abstract
Nastavak prvih sistema polivalentne logike dvadesetih godina ovog stoljeća, učinio se mnogim logičarima kao revolucionaran preokret u logici. To posebno važi za prvi interpretirani polivalentni sistem, koji je u vezi s problematikom modalne logike nagovijestio 1920. godine Jan Lukasiewicz.
Neovisno od Lukasiewicza, američki je logičar E. L. Post osnovao vlastiti polivalentni sistem, u kojem numeričke vrijednosti koje poprimaju »istinosne« funkcije nisu nikako interpretirane već se shvaćaju potpuno apstraktno. Uvođenje neinterpretiranih numeričkih vrijednosti umjesto istinosnih vrijednosti našlo je svoju primjenu unutar obične, dvovalentne logike u dokazima za nezavisnost i konzistentnost skupova aksioma. Čini se, ipak, da naziv »polivalentna logika« pristaje u pravom smislu samo onim logičkim sistemima u kojima je pored dvije osnovne istinosne vrijednosti — istinito i neistinito — navedena i treća ili čitav (najčešće beskonačan) niz različitih i stupnjevitih istinosnih vrijednosti. Ovakva se logika čini
uistinu značajnom novošću, ali je uz nju već od početka vezano mnoštvo nejasnoća i različitih prigovora.
Actions (login required)
 |
View Item |
Statistics
Statistics