✦ LIBER ✦

Aristotle's thesis in consistent and inconsistent logics

✍ Scribed by Chris Mortensen

Publisher: Springer Netherlands
Year: 1984
Tongue: English
Weight: 717 KB
Volume: 43
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00935744

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Aristotle's Thesis between paraconsisten

Aristotle's Thesis between paraconsistency and modalization

✍ Claudio Pizzi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 137 KB

If the arrow → stands for classical relevant implication, Aristotle's Thesis ¬(A → ¬A) is inconsistent with the Law of Simplification (A ∧ B) → B accepted by relevantists, but yields an inconsistent non-trivial extension of the system of entailment E. Such paraconsistent extensions of relevant logic

Knowledge, machines, and the consistency

Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis

✍ Timothy J. Carlson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 195 KB

Reinhardt's strong mechanistic thesis, a formalization of "I know I am a Turing machine", is shown to be consistent with Epistemic Arithmetic.

Logic, Language and Consistency in Tarsk

Logic, Language and Consistency in Tarski's Theory of Truth

✍ Levinson, A B 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

Checking depth-limited consistency and i

Checking depth-limited consistency and inconsistency in knowledge-based systems

✍ Laure Brisoux; Éric Grégoire; Lakhdar Saïs 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 110 KB

Necessitarianism and teleology in Aristo

Necessitarianism and teleology in Aristotle's biology

✍ Robert Friedman 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 683 KB

Suszko’s Thesis, Inferential Many-valued

Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System

✍ Heinrich Wansing; Yaroslav Shramko 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 325 KB