Are we paraconsistent? on the luca-penrose argument and the computational theory of mind

Auslegung 27 (1):23-30 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.17161/auslegung.v27i1.12649

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,010

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

Are Turing Machines Platonists? Inferentialism and the Computational Theory of Mind.Jon Cogburn & Jason Megil - 2010 - Minds and Machines 20 (3):423-439.
The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences.Yoshihiro Maruyama - 2017 - In Vincent C. Müller, Philosophy and theory of artificial intelligence 2017. Berlin: Springer.
Remarks on Penrose’s “New Argument”.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):231-237.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.
Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$.Krzysztof A. Krawczyk - 2022 - Studia Logica 110 (5):1243-1253.
Wright on the non-mechanizability of intuitionist reasoning.Michael Detlefsen - 1995 - Philosophia Mathematica 3 (1):103-119.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
準無矛盾論理に基づく議論フレームワーク.高橋 武久 梅田 勇一 - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:83-94.
Godel, Lucas, and mechanical models of mind.Robert F. Hadley - 1987 - Computational Intelligence 3:57-63.

Analytics

Added to PP
2009-01-28

Downloads
334 (#90,853)

6 months
12 (#291,475)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jason Megill
Bentley College

Citations of this work

Add more citations

References found in this work

The Language of Thought.J. A. Fodor - 1978 - Critica 10 (28):140-143.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.
Brains and behavior.Hilary Putnam - 1965 - In Sydney Shoemaker, Analytical Philosophy. Duke University Press.

View all 8 references / Add more references