摘要:

SummaryAccording to Dummett's understanding of Frege, the sense of a denoting expression is a procedure for determining its denotation. The purpose of this article is to pursue this suggestion and develop a semi‐formal interpretation of Fregean sense for the special case of a first‐order language of arithmetic. In particular, we define the sense of each arithmetic expression to be a hypothetical process to determine the denoted number or truth value. The sense‐process is “hypothetical” in that the senses of some expressions cannot be completed in a finite number of steps. The motivation for this work is to explicate an intensional notion of effectiveness in terms of the senses of function names. It is proposed, in particular, that an expression is effective if and only if its sense can be completed in a finite number of steps. It is shown that a function is computable if and only if it has an effective name.RésuméSelon la lecture que Dummet donne de Frege, le sens ?on;une expression consiste en une procédure pour déterminer sa dénotation. Le but de cet article est de développer cette suggestion par une interprétation semi‐formelle du sens frégéen dans le cas particulier ?on;un langage de premier ordre en arithmétique. En particulier, nous définissons comme sens de toute expression mathématique un procédé hypothétique pour déterminer le nombre dénoté ou la valeur de vérité. Le procédé créateur de sens est hypothetique en ce sens que les sens de certaines expressions ne peuvent pas être donnés en un nombre fini de pas. Le but de cette étude est ?on;expliciter une notion intensionnelle ?on;effectuabilite en termes de sens des noms de fonction. II est en particulier propose qu'une expression soit dite effectuable si et seulement si son sens peut être épuisé en un nombre fini de pas. On montre qu'une fonction est calculable si et seulement si elle a un nom effectuable.ZusammenfassungDummets Auffassung von Frege gemäss besteht der Sinn eines denotierenden Ausdruckes in einem Verfahren, das dessen Denotation bestimmt. Es ist der Zweck der vorliegenden Arbeit, die‐sen Vorschlag weiterzufuUhren und eine halbformale Interpretation des Fregeschen Sinnes fiir den besonderen Fall der Sprache erster Stufe der Arithmetik zu entwickeln. Es wird im besonderen der Sinn eines jeden arithmetischen Ausdruckes als hypothetisches Verfahren zur Bestimmung der denotierten Zahl oder des Wahrheitswertes definiert. Die Sinngebung ist insofern hypothe‐tisch, als der Sinn gewisser Ausdrucke nicht in einer endlichen Zahl von Schritten gegeben wer‐den kann. Das Anliegen der Arbeit grundet in der Absicht, einen intensionalen Begriff der Effek‐tivitat aufgrund des Sinnes von Funktionsnamen zu erlautern. Es wird im besonderen festgelegt, dass ein Ausdruck dann und nur dann effektiv sei, wenn sein Sinn in einer endlichen Zahl von Schritten erreicht werden kann. Es wird gezeigt, dass eine Funktion genau dann ber

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00834.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

摘要:

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erö

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00835.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00836.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00837.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00838.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00839.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY

ISSN:0012-2017    

DOI:10.1111/j.1746-8361.1984.tb00840.x

出版商:Blackwell Publishing Ltd    

年代:1984

数据来源: WILEY