This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.
Trillas, E., Garcia Honrado, I., Termini, S. (2014). Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 43(2), 162-171 [10.1080/03081079.2014.880223].
Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
TERMINI, Settimo
2014-01-01
Abstract
This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
