Syftet med detta dokument är att presentera ett parakonsistent formellt system och en motsvarande avsedd tolkning enligt vilken verkliga motsägelser inte tolereras. Kontradiktioner uppfattas i stället epistemiskt som motstridiga bevis, där bevis för ett påstående A förstås som skäl för att tro att A är sant. I tidningen definieras ett parakonsekvent och parakomplett naturligt avdragssystem, som kallas Basic Logic of Evidence (BLE), och utvidgar det till Logic of Evidence and Truth (LET J ). Det senare är en logik av formell inkonsekvens och obeslutsamhet som kan uttrycka inte bara bevarande av bevis utan också bevarande av sanningen. LET J är antidialetheist i den meningen att, enligt den intuitiva tolkning som föreslås här, dess följdförhållande är trivialt i närvaro av någon verklig motsägelse. Tillräckliga semantik och en beslutsmetod presenteras för både BLE och LET J, samt några tekniska resultat som passar den avsedda tolkningen. Nyckelord Parakonsistent logik · Parakonsistensfilosofi · Intuitionistisk logik · Parafullständighet · Logik av formell inkonsekvens och obestämdhet
Ett nyligen utfört arbete presenterar en parakonsistent logik som kan resonera om bevarande av bevis och sanning (se REF ).
An epistemic approach to paraconsistency: a logic of evidence and truth
{'venue': 'Synthese', 'journal': 'Synthese', 'mag_field_of_study': ['Computer Science', 'Mathematics']}