Original scientific paper

Some Limitations on the Applications of Propositional Logic

Edi Pavlović ; University of Helsinki, Helsinki, Finland

Abstract

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.

Keywords

Logic gate, logic game, a priori, propositional logic.

Hrčak ID:

253575

URI

https://hrcak.srce.hr/253575

Publication date:

20.12.2018.

Visits: 737 *