For four decades it has been argued that we need to adopt a new conception of science called aim-oriented empiricism. This has far-reaching implications and repercussions for science, the philosophy of science, academic inquiry in general, conception of rationality, and how we go about attempting to make progress towards as good a world as possible. Despite these far-reaching repercussions, aim-oriented empiricism has so far received scant attention from philosophers of science. Here, sixteen objections to the validity of the argument for (...) aim-oriented empiricism are subjected to critical scrutiny. (shrink)

Abstract In this article, a critical assessment is carried out of the two available forms of nominalism with respect to the ontological constitution of material objects: resemblance nominalism and trope theory. It is argued that these two nominalistic ontologies naturally converge towards each other when the problems they have to face are identified and plausible solutions to these problems are sought. This suggests a synthesis between the two perspectives along lines first proposed by Sellars, whereby, at least at the level (...) of the simplest, truly fundamental constituents of reality, every particular is literally both an object and a particularized property (or, alternatively put, the distinction between objects and properties dissolves). Some potential problems and open issues for such an approach to nominalism in ontology are identified and discussed, with particular emphasis on the sort of fundamentalism that seems to crucially underlie the proposed ontology. Content Type Journal Article Pages 1-14 DOI 10.1007/s12136-011-0145-x Authors Matteo Morganti, Department of Philosophy, University of Rome ‘RomaTRE’, Via Ostiense, 234, 00144 Rome, Italy Journal Acta Analytica Online ISSN 1874-6349 Print ISSN 0353-5150. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

Le nominalisme est « le refus d'admettre toute entité autre qu'indivi-duelle ». II doit, pour justifier la simplicité de son ontologie, proposer une théorie de laconnaissance et une théorie sémantique qui ne présupposent ni l'une ni l'autre l'existence réelle des univer-saux. Certaines des voies qui s'ouvrent à cette entreprise délicate ont été systématiquement explorées vers la fin du Moyen Age et il y a tout à parier que, malgré les ruptures épistémologiques, les révolutions scientifiques et autres changements d'epistémè, les nominalistes (...) contemporains pourraient encore profiter de quelque façon de l'immense travail théorique accompli par leurs prédécesseurs médiévaux. C'est dans cet esprit que je voudrais procéder à une reconstruction sommaire de la théorie sémantique avancée au début du quatorzième siècle par le Fran-ciscain Guillaume d'Occam. Je ne m'engagerai pas dans une comparaison détaillée entre Occam et les auteurs contemporains, mais j'essaierai de présenter sans en trahir l'esprit la sémantique occa-miste de manière à en faire apparaître la pertinence pour les débats actuels. II serait possible, me semble-t-il, d'aller encore plus loin dans cette voie en mettant à profit les techniques formelles récentes pour axiomatiser la théorie d'Occam. Pour l'instant cependant, je me limiterai à une présentation plutôt informelle. (shrink)

In a famous critique, Goodman dismissed similarity as a slippery and both philosophically and scientifically useless notion. We revisit his critique in the light of important recent work on similarity in psychology and cognitive science. Specifically, we use Tversky’s influential set-theoretic account of similarity as well as Gärdenfors’s more recent resuscitation of the geometrical account to show that, while Goodman’s critique contained valuable insights, it does not warrant a dismissal of similarity.

I begin with a description of the benefits and limits of DNA barcoding as presented by its advocates not its critics. Next, I argue that due to the mutually dependent relationship between defining and delimiting species, all systems of classification are grounded in theory, even if only implicitly. I then proceed to evaluate DNA barcoding in that context. In particular, I focus on the barcoders’ use of a sharp boundary by which to delimit species, arguing that this boundary brings along (...) additional theoretical commitments inconsistent with the way taxonomists conceive of species, viz., as entities that have vague boundaries and that cannot be defined by any single attribute other than ancestry. Given these inconsistencies, I conclude that even if groupings based on DNA barcodes match those of an existing taxonomy, the two systems of classification are not necessarily tracking the same entities, i.e., species. (shrink)

This paper examines a recent proposal for reviving so-called resemblance nominalism. It is argued that, although consistent, it naturally leads to trope theory upon examination for reasons having to do with the appeal of neutrality as regards certain non-trivial ontological theses.

