An analysis and generalization of Venn's diagrammatic decision procedure

Studia Logica 1 (1):245-246 (1953)
  Copy   BIBTEX

Abstract

When testing logical formulae for validity by applying Venn's diagrams we are using a kind of picture writing i. e. a writing in which certain facts are represented by drawings rather than sentences. This diagrammatic decision procedure may however be translated into ordinary language. Translating for instance the respective procedure of testing the mood Darii we obtain the following reasoning

Categories

Keywords

Reprint years

DOI

10.1007/bf02272283

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Seweryna Łuszczewska-Romahnowa. Analiza i uogólnienie metody sprawdzania formuł logicznych przy pomocy diagramów Venna. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 185–213. See Errata, ibid., p. 300. - Seweryna Łuszczewska-Romahnowa Analiz i obobščénié métoda provérki logičéskih formul diagrammami Vénna. Russian translation. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 214–244. See Errata, ibid., p. 301. - Seweryna Łuszczewska-Romahnowa An analysis and generalization of Venn's diagrammatic decision procedure. English summary. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 245–246. See Errata, ibid., p. 301.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):193-193.
A decision procedure for the systemE (of entailment). I.E. K. Vojshvillo - 1983 - Studia Logica 42 (2-3):139-164.
Semantic trees for Dummett's logic LC.Giovanna Corsi - 1986 - Studia Logica 45 (2):199-206.
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
What is quantum logic?Sławomir Bugajski - 1982 - Studia Logica 41 (4):311-316.
A Decision Procedure for Evaluating Natural Language Arguments.Moti Mizrahi - 2012 - APA Newsletter on Teaching Philosophy 12 (1):11-12.
On different proof-search strategies for orthologic.Uwe Egly & Hans Tompits - 2003 - Studia Logica 73 (1):131 - 152.

Analytics

Added to PP
2009-01-28

Downloads
81 (#700,130)

6 months
13 (#897,743)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references