Deviantní logika - Deviant logic

Tento článek je tón nebo styl nemusí odrážet encyklopedický tón použitý na Wikipedii. Viz Wikipedia průvodce psaním lepších článků pro návrhy. (Březen 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Filozof Susan Haack^[1] používá výraz „deviantní logika„popsat jistě neklasické logické systémy. V těchto logikách

• the soubor z dobře formulované vzorce generovaný se rovná množině dobře vytvořených vzorců generovaných klasickou logikou.
• soubor věty generované se liší od množiny vět generovaných klasickou logikou.

Sada teorémů deviantní logiky se může jakýmkoli způsobem lišit od sady vět klasické logiky: jako vlastní podmnožina, nadmnožina nebo plně exkluzivní sada. Pozoruhodným příkladem je trivalentní logika vyvinutá polština logik a matematik Jan Łukasiewicz. V tomto systému je jakákoli věta nutně závislá na klasické logice princip bivalence by nebylo platné. Termín se poprvé objevuje v kapitole 6 Willard Van Orman Quine je Filozofie logiky, New Jersey: Prentice Hall (1970), citovaný Haackem na str. 15 její knihy.

Kvazi-deviantní a rozšířená logika

Haack také popsala, čemu říká a kvazi-deviantní logika. Tyto logiky se liší od čistě deviantních logik v tom, že:

• sada dobře vytvořených vzorců je řádnou nadmnožinou sady dobře vytvořených vzorců generovaných klasickou logikou.
• množina generovaných vět je vlastní nadmnožinou množiny vět generovaných klasickou logikou, a to v tom, že kvazi-deviantní logika generuje nové věty pomocí dobře formulovaných vzorců držených společně s klasickou logikou, stejně jako nové věty používající novou studnu -formulované vzorce.

Nakonec Haack definoval třídu pouze prodloužena logika. V těchto,

• sada dobře vytvořených vzorců je řádnou nadmnožinou sady dobře vytvořených vzorců generovaných klasickou logikou.
• množina generovaných vět je vlastní nadmnožinou množiny vět generovaných klasickou logikou, ale pouze v tom, že nové věty generované rozšířenou logikou jsou pouze výsledkem nových dobře formulovaných vzorců.

Některé systémy modální logika splňují tuto definici. V takových systémech by žádná nová věta nebyla analyzována v klasické logice kvůli modálním operátorům. Zatímco deviantní a kvazi-deviantní logika se obvykle navrhují jako soupeři klasické logiky, impulsem za rozšířenou logikou je obvykle pouze poskytnout její doplněk.

O dvě desetiletí později

Achille Varzi ve své recenzi^[2] vydání Haackovy knihy z roku 1996 píše, že průzkum neobstál ve zkoušce času, zejména s „mimořádným množením neklasických logik v posledních dvou desetiletích -parakonzistentní logika, lineární logika, substrukturální logika, nonmonotonic logiky, nespočet dalších logik pro umělou inteligenci a počítačovou vědu. “Také zjistil, že Haackova zpráva je neurčitost „je nyní vážně vadný.“ Připouští však, že „jako obranu filozofického postavení, Deviantní logika si zachovává svůj význam. “

Reference