The Pinocchio paradox, devised by Veronique Eldridge-Smith in February 2001, is a counter-example to solutions to the Liar that restrict the use or definition of semantic predicates. Pinocchio’s nose grows if and only if what he is stating is false, and Pinocchio says ‘My nose is growing’. In this statement, ‘is growing’ has its normal meaning and is not a semantic predicate. If Pinocchio’s nose is growing it is because he is saying something false; otherwise, it is not (...) growing. ‘Because’ stands here for a non-semantic relation; it might be supposed to be causal or of some other nature, but it is not semantic. The paradox is discussed in relation to Tarski’s and Kripke’s theories of truth. Although the paradox is not necessarily a counter-example to a theory of a truth predicate, it is a problem for a theory of truth of the kind preserved by validity. (shrink)

I distinguish paradoxes and hypodoxes among the conundrums of time travel. I introduce ‘hypodoxes’ as a term for seemingly consistent conundrums that seem to be related to various paradoxes, as the Truth-teller is related to the Liar. In this article, I briefly compare paradoxes and hypodoxes of time travel with Liar paradoxes and Truth-teller hypodoxes. I also discuss Lewis’ treatment of time travel paradoxes, which I characterise as a Laissez Faire theory of time travel. Time travel paradoxes are impossible according (...) to Laissez Faire theories, while it seems hypodoxes are possible. (shrink)

There are two paradoxes of satisfaction, and they are of different kinds. The classic satisfaction paradox is a version of Grelling’s: does ‘does not satisfy itself’ satisfy itself? The Unsatisfied paradox finds a predicate, P, such that Px if and only if x does not satisfy that predicate: paradox results for any x. The two are intuitively different as their predicates have different paradoxical extensions. Analysis reduces each paradoxical argument to differing rule sets, wherein their respective pathologies lie. Having different (...) pathologies, they are paradoxes of different kinds. Furthermore, each of these satisfaction paradoxes has an analogue with the same pathology in set theory. Therefore, these analogues are respectively of the same two kinds. This level of abstraction is significant in that it tracks two related but different pathologies. Thus, not all paradoxes of semantics and set theory share the same pathology: there are at least two kinds of paradox cutting across the semantic and set-theoretic distinction. (shrink)

The Liar paradox is an obstacle to a theory of truth, but a Liar sentence need not contain a semantic predicate. The Pinocchio paradox, devised by Veronique Eldridge-Smith, was the first published paradox to show this. Pinocchio’s nose grows if, and only if, what Pinocchio is saying is untrue. What happens if Pinocchio says that his nose is growing? Eldridge-Smith and Eldridge-Smith : 212-5, 2010) posed the Pinocchio paradox against the Tarskian-Kripkean solutions to the (...) Liar paradox that use language hierarchies. Eldridge-Smith : 306-8, 2011) also set the Pinocchio paradox against semantic dialetheic solutions to the Liar. Beall argued the Pinocchio story was just an impossible story. Eldridge-Smith : 749-752, 2012b) responded that unless the T-schema is a necessary truth of some sort, the Pinocchio principle is possible. Luna : 77–86, 2016) argues that the Pinocchio contradiction proves the principle is false. D’Agostini & Ficara discuss a more plausible physical truth-tracking trait, the Blushing Liar, and argue that the Pinocchio contradiction is not a metaphysical dialetheia. I respond to Luna, and D’Agostini & Ficara, and prove that the Pinocchio paradox is a counterexample to hierarchical solutions to the Liar. (shrink)

Semantic dialetheists astutely dodge Explosion, the logical contagion of everything being true if a single contradiction is true. A dialetheia is contained in their semantics, and sustained by a paraconsistent logic. Graham Priest has shown that this is a solution to the Liar paradox. I use the Pinocchio paradox, devised by Veronique Eldridge-Smith, as a counter-example. The Pinocchio paradox turns on the truth of Pinocchio, whose nose grows if and only if what he is saying is not true, (...) saying ‘My nose is growing’. It is not just a matter of interpretation whether Pinocchio’s nose is and is not growing. (shrink)

It seems that the Truth-teller is either true or false, but there is no accepted principle determining which it is. From this point of view, the Truth-teller is a hypodox. A hypodox is a conundrum like a paradox, but consistent. Sometimes, accepting an additional principle will convert a hypodox into a paradox. Conversely, in some cases, retracting or restricting a principle will convert a paradox to a hypodox. This last point suggests a new method of avoiding inconsistency. This article provides (...) a significant example. The Liar paradox can be defused to a hypodox by relatively minimally restricting three principles: the T-schema, substitution of identicals and universal instantiation. These restrictions are not arbitrary. For each, I identify the source of a contradiction given some presumptions. Then I propose each restriction as a reasonable way to deal with that source of contradiction. (shrink)

