Una logica non classica è un sistema formale che differisce in modo significativo dai sistemi logici standard come la logica proposizionale e predicativa. Esistono diversi modi per farlo, anche tramite estensioni o variazioni. Lo scopo di queste partenze è di rendere possibile la costruzione di diversi modelli di conseguenza logica e di verità logica. Ad esempio, una logica non classica per la fisica include caratteristiche specifiche dei sistemi fisici che non si applicano ai sistemi formali generali.Robin Giles "A Non-Classical Logic for Physics", Studia Logica, Vol. 33, No. 4 (1974), pp. 397-415
Un noto esempio di logica non classica è una logica polivalente che ammette valori di verità diversi da vero e falso. Le forme più popolari sono la logica a tre valori, inizialmente sviluppata da Jan Łukasiewicz, e la logica a valori infiniti come la logica fuzzy, che consente qualsiasi numero reale compreso tra 0 e 1 come valore di verità.M. Bergmann "An introduction to many-valued and fuzzy logic", Cambridge University Press, 2008 ISBN 978-0-521-88128-9 pp 80 Un altro esempio è la logica intuizionista che rifiuta la legge del terzo escluso, l'eliminazione della doppia negazione e parte delle leggi di De Morgan. La logica modale estende la logica classica con operatori non funzionali alla verità ("modali").Patrick Blackburn et al, "Modal Logic" ,Cambridge Tracts in Theoretical Computer Science. Cambridge University Press 2001 ISBN 9780521527149.
Note
Bibliografia Graham Priest, "An Introduction to Non-Classical Logic", Cambridge University Press 2008 ISBN 9780521670265 Eric Schechter, "Classical and Nonclassical Logics", Princeton University Press 2020 ISBN 9780691220147
Altri progetti
Collegamenti esterni
Categoria:Logica