It would be a mistake to deny commonsense intuitions a role in developing a theory of consciousness. However, philosophers have traditionally failed to probe commonsense in a way that allows these commonsense intuitions to make a robust contribution to a theory of consciousness. In this paper, I report the results of two experiments on purportedly phenomenal states and I argue that many disputes over the philosophical notion of ‘phenomenal consciousness’ are misguided—they fail to capture the interesting connection between commonsense ascriptions (...) of pain and emotion. With this data in hand, I argue that our capacity to distinguish between ‘mere things’ and ‘subjects of moral concern’ rests, to a significant extent, on the sorts of mental states that we take a system to have. (shrink)

This book argues for the need to put into practice a profound and comprehensive intellectual revolution, affecting to a greater or lesser extent all branches of scientific and technological research, scholarship and education. This intellectual revolution differs, however, from the now familiar kind of scientific revolution described by Kuhn. It does not primarily involve a radical change in what we take to be knowledge about some aspect of the world, a change of paradigm. Rather it involves a radical change in (...) the fundamental, overall intellectual aims and methods of inquiry. At present inquiry is devoted to the enhancement of knowledge. This needs to be transformed into a kind of rational inquiry having as its basic aim to enhance personal and social wisdom. This new kind of inquiry gives intellectual priority to the personal and social problems we encounter in our lives as we strive to realize what is desirable and of value – problems of knowledge and technology being intellectually subordinate and secondary. For this new kind of inquiry, it is what we do and what we are that ultimately matters: our knowledge is but an aspect of our life and being. (shrink)

Although our concepts of “Mama,” “milk,” and “mice” have much in common, the suggestion that they are identical in structure in the mind of the prelinguistic child is mistaken. Even infants think about objects as different from substances and appreciate the distinction between kinds (e.g., mice) and individuals (e.g., Mama). Such cognitive capacities exist in other animals as well, and have important adaptive consequences.

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

The paper raises some difficulties for the typical motivations behind set reductionism, the view that sets are reducible to entities identified independently of set theory.

Philosophical discussions of depiction sometimes suffer from a lack of differentiation between several questions concerning the nature of pictorial representation. To provide a suitable framework I distinguish six such questions and several levels on which one might want to proceed in order to answer some of them. With this background, I reconstruct Goodman's and Elgin's answer to the specific question: What distinguishes the pictorial from the verbal or linguistic? I try to reveal some major motivations behind their system-oriented approach and (...) to indicate some reasons why a strategy of this kind is to a certain extent mandatory to grasp the nature of the pictorial. The system-relative and functional character of depiction has to be captured by every adequate theory. (shrink)

Goodman'snew riddle of induction can be characterized by the following questions: What is the difference between grue and green?; Why is the hypothesis that all emeralds are grue not lawlike?; Why is this hypothesis not confirmed by its positive instances?; and, Why is the predicate grue not projectible? I argue in favor of epistemological answers to Goodman's questions. The notions of lawlikeness, confirmation, and projectibility have to be relativized to (actual and counterfactual) epistemic situations that are determined by the available (...) background information. In order to defend this thesis, I discuss an example that is less strange than the grue example. From the general conclusions of this discussion, it follows that grue is not projectible in the actual epistemic situation, but it is projectible in certain counterfactual epistemic situations. (shrink)

Much of scientific inference involves fitting numerical data with a curve, or functional relation. The received view is that the fittest curve is the curve which best balances the conflicting demands of simplicity and accuracy, where simplicity is measured by the number ofparameters in the curve. The problem with this view is that there is no commonly accepted justification for desiring simplicity. This paper presents a measure of the stability of equations. It is argued that the fittest curve is the (...) curve which best balances stability and accuracy. The received view is defended with a proof that simplicity corresponds to stability, for linear regression equations. 1This paper is based on part of my doctoral dissertation. My thanks go to my thesis supervisor Professor Alasdair Urquhart for his encouragement, constructive criticism, and for directing me to several relevant articles: to my advisor Professor Ian Hacking for reminding me to concentrate on results that might have some application in the real world; and to my friend Wendy Brandts for sharing her ideas on a closely related problem. My thanks also to an anonymous referee of The British Journal of the Philosophy of Science for several helpful comments, to my friends and family for unfailing support, and to the Social Sciences and Humanities Research Council (awards 452-86-5885 and 453-87-0513) and the University of Toronto for financial assistance. (shrink)

