Graduate studies at Western
Behavior and Philosophy 20:49 - 61 (1993)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Wojciech Zielonka (2002). On Reduction Systems Equivalent to the Lambek Calculus with the Empty String. Studia Logica 71 (1):31-46.
Ruggero Pagnan (2012). A Diagrammatic Calculus of Syllogisms. Journal of Logic, Language and Information 21 (3):347-364.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Gerhard Lakemeyer (2010). The Situation Calculus: A Case for Modal Logic. [REVIEW] Journal of Logic, Language and Information 19 (4):431-450.
E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
Michael Thielscher (2001). The Concurrent, Continuous Fluent Calculus. Studia Logica 67 (3):315-331.
Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Andres Rivadulla (1992). Cálculo axiomático de la probabilidad lógica. Theoria 7 (1/2/3):165-170.
Jan von Plato (2012). Gentzen's Proof Systems: Byproducts in a Work of Genius. Bulletin of Symbolic Logic 18 (3):313-367.
Added to index2011-05-29
Total downloads3 ( #213,976 of 738,868 )
Recent downloads (6 months)1 ( #61,778 of 738,868 )
How can I increase my downloads?