The Pinocchio paradox poses one dialetheia too many for semantic dialetheists (Eldridge-Smith 2011). However, Beall (2011) thinks that the Pinocchio scenario is merely an impossible story, like that of the village barber who shaves just those villagers who do not shave themselves. Meanwhile, Beall maintains that Liar paradoxes generate dialetheia. The Barber scenario is self-contradictory, yet the Pinocchio scenario requires a principle of truth for a contradiction. In this and other respects the Pinocchio paradox is a version of (...) the Liar, unlike the Barber. One wonders why some Liars would be impossible if others generate dialetheias. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell’s hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, ‘xor’ extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above mentioned principles, (...) the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell’s hypodox does not rely on Comprehension. Yet I relate Russell’s paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell’s hypodox for solutions to Russell’s paradox. (shrink)

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

In ‘Many-valued Logics’, a lecture broadcast over New Zealand's public radio in 1957, Arthur N. Prior (1914–1969) complained that conjunctions are put ‘to something like forced labour’ in Łukasiewicz's three-valued semantics, Ł3. In this paper, we discuss what Prior might have meant by this.

A number of recent discussions have argued that George Price's equationfor representing evolutionary change is a powerful and illuminatingtool, especially in the context of debates about multiple levels ofselection. Our paper dissects Price's equation in detail, and comparesit to another statistical tool: the calculation and comparison ofaverage fitnesses. The relations between Price's equation and equationsfor evolutionary change using average fitness are closer than issometimes supposed. The two approaches achieve a similar kind ofstatistical summary of one generation of change, and they (...) achieve thisvia a similar loss of information about the underlying fitnessstructure. (shrink)

The three young philosophers Kevin Mulligan, Peter Simons and Barry Smith have become well-known in the last few years especially in German-speaking analytical philosophy and phenomenology circles. This is on the one hand as a result of their historical and systematic philosophical work; but it is also because of the provocative way in which they represent their philosophy. Because they often appear in threes, they have become known as the "gang of three" or "three musketeers" or even – (...) and this in an admiring sense – "mafiosi" (Rescher). They are known primarily for the small workshops they have been organizing in uncomplicated Anglo-Saxon manner all over Europe. Their goal has been to show that analytic philosophy as it has been pursued up to now is in need of reform and also that the history of scientific philosophizing is not identical to the history of Anglo-Saxon analytic philosophy. Above all, they have tried to make more well known the Austrian tradition of scientific philosophy, and they can be given credit for having done much to promote the current interest in this tradition, which means: the history of Austrian philosophy of the 19th and early 20th centuries and its historical context in the Austro-Hungarian Empire. (shrink)

ObjectiveCo-morbid insomnia and sleep apnea is a common and debilitating condition that is more difficult to treat compared to insomnia or sleep apnea-alone. Emerging evidence suggests that cognitive behavioral therapy for insomnia is effective in patients with COMISA, however, those with more severe sleep apnea and evidence of greater objective sleep disturbance may be less responsive to CBTi. Polysomnographic sleep study data has been used to predict treatment response to CBTi in patients with insomnia-alone, but not in patients with COMISA. (...) We used randomized controlled trial data to investigate polysomnographic predictors of insomnia improvement following CBTi, versus control in participants with COMISA.MethodsOne hundred and forty five participants with insomnia and sleep apnea [apnea-hypopnea index ≥ 15] were randomized to CBTi or no-treatment control. Mixed models were used to investigate the effect of pre-treatment AHI, sleep duration, and other traditional, and novel [quantitative electroencephalography ] polysomnographic predictors of between-group changes in Insomnia Severity Index scores from pre-treatment to post-treatment.ResultsCompared to control, CBTi was associated with greater ISI improvement among participants with; higher AHI, less wake after sleep onset, and less N3 sleep. No quantitative electroencephalographic, or other traditional polysomnographic variables predicted between-group ISI change.DiscussionAmong participants with COMISA, higher OSA severity predicted a greater treatment-response to CBTi, versus control. People with COMISA should be treated with CBTi, which is effective even in the presence of severe OSA and objective sleep disturbance. (shrink)

Electronic health records (EHRs) serve as repositories of documented data collected in a health care encounter. An EHR records information about who receives, who provides the health care and about the place where the encounter happens. We also observe additional elements relating to social relations in which the healthcare consumer is involved. To provide a consensus representation of common data and to enhance interoperability between different EHR repositories we have created a solution grounded in formal ontology. Here, we present how (...) an ontology for the obstetric and neonatal domain deals with these general elements documented in health care encounters. Our goal is to promote the interoperability of information among EHRs created in different specialties. To develop our ontology, we used two main approaches: one based on ontological realism, the other based on the principles of the OBO Foundry, including reuse of reference ontologies. (shrink)

Expands an inquiry to animals at large, investigating the evolution of experience with the assistance of far-flung species. Godfrey-Smith shows that the appearance of the first animal body form well over half a billion years ago was a profound innovation that set life upon a new path.

Gary Ebbs: Quine's Naturalistic Explication of Carnap's Logic of Science: If one studies Quine's epistemology without appreciating its deep connections to Carnap's logic of science, one can easily get the impression that unlike Carnap, Quine aims to preserve and clarify the traditional empiricist idea that our best theories of nature are justified by, or based on, our sensory evidence, and are for that reason likely to be true. Quine writes, for instance, that [The] human subject is accorded a certain experimentally (...) controlled input—certain patterns of irradiation in assorted frequencies, for instance—and in the fullness of time the subject delivers as output a description of the three‐dimensional external world and its history. The relation between the meager input and the torrential output is a relation that we are prompted to study for somewhat the same reasons that always prompted epistemology; namely, in order to see how evidence relates to theory, and in what ways one's theory of nature transcends any available evidence. Commenting on this and similar passages in Quine, Barry Stroud writes: … the question Quine poses in terms of the “underdetermination” of the “torrential output” by the “meager input” makes essential use of a notion of epistemic priority. It is because the “information” we get at “input” does not uniquely determine the truth of what we assert as “output” that we must explain how we get from the one to the other. I argue that despite its superficial plausibility, this interpretation of Quine is mistaken: following Carnap, yet also radically transforming his views, Quine takes our best current theory as our ultimate arbiter of truth. The goal of Quine's naturalistic account of the relationship between theory and evidence is not to show that our best theories of nature are justified by our sensory evidence, but to show that we can describe science from within science itself in a way that mirrors and thereby clarifies his doctrinal principle that we can only judge truth from the standpoint of our best current theory. (shrink)

This chapter contains section titles: Introduction Senders and Receivers Content States of the Mind and Brain.

In this paper I suggest that play is a distinctive behavioural category whose adaptive significance calls for explanation. Play primarily affords juveniles practice toward the exercise of later skills. Its benefits exceed its costs when sufficient practice would otherwise be unlikely or unsafe, as is particularly true with physical skills and socially competitive ones. Manipulative play with objects is a byproduct of increased intelligence, specifically selected for only in a few advanced primates, notably the chimpanzee.The adaptiveness of play in pongid (...) evolution is traced through the probable changes in selective pressures that occurred in hominid evolution. It is argued that fantasy was an emergent property in hominids, made possible by symbolic intelligence and language, and serving to make play complex enough to continue to provide useful practice for increasingly complex later skills.The advent of organised instruction and education has meant that play's unplanned, intrinisic goal-setting could be replaced by extrinsic goal-setting in the systematic development of particular skills. However, the need to ensure adequate motivation has continued to give play educational value. In addition, its capacity to enhance innovative behaviour seems to be a residual function of play which has acquired a new cultural importance. (shrink)

This chapter contains sections titled: Introduction The Basic Representationalist Model Model‐based Theorizing and Homuncular Functionalism Other Pieces of the Picture “Look, Mr Dalton …” References.

This chapter contains section titled: Introduction The Development of the Debate Varieties of Adaptationism The Role of Zoom and Grain References.

The book presents a new way of understanding Darwinism and evolution by natural selection, combining work in biology, philosophy, and other fields.

This book explains the relationship between intelligence and environmental complexity, and in so doing links philosophy of mind to more general issues about the relations between organisms and environments, and to the general pattern of 'externalist' explanations. The author provides a biological approach to the investigation of mind and cognition in nature. In particular he explores the idea that the function of cognition is to enable agents to deal with environmental complexity. The history of the idea in the work of (...) Dewey and Spencer is considered, as is the impact of recent evolutionary theory on our understanding of the place of mind in nature. (shrink)

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, (...) showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. -/- (This second edition revises the first edition, with the aim of making it even more reader-friendly.). (shrink)

How does science work? Does it tell us what the world is "really" like? What makes it different from other ways of understanding the universe? In Theory and Reality , Peter Godfrey-Smith addresses these questions by taking the reader on a grand tour of one hundred years of debate about science. The result is a completely accessible introduction to the main themes of the philosophy of science. Intended for undergraduates and general readers with no prior background in philosophy, (...) Theory and Reality covers logical positivism the problems of induction and confirmation Karl Popper's theory of science Thomas Kuhn and "scientific revolutions" the views of Imre Lakatos, Larry Laudan, and Paul Feyerabend and challenges to the field from sociology of science, feminism, and science studies. The book then looks in more detail at some specific problems and theories, including scientific realism, the theory-ladeness of observation, scientific explanation, and Bayesianism. Finally, Godfrey-Smith defends a form of philosophical naturalism as the best way to solve the main problems in the field. Throughout the text he points out connections between philosophical debates and wider discussions about science in recent decades, such as the infamous "science wars." Examples and asides engage the beginning student a glossary of terms explains key concepts and suggestions for further reading are included at the end of each chapter. However, this is a textbook that doesn't feel like a textbook because it captures the historical drama of changes in how science has been conceived over the last one hundred years. Like no other text in this field, Theory and Reality combines a survey of recent history of the philosophy of science with current key debates in language that any beginning scholar or critical reader can follow. (shrink)

Theories of Theories of Mind brings together contributions by a distinguished international team of philosophers, psychologists, and primatologists, who between them address such questions as: what is it to understand the thoughts, feelings, and intentions of other people? How does such an understanding develop in the normal child? Why, unusually, does it fail to develop? And is any such mentalistic understanding shared by members of other species? The volume's four parts together offer a state of the art survey of the (...) major topics in the theory-theory/simulationism debate within philosophy of mind, developmental psychology, the aetiology of autism and primatology. The volume will be of great interest to researchers and students in all areas interested in the 'theory of mind' debate. (shrink)