Behavior and Philosophy 20:49 - 61 (1993)
This paper contains a preliminary investigation of an experimental, first-order logic with identity which encodes as an inference rule the faulty reasoning which Von Domarus (1944) suggested underwrote much of the bizarre thinking seen in certain forms of schizophrenia. I begin with a discussion of the "Von Domarus thesis," note its fate under statistical testing, and remark on its continued explanatory power in the hands of certain psychiatrists. I next discuss a proof calculus which contains a rule representing Von Domarus reasoning — the phrenetic calculus — and present several nonstandard theorems which are provable in this system. In an appendix the phrenetic calculus is proven to be absolutely consistent, but unsound, yet complete. After a brief aside which addresses certain caveats and restrictions required in order to avoid rendering the calculus trivial, I close with a discussion of three of the nonstandard theorems, each of which are consistent in interesting ways with known schizophrenic cognitive deficits.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
On Reduction Systems Equivalent to the Lambek Calculus with the Empty String.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
On the Consistency of a Three-Valued Logical Calculus.D. A. Bochvar - 1984 - Topoi 3 (1):3-12.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Gentzen's Proof Systems: Byproducts in a Work of Genius.von Plato Jan - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Added to index2011-05-29
Total downloads17 ( #284,882 of 2,171,698 )
Recent downloads (6 months)3 ( #118,057 of 2,171,698 )
How can I increase my downloads?