Izvorni znanstveni članak
Some Limitations on the Applications of Propositional Logic
Edi Pavlović
; University of Helsinki, Helsinki, Finland
Sažetak
This paper introduces a logic game which can be used to demonstrate the working of Boolean connectives. The simplicity of the system turns out to lead to some interesting meta-theoretical properties, which themselves carry a philosophical import. After introducing the system, we demonstrate an interesting feature of it—that it, while being an accurate model of propositional logic Booleans, does not contain any tautologies nor contradictions. This result allows us to make explicit a limitation of application of propositional logic to those sentences with relatively stable truth values.
Ključne riječi
Logic gate, logic game, a priori, propositional logic.
Hrčak ID:
253575
URI
Datum izdavanja:
20.12.2018.
Posjeta: 759 *