While there has been significant philosophical debate on whether nonlinguistic animals can possess conceptual capabilities, less time has been devoted to considering 'talking' animals, such as parrots. When they are discussed, their capabilities are often downplayed as mere mimicry. The most explicit philosophical example of this can be seen in Brandom's frequent comparisons of parrots and thermostats. Brandom argues that because parrots (like thermostats) cannot grasp the implicit inferential connections between concepts, their vocal articulations do not actually have any conceptual (...) content. In contrast, I argue that Pepperberg's work with Alex (and other African grey parrots) provides evidence that the vocal articulations of at least some parrots have conceptual content. Using Frege's insight that numbers assert something about a concept, I argue that Alex's ability to answer the question "How many?" depended upon a prior grasp of conceptual content. Developing this claim, I argue that Alex's arithmetical abilities show that he was capable of using numbers as both concepts and objects. Frege's theoretical insight and Pepperberg's empirical work provide reason to reconsider the capabilities of parrots, as well as what sorts of tasks provide evidence for conceptual content. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of \(\varphi\) and \(\varphi^{\varepsilon}\) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on the issue. (...) As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models. (shrink)

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect (...) of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

How do we construct ad hoc concepts, especially those characterised by emergent properties? A reasonable hypothesis, suggested both in psychology and in pragmatics , is that some sort of inferential processing must be involved. I argue that this inferential processing can be accounted for in associative terms. My argument is based on the notion of inference as associative pattern completion based on schemata, with schemata being conceived in turn as patterns of concepts and their relationships. The possible role of conscious (...) attention in inferential processes of this sort is also addressed. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the property theory that identifies each type (thus, each musical (...) work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (shrink)

Frege's extension of his distinction between Sinn and Bedeutung to predicate terms is widely considered to be problematic. Interpreters generally assume that the notion of Bedeutung comprises the name/bearer relation as a prototype and that the extension is justified only in so far as the relation of predicate terms to their alleged referents is analogous to the relation of names to their bearers. However, interpreters have generally paid insufficient attention to Frege's own dealing with the issue. By examining the relevant (...) passages in Frege's writings, I show that the standard ways of talking about Frege's ascription of Bedeutung to predicates as optional, less evident than the ascription of Sinn, and in need of justification are not in accord with Frege's own conception of predicate reference. There is no textual evidence that the extension takes place for analogical reasons and, in particular, no evidence for the claim that the name/bearer relation is used as a prototype. Frege is visibly not concerned with the relation between predicate terms and their referents, but applies the notion of Bedeutung for reasons of principle. There is indeed the invocation of an analogy, but if we consider the argument in which it occurs it appears that it does not play the justificatory role interpreters attribute to it. In sum, Frege's ascription of Bedeutung to predicates does not imply any mysterious or dubious referentiality of predicate terms. (shrink)

Kaplan (1977) proposes a neo-Fregean theory of demonstratives which, despite its departure from a certain problematic Fregean thesis, I argue, ultimately founders on account of its failure to give up the Fregean desideratum of a semantic theory that it provide an account of cognitive significance. I explain why Kaplan's (1989) afterthoughts don't remedy this defect. Finally, I sketch an alternative nonsolipsistic picture of demonstrative reference which idealizes away from an agent's narrowly characterizable psychological state, and instead relies on the robust (...) multiply realizable relation between the skilled agent and demonstrated object.When the unclean spirit has gone out of a person, it wanders through waterless regions looking for a resting place, but it finds none. Then it says, 'I will return to my house from which I came.' When it comes, it finds it empty, swept, and put in order. Then it goes and brings along seven other spirits more evil than itself, and they enter and live there; and the last state of that person is worse than the first. So will it be also with this evil generation. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

This paper argues that (cardinal) numbers are originally given to us in the context ‘Fs exist n-wise’, and accordingly, numbers are certain manners or modes of existence, by addressing two objections both of which are due to Frege. First, the so-called Caesar objection will be answered by explaining exactly what kind of manner or mode numbers are. And then what we shall call the Functionality of Cardinality objection will be answered by establishing the fact that for any numbers m and (...) n, if there are exactly m Fs and also there are exactly n Fs, then m = n. (shrink)

I shall discuss some of the issues concerning a notorious doctrine of Frege that sentences are names of truth-values. I am interested in a problem raised by Kripke that the doctrine obscures the distinction between judgeable and unjudgeable contents. I shall present what I take to be Frege’s account of judgeable content: a proper expression of a judgeable content is susceptible to an analysis into a predicate and an argument-word, where a predicate is understood as a concept-word used to attribute (...) a certain property to the referent of the argument-word. In the light of this analysis, I shall argue that the doctrine does not obscure the distinction. The problem will also be discussed within the formal context of Grundgesetze. A new light will be shed on his rather peculiar conception of the symbol ‘ ${\boldsymbol \vdash}$’. (shrink)

This paper presents a new interpretation of Frege's context principle on which it applies primarily to singular terms for abstract objects but not necessarily to singular terms for ordinary objects.

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

Influenced by G. E. Moore, Russell broke with Idealism towards the end of 1898; but in later years he characterized his meeting Peano in August 1900 as ?the most important event? in ?the most important year in my intellectual life?. While Russell discovered his paradox during his post-Peano period, the question arises whether he was already committed, during his pre-Peano Moorean period, to assumptions from which his paradox may be derived. Peter Hylton has argued that the pre-Peano Russell was thus (...) vulnerable to (at least one version of) Russell's paradox and hence that the paradox exposes a pre-existing difficulty in Russell's Moorean philosophy. Contrary to Hylton, I argue that the Moorean Russell adhered to views which insulated him against the paradox. Further, I argue that Russell became vulnerable to his paradox as a result of changes in his Moorean position occasioned, first, by his acceptance of Cantor's theory of the transfinite, and, second, by his correspondence with Frege. I conclude with some general comments regarding Russell's acceptance of naïve set theory. (shrink)

Our linguistic communication is, in part, the exchange of truths. It is an empirical fact that in daily conversation we aim at truths, not falsehoods. This fact may lead us to assume that ordinary, assertion-based communication is the only possible communicative system for truth-apt information exchange, or at least has priority over any alternatives. This assumption is underwritten in three traditional doctrines: that assertion is a basic notion, in terms of which we define denial; that to predicate truth of a (...) sentence is to assert the content it expresses; and that one should, in the context of radical interpretation, try to maximize the truth of what foreigners believe or utter. However, I challenge this assumption via a thought experiment: imagine a language game in which everyone aims to exchange only falsehoods. I argue that information exchange is possible in this game, and so truth-guided communication and falsity-guided communication are conceptually on a par. As a consequence, we should reject the three doctrines, based as they are on the conceptual priority of assertion-based communication. (shrink)

Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

According to Aristotelian logic, in categorical logic, there are three kinds of judgements (qaḍīyya): affirmative, negative, and metathetic (ma‘dūla). Khūnajī, a famous Muslim logician in the 13th century, introduces a different judgement (or statement) entitled “affirmative judgement with the negative predicate” (mūjiba al-sāliba al-maḥmūl; henceforth, ANP judgement). Although in the Arabic language, formally, ANP judgement is similar to definite negative (sāliba muḥaṣṣala) and also metathetic judgements, the way of its construction is different from both of them and its truth conditions (...) are different from metathetic ones. From a modern logic viewpoint, ANP may indicate equality judgement; however, attributing it to Muslim logicians is questionable, although some of their wordings may implicitly show it. According to Ḥāʾirī, an Iranian contemporary philosopher and logician, the new judgement is supposed to solve some problems, especially logical explanation of the division of modalities into necessity, impossibility, and contingency (imkān khāṣṣ). However, Ṭabāṭabāʾī, another Iranian contemporary philosopher, disagrees with Ḥāʾirī and regards ANP judgement the same as an affirmative metathetic one. In this paper, while examining Ṭabāṭabāʾī’s and Ḥāʾirī’s reasons, by using some insights into modern logic, I will try to strengthen Ṭabāṭabāʾī’s views, although it may be confronted with some questions or deficiencies. (shrink)

The authors believe that the questions raised at the beginning of Frege’s On Sense and Reference – ‘Is [identity] a relation? A relation between objects, or between names or signs of objects?’ – set the course for a long-lasting but not at all satisfying discussion. For the disputants tend to advocate, either a ‘name-view’ of identity in a straightforward but rudimentary and logically untenable form, or else a version of an ‘object-view’ that makes all too light of the analysandum–analysans distinction (...) and hence is damned to analytical barrenness. In contrast, by unfolding the underlying idea of the original ‘name-view’, the authors offer three alternative and mutually compatible interpretations of identity that may best be characterized as the ‘name-based’, the ‘hybrid’ and the ‘sense-based’ variant of a ‘concept-view of identity’. At the same time, however, these interpretations may well be considered variants of a non-barren ‘object-view’. (shrink)

In “Function and Concept” and “On Concept and Object”, Frege argued that certain differences between dependent and independent meanings were inviolable and “founded deep in the nature of things” but, in those articles, he was not explicit about the actual consequences of violating such differences. However, since by creating a law that permitted one to pass from a concept to its extension, he himself mixed dependent and independent meanings, we are in a position to study some of the actual consequences (...) of his having done so. To make certain of Frege’s ideas about the inviolability of logical form more tangible, I describe a string of very interrelated consequences that his attempt to transform dependent meanings into independent meanings actually brought in its wake. (shrink)

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse to be (...) acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

In Sein und Zeit Heidegger makes several claims about the nature of ‘assertion’ [Aussage]. These claims are of particular philosophical interest: they illustrate, for example, important points of contact and divergence between Heidegger's work and philosophical movements including Kantianism, the early Analytic tradition and contemporary pragmatism. This article provides a new assessment of one of these claims: that assertion is connected to a ‘present-at-hand’ ontology. I also indicate how my analysis sets the stage for a new reading of Heidegger's further (...) claim that assertion is an explanatorily derivative phenomenon. I begin with a loose overview of Heidegger's position and then develop a sharper formulation of the key premises. I go on to argue that existing treatments of the supposed link between assertion and the ‘present-at-hand’ are unsatisfactory, and advance a new, ‘methodological’, interpretation of that link. Finally, I sketch the implications of my interpretation for the further claim that assertion is explanatorily derivative. (shrink)

Prior's puzzle is a puzzle about the substitution of certain putatively synonymous or coreferential expressions in sentences. Prior's puzzle is important, because a satisfactory solution to it should constitute a crucial part of an adequate semantic theory for both proposition-embedding expressions and attitudinal verbs. I argue that two recent solutions to this puzzle are unsatisfactory. They either focus on the meaning of attitudinal verbs or content nouns. I propose a solution relying on a recent analysis of that-clauses in linguistics. Our (...) solution is superior, as it not only avoids the problems faced by previous solutions, but it also brings developments in linguistics in line to solve an old puzzle in philosophy. (shrink)

The nosological diagnosis is a particular type of nontheoretical diagnosis consisting of identifying the disease that afflicts the patient without explaining the underlying etiopathological mechanisms. Its origins are within the essentialist point of view on the nature of diseases, which dates back at least to 18th-century taxonomy studies. In this article, we propose a model of nosological diagnosis as a two-phase process composed of the categorization of inductive inferences and argumentations by analogy. In the inductive phase, disease entities are identified (...) by means of typicality-based categorization processes, and meaningful clinical samples are learned ; in the subsequent phase, those samples are used as the bases of argumentations by analogy to obtain a diagnosis for a given patient. This model extends the prototype resemblance theory of disease including also the exemplar theory proposed in cognitive science and, moreover, it frames the clinical activity of nosological diagnosis and how it can be explained within the theory of argumentation. According to it, diagnosis based on the recognition of a typical syndrome is explained in terms of the prototype theory of categorization and the antisymmetrical argumentation by analogy, while diagnosis based on a comparison with a previous clinical case is explained by the exemplar theory of categorization and by the symmetrical argumentation by analogy. (shrink)

Philosophers of action and perception have reached a consensus: the term ‘intentionality’ has significantly different senses in their respective fields. But Anscombe argues that these distinct senses are analogically united in such a way that one cannot understand the concept if one focuses exclusively on its use in one’s preferred philosophical sub-discipline. She highlights three salient points of analogy: (i) intentional objects are given by expressions that employ a “description under which;” (ii) intentional descriptions are typically vague and indeterminate; and (...) (iii) intentional descriptions may be false. I explore these three features as they apply to both perception and action and defend Anscombe’s view that the analogical concept of intentionality is a grammatical concept. That is, there are two distinctive linguistic/social practices that involve, respectively, a special sense of the question ‘Why?’ and a special sense of the question ‘What?’ To competently ask and answer the questions that constitute these practices not only reflects, but also conveys a grammatical understanding of intentionality’s basic, formal structure. (shrink)

In his Tractatus Logico-Philosophicus, Wittgenstein conveyed the idea that ethics cannot be located in an object or self-standing subject matter of propositional discourse, true or false. At the same time, he took his work to have an eminently ethical purpose, and his attitude was not that of the emotivist. The trajectory of this conception of the normativity of philosophy as it developed in his subsequent thought is traced. It is explained that and how the notion of a ‘form of life’ (...) (Lebensform) emerged only in his later thought, in 1937, earmarking a significant step forward in his philosophical method. We argue that the concept of Lebensform represents a way of domesticating logic itself, the very idea of a claim or reason, supplementing the idea of a ‘language game’, which it deepens. Lebensform is contrasted with the phenomenologists’ Lebenswelt through a reading of the notions of ‘I’, ‘world’ and ‘self’ as they were treated in the Tractatus, The Blue and Brown Books and Philosophical Investigations. Finally, the notion of Lebensform is shown to have replaced the notion of culture (Kultur) in Philosophical Investigations. Wittgenstein’s spring 1937 ‘domestication’ of the nature of logic is shown to have been fully consonant with the idea that he was influenced by his reading Alan Turing’s 1936/1937 paper, ‘On computable numbers, with an application to the Entscheidungsproblem’. (shrink)