The theory and practice of contemporary comparative biology and phylogeny reconstruction (systematics) emphasizes algorithmic aspects but neglects a concern for the evidence. The character data used in systematics to formulate hypotheses of relationships in many ways constitute a black box, subject to uncritical assessment and social influence. Concerned that such a state of affairs leaves systematics and the phylogenetic theories it generates severely underdetermined, we investigate the nature of the criteria of homology and their application to character conceptualization in the (...) context of transformationist and generative paradigms. Noting the potential for indeterminacy in character conceptualization, we conclude that character congruence (the coherence of character statements) relative to a hierarchy is a necessary, but not a sufficient, condition for phylogeny reconstruction. Specifically, it is insufficient due to the lack of causal grounding of character hypotheses. Conceptualizing characters as homeostatic property cluster natural kinds is in accordance with the empirical practice of systematists. It also accounts for the lack of sharpness in character conceptualization, yet requires character identification and re-identification to be tied to causal processes. (shrink)

For the information theorist, the lawful generalizations that subsume instantiations of properties in the environment and instantiations of properties of perceptual representations determine the latter's content. Perceptual representations are also commonly thought to be isomorphic to what they represent, which presents the information theorist with a puzzle. What role could isomorphism play in perceptual representation when lawful generalizations determine content? I show that in order for the information that they carry to be available to cognition, perceptual representations must be isomorphic (...) with respect to the constituent structure of the properties that they represent. Isomorphism therefore plays an important role in the information theorist's account of perceptual representation, even though it plays no role in determining content. (shrink)

This paper critiques the view, widely held by philosophers of mind and cognitive scientists, that psychological explanation is a matter of ascribing propositional attitudes (such as beliefs and desires) towards language-like propositions in the mind, and that cognitive mental states consist in intentional attitudes towards propositions of a linguistic quasi-linguistic nature. On this view, thought is structured very much like a language. Denial that propositional attitude psychology is an adequate account of mind is therefore, on this view, is tantamount to (...) eliminative materialism, the denial that human beings are thinking beings. -/- I dispute this on the basis of recent work in cognitive psychology and artificial intelligence. Mental models theory, on which thought is better understood as nonpropositional intentional psychology, accords better with the evidence and offers an alternative view to propositional attitude psychology -- one that means that the denial that that is propositional is not eliminative. However, I argue that propositional attitude psychology is a useful idealization, as classical mechanics is of relativity theory, strictly but not radically false, and useful for prediction and indeed, as long as its idealized character is born in mind, for explanation of behavior. (shrink)

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which the green-hypothesis (...) is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural properties. (...) I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands between knowing (...) the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

During the past few decades, everyday aesthetics has established itself as a new branch of philosophical aesthetics alongside the more traditional philosophy of art. The Paths from Philosophy of Art to Everyday Aesthetics explores the intimate relations between these two branches of contemporary aesthetics. The essays collected in this volume discuss a wide range of topics from aesthetic intimacy to the nature of modernity and the essence of everydayness, which play important roles both in the philosophy of art and everyday (...) aesthetics. With these essays, the writers and editors of this volume wish to commemorate professor Arto Haapala on his 60th birthday. -/- This collection of articles is intended for scholars and students working in the fields of aesthetics, philosophy, and art studies. (shrink)

