The paper presents a method of truth-graph by truth-tables. On the one hand, the truth-graph constituted by truth value coordinate and circumference displays a more visual representation of the different combinations of truth-values for the simple or complex propositions. Truth-graphs make sure that you don’t miss any of these combinations. On the other hand, they provide a more convenient tool to discern the validity of a complex proposition made up by simple compositions. The algorithm involving in setting up all the truth conditions is proposed to distinguish easily among tautologous, contradictory and consistent expressions. Furthermore, the paper discusses a certain connection between the truth graphs and the symbols for propositional connectives proposed by Stanisław Leśniewski.
Tekst jest poświęcony związkowi między logiką a ontologią w kontekście problemu prawdziwości zdań o przyszłości. Jednym z rozważanych problemów jest „niewrażliwość” logiki klasycznej na ontologiczny problem determinizm-indeterminizm.
EN
The text considers the link between logic and ontology in the context of the problem of future truth. The main issue examined in this paper is the following one: the classical logic is strongly insensitive to the ontological determinism-indeterminism problem.
The text considers the link between logic and ontology in the context of the problem of future truth. The main issue examined in this paper is the following one: the classical logic is strongly insensitive to the ontological determinism-indeterminism problem.
PL
Tekst jest poświęcony związkowi między logiką a ontologią w kontekście problemu prawdziwości zdań o przyszłości. Jednym z rozważanych problemów jest „niewrażliwość” logiki klasycznej na ontologiczny problem determinizm-indeterminizm.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.