ریاضیدانان هرروز با مجموعههای ناشمارا، مجموعهی توانی، خوشترتیبی، تناهی و ... سروکار دارند و با این تصور که این مفاهیم همان چیزهایی هستند که در ذهن دارند، کتابها و اثباتهای ریاضی را میخوانند و میفهمند و درمورد آنها صحبت میکنند. اما آیا این مفاهیم همان چیزهایی هستند که ریاضیدانان تصور میکنند؟ اولینبار اسکولم با بیان یک پارادوکس شک خود را به این موضوع ابراز کرد. بنابر قضیهی لوونهایم اسکولم رو به پایین، نظریه مجموعهها مدلی شمارا دارد. این مدل قضیهی کانتور (...) را که بیان میکند مجموعهای ناشمارا وجود دارد برآورده میکند؛ ولی مدل شمارا دارای دامنهای شامل شمارا عضو است. پس برای بیان وجود مجموعهای ناشمارا مانند ℝ تنها شمارا عضو داریم. این جمالت به پارادوکس اسکولم مشهور شدند. بنابرین مجموعهی ناشمارایمان در واقع شمارا بهنظر میرسد. از زمانی که پارادوکس فهمیده شد تا به امروز بحث های زیادی در رد و تایید آن بوده است. گروهی تا آنجا پیش رفتند که ادعا کردند همهی مجموعهها شمارا هستند. در این پایان نامه پرسش های مقابل بررسی شدهاند: آیا مجموعههای ناشمارا واقعا وجود دارند؟ آیا پارادوکس اسکولم نشان میدهد که نظریههای مرتبه دوم برای مدل کردن کاربرد ریاضیات مناسبتر هستند؟ پارادوکس اسکولم درمورد درک ما از نظریه مجموعهها و سمانتیک آن چه نتیجهای دارد؟ خواهیم دید بهتر است درمورد وجود مجموعههای ناشمارا، موضع الادری را برگزینیم، پارادوکس اسکولم نتیجه نمیدهد نظریههای مرتبه دوم برای مدل کردن کاربرد ریاضیات مناسب هستند و درمورد درک ما از نظریه مجموعهها نتیجهای نخواهد داشت. (shrink)

Discusses the conditions of possibility for intercultural and comparative philosophy, and for crosscultural communication at large. This innovative book explores the preconditions necessary for intercultural and comparative philosophy. Philosophical practices that involve at least two different traditions with no common heritage and whose languages have very different grammatical structure, such as Indo-Germanic languages and classical Chinese, are a particular focus. Lin Ma and Jaap van Brakel look at the necessary and not-so-necessary conditions of possibility of interpretation, comparison, and other forms (...) of interaction and how we can speak of similarities and differences in this context. The authors posit that it is necessary to dissolve the question of universalism versus relativism by replacing the ideal language paradigm with a paradigm of family resemblances and that it is not necessary to share a common language to engage in comparison. Numerous case studies are presented, including many comparisons of Western and Chinese concepts. (shrink)

This paper reports (in section 1 “Introduction”) some quotes from Nelson Goodman which clarify that, contrary to a common misunderstanding, Goodman always denied that “grue” requires temporal information and “green” does not require temporal information; and, more in general, that Goodman always denied that grue-like predicates require additional information compared to what green-like predicates require. One of the quotations is the following, taken from the first page of the Foreword to chapter 8 “Induction” of the Goodman’s book “Problems and Projects”: (...) “Nevertheless, we may by now confidently conclude that no general distinction between projectible and non- projectible predicates can be drawn on syntactic or even on semantic grounds. Attempts to distinguish projectible predicates as purely qualitative, or non-projectible ones as time-dependent, for example, have plainly failed”. Barker and Achinstein in their famous paper of 1960 tried to demonstrate that the grue-speaker (named Mr. Grue in their paper) needs temporal information to be able to determine whether an object is grue, but Goodman replied (in “Positionality and Pictures”, contained in his book “Problems and Projects”, chapter 8, section 6b) that they failed to prove that Mr. Grue needs temporal information to determine whether an object is grue. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But this paper points out that an example of interdefinability is also that one about the predicate “gruet”, which is a predicate that applies to an object if the object either is green and examined before time t, or is non-green and not examined before time t. The three predicates “green”, “gruet”, “examined before time t” are interdefinable: and even though the predicates “green” and “examined before time t” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time t (the interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives). Thus, it is wrong the Goodman’s thesis according to which if it is possible to determine without having temporal information whether the predicate “green” has to be applied to an object, then it is also possible to determine without having temporal information whether a predicate interdefinable with “green” has to be applied to an object. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. Furthermore, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. -/- . (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

This paper advocates a new reading of Nelson Goodman’s new riddle of induction. According to Ian Hacking, this famous problem conveys a “pure nominalism”, as it grounds Goodman’s denial regarding the existence of natural kinds. While this interpretation is somewhat convincing, it suffers the major flaw of not corresponding to what Goodman himself understood by “nominalism”. Nominalism, in a goodmanian sense, is indeed primarily a technical demand, which stems from the so-called “calculus of individuals”. I argue that this mereological definition (...) of nominalism allows to understand the new riddle of induction afresh. As a result, Goodman’s riddle is “hyper-nominalist”, i.e., nominalist in a distinct and stronger sense than what Hacking suggested. (shrink)

We argue that the logical outcome of the cladistics revolution in biological systematics, and the move towards rankless phylogenetic classification of nested monophyletic groups as formalized in the PhyloCode, is to eliminate the species rank along with all the others and simply name clades. We propose that the lowest level of formally named clade be the SNaRC, the Smallest Named and Registered Clade. The SNaRC is an epistemic level in the classification, not an ontic one. Naming stops at that level (...) because there is no currently acceptable evidence for clades within it, not because no smaller clades exist. Later, included clades may be named. They would then become the SNaRCs, while the original SNaRC would keep its original name. We argue that all theoretical tasks of biology, in evolution and ecology, as well as practical tasks such as conservation assessment, are better approached using this rankless phylogenetic approach. (shrink)

ABSTRACTThe distinction between ‘context of discovery’ and ‘context of justification’ in philosophy of science appears simple at first but contains interesting complexities. Paul Hoyningen-Huene has catalogued some of these complexities and suggested that the core usefulness of the ‘context distinction’ is in distinguishing between descriptive and normative perspectives. Here, I expand on Hoyningen-Huene’s project by tracing the label ‘context of discovery and context of justification’ to its origin. I argue that, contrary to initial appearances, Hans Reichenbach’s initial context distinction from (...) 1938 does not easily map onto Hoyningen-Huene’s distinction between descriptive and normative perspectives on science. However, this is not a reason to reject Hoyningen-Huene’s simplified context distinction, nor do I recommend returning to Reichenbach’s initial proposal. It is, however, further reason to believe that the context distinction does not have a single, easily understood meaning. Along the way, I revisit Reichenbach’s version of ‘rational reconstruction’ and highlight its usefulness as a tool for philosophy in general. (shrink)

Austere relationism rejects the orthodox analysis of hallucinations and illusions as incorrect perceptual representations. In this article, I argue that illusions of optimal motion present a serious challenge for this view. First, I submit that austere-relationist accounts of misleading experiences cannot be adapted to account for IOMs. Second, I show that any attempt at elucidating IOMs within an austere-relationist framework undermines the claim that perceptual experiences fundamentally involve relations to mind-independent objects. Third, I develop a representationalist model of IOMs. The (...) proposed analysis combines two ideas: Evans' dynamic modes of presentation and Fine's relational semantics for identity. (shrink)

We investigate the conditions under which quasianalysis, i.e., Carnap's method of abstraction in his Aufbau, yields adequate results. In particular, we state both necessary and sufficient conditions for the so-called faithfulness and fullness of quasianalysis, and analyze adequacy as the conjunction of faithfulness and fullness. It is shown that there is no method of (re-)constructing properties from similarity that delivers adequate results in all possible cases, if the same set of individuals is presupposed for properties and for similarity, and if (...) similarity is a relation of finite arity. The theory is applied to various examples, including Russell's construction of temporal instants and Carnap's constitution of the phenomenal counterparts to quality spheres. Our results explain why the former is adequate while the latter is bound to fail. (shrink)

This paper criticizes the widespread view whereby a second-order judgment of the form ‘I believe that p ’ qualifies as self-knowledge only if the embedded content, p , is of the same type as the content of the intentional state reflected upon and the self-ascribed attitude, belief, is of the same type as the attitude the subject takes towards p . Rather than requiring identity of contents across levels of cognition self-knowledge requires only that the embedded content of the second-order (...) thought be an entailment of the content of the intentional state reflected upon. And rather than demanding identity of attitudes across levels of cognition self-knowledge demands only that the attitude of the intentional state reflected upon and the attitude the subject self-attributes share certain features such as direction of fit and polarity. (shrink)

The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many empirical (...) sciences can hardly be denied. The aim of this paper is to show that Quine’s and Goodman’s harsh verdicts about this notion are mistaken. The concept of similarity is susceptible to a precise logico-mathematical analysis through which its place in the conceptual landscape of modern mathematical theories such as order theory, topology, and graph theory becomes visible. Thereby it can be shown that a quasi-analysis of a similarity structure S can be conceived of as a sheaf (etale space) over S. (shrink)

The claim that similarity plays a role in representation has been philosophically discredited. Psychologists, however, routinely analyse the success of mental representations for guiding behaviour in terms of a similarity between representation and the world. I provide a foundation for this practice by developing a philosophically responsible account of the relationship between similarity and representation in natural systems. I analyse similarity in terms of the existence of a suitable homomorphism between two structures. The key insight is that by restricting attention (...) to only those homomorphisms induced by causal processes, we can solve two philosophical problems with a single assumption. First, causal structure provides an adequate source for the bias required to ensure the similarity relation is non-trivial; second, it provides an adequate source for the directionality required to move from similarity to representation. I defend this account against objections by Goodman and van Fraassen and demonstrate that it is indeed the account of similarity’s role in representation assumed by psychological practice. (shrink)

This paper serves to introduce the papers from the symposium by the same title, by describing the sort of work done in philosophy of psychology conceived as a branch of the philosophy of science, distinguishing it from other discussions of psychology in philosophy, and criticizing the claims to set limits on scientific psychology in the largely psychologically uninformed literatures concerning "folk psychology' and "wide" and "narrow" content. Philosophy of psychology as philosophy of science takes seriously and analyzes the explanatory structures, (...) conceptual problems, and evidentiary practices of extant scientific psychology. (shrink)

Non-actual model systems discussed in scientific theories are compared to fictions in literature. This comparison may help with the understanding of similarity relations between models and real-world target systems. The ontological problems surrounding fictions in science may be particularly difficult, however. A comparison is also made to ontological problems that arise in the philosophy of mathematics.

We show that a set of prima facie plausible assumptions on the relation of meaning resemblance – one of which is a compositionality postulate – is inconsistent. On this basis we argue that either there is no theoretically useful notion of semantic resemblance at all, or the traditional conception of the compositionality of meaning has to be adapted. In the former case, arguments put forward by Nelson Goodman and Paul Churchland in favor of the concept of meaning resemblance are defeated. (...) In the other case, it must be possible to account for 'degrees of compositionality' or for other refinements of compositionality that are compatible with meaning resemblance. (shrink)

Hilary Putnam and Nelson Goodman are two of the twentieth century's most persuasive critics of metaphysical realism, however they disagree about the consequences of rejecting metaphysical realism. Goodman defended a view he called irrealism in which minds literally make worlds, and Putnam has sought to find a middle path between metaphysical realism and irrealism. I argue that Putnam's middle path turns out to be very elusive and defend a dichotomy between metaphysical realism and irrealism.

Falsificationism has dominated 20th century philosophy of science. It seemed to have eclipsed all forms of inductivism. Yet recent debates have revived a specific form of eliminative inductivism, the basic ideas of which go back to F. Bacon and J.S. Mill. These modern endorsements of eliminative inductivism claim to show that progressive problem solving is possible using induction, rather than falsification as a method of justification. But this common ground between falsificationism and eliminative inductivism has not led to a detailed (...) investigation into the relationship, if any, which may exist between these two methodologies. This paper reviews several versions of eliminative inductivism, establishes a natural relation between eliminative inductivism and falsificationism, which derives from the distinction between models and theories, and carries out this investigation against a case study of the construction of atom models. The result of the investigation is that falsificationism is a form of eliminative inductivism in the limit of certain constraints. (shrink)

Summary With the help of psychological and biological concepts it is possible todescribe adequately a fundamental class of inductive inferences that are intuitively correct. Moreover, by relying on evolutionary theories it is possible tojustify them, because they reflect innate, hence useful, capacities. These inferences, however, refer to the past, i.e. the inferred generalization is of the form All Awere B . The reason is that evolutionary theories only claim that innate capacitieshad survival value. With respect to inductive inferences about the (...) future the situation is different. In particular, they are affected by the Goodman paradox. In the article, a method is proposed which enables us to describe adequately a basic class of inductive inferences about the future which are intuitively correct. These inferences can also be justified, but their justification requires a very specific assumption. The conclusions arrived at in the article can be viewed as a satisfactory solution to the Goodman paradox. (shrink)