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)

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)

In this paper, I present the discussion between Ayer and Austin about whether sentences or utterances can be incorrigible and I argue in favor of Austin position. I defend Austin against objections from Ayer presented after the publication of Sense & Sensibilia. Unlike what was sustained by Ayer, experiential sentences and material object sentences are not epistemically asymmetrical. A material object sentence can be incorrigible if uttered in appropriated circumstances, and an experiential sentence can be corrigible if uttered in unappropriated (...) circumstances. Relying on Austin position, I argue that self-knowledge does not have any epistemic privilege in relation to knowledge of the external world. These kinds of knowledge equally depend on objective circumstances of the utterance situation. (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)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (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)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

A feature of agnostic views—views that officially express ignorance about the existence of something —is that they are widely perceived to be epistemically more cautious than views that are committed to the entities in question. This is often seen as giving agnostics a debating advantage: all things being equal, fence-sitters have smaller argumentative burdens. Otávio Bueno argues in this way for what he calls “agnostic nominalism,” the view that we don’t know whether ontologically-independent Platonic objects exist. I show that agnostic (...) nominalism, so called, can be sustained only in ways that don’t give agnostic nominalists debating advantages: the position must either be deduced from antecedently-held broader sceptical assumptions or it requires manufacturing potential referents for one’s terms that artificially generate grounds for scepticism. Neither maneuver leads to an agnostic nominalism with a debating advantage over its nominalist opponents. (shrink)

This article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

A comparative method of studying the biological bases of personality compares human trait dimensions with likely animal models in terms of genetic determination and common biological correlates. The approach is applied to the trait of sensation seeking, which is defined on the human level by a questionnaire, reports of experience, and observations of behavior, and on the animal level by general activity, behavior in novel situations, and certain types of naturalistic behavior in animal colonies. Moderately high genetic determination has been (...) found for human sensation seeking, and marked strain differences in rodents have been found in open-field behavior that may be related to basic differences in brain neurochemistry. Agonistic and sociable behaviors in both animals and humans and the trait measure of sensation seeking in humans have been related to certain common biological correlates such as gonadal hormones, monoamine oxidase (MAO), and augmenting of the cortical evoked potential.The monoamine systems in the rodent brain are involved in general activity, exploratory behavior, emotionality, socialization, dominance, sexual and consummately behaviors, and intracranial self-stimulation. Preliminary studies have related norepinephrine and enzymes involved in its production and degradation to human sensation seeking. A model is suggested that relates mood, behavioral activity, sociability, and clinical states to activity of the central catecholamine neurotransmitters and to neuroregulators and other transmitters that act in opposite ways on behavior or stabilize activity in the arousal systems. Stimulation and behavioral activity act on the catecholamine systems in a brain–behavior feedback loop. At optimal levels of catecholamine systems activity (CSA) mood is positive and activity and sociability are adaptive. At very low or very high levels of CSA mood is dysphoric, activity is restricted or stereotyped, and the organism is unsocial or aggressively antisocial. Novelty, in the absence of threat, may be rewarding through activation of noradrenergic neurons. (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)

It’s a platitude that a picture is realistic to the degree to which it resembles what it represents (in relevant respects). But if properties are abundant and degrees of resemblance are proportions of properties in common, then the degree of resemblance between different particulars is constant (or undefined), which is inconsonant with the platitude. This paper argues this problem should be resolved by revising the analysis of degrees of resemblance in terms of proportion of properties in common, and not by (...) accepting a sparse theory of properties or by denying that degree of realism is degree of resemblance (in relevant respects). (shrink)

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)

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)

Drawing on the findings of neuroscience, this text proposes and defends the hypothesis that the various modalities of sensation share a generic form that the author, Austen Clark, calls feature-placing.

It is widely recognized that computational theories of learning must posit the existence of a priori constraints on hypothesis selection. The present article surveys the theoretical options available for modelling the dynamic process whereby the constraints have their effect. According to the 'simplicity' theory (exemplified by Fodor's treatment), hypotheses are preference-ordered in terms of their syntactic or semantic properties. It is argued that the same explanatory power can be obtained with a weaker (hence better) theory, the 'minimalist' theory, which dispenses (...) with the preference ordering. According to the 'finitistic' theory, the learner is capable of generating only finitely many hypotheses for evaluation. Chomsky maintains that the occurrence of errorless learning in language acquisition necessitates a finististic explanation. Once again, there is a weaker theory that explains the same data. Finally, Goodman's argument to the effect that there cannot be a computational theory of learning is examined and rejected. (shrink)

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 logic of scientific discovery is now a concern of computer scientists, as well as philosophers. In the computational approach to inductive inference, theories are treated as algorithms (computer programs), and the goal is to find the simplest algorithm that can generate the given data. Both computer scientists and philosophers want a measure of simplicity, such that simple theories are more likely to be true than complex theories. I attempt to provide such a measure here. I define a measure of (...) simplicity for directed graphs, inspired by Herbert Simon''s work. Many structures, including algorithms, can be naturally modelled by directed graphs. Furthermore, I adapt an argument of Simon''s to show that simple directed graphs are more stable and more resistant to damage than complex directed graphs. Thus we have a reason for pursuing simplicity, other than purely economical reasons. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (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.

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)

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form (...) the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor. (shrink)

In the debate about actions in virtual environments two interdependent types of question have been pondered: What is a person doing who acts in a virtual environment? Second, can virtual actions be evaluated morally? These questions have been discussed using examples from morally dubious computer games, which seem to revel in atrocities. The examples were introduced using the terminology of “virtual murder” “virtual rape” and “virtual pedophilia”. The terminological choice had a lasting impact on the debate, on the way action (...) types are assigned and on how moral evaluation is supposed to be conducted. However, this terminology and its theoretical consequences, while sometimes resulting in correct results, lead to absurd results when applied across the board. It will be suggested that these absurd consequences can be avoided by a different answer to the question what people in virtual worlds are doing. Alleged virtual actions are first and foremost the creation and modification of data-structures and the resulting output in computer hardware. Such modifications of data structure and imagery can be performed with different intentions, purposes and styles, which will influence the type and moral evaluation of a user’s actions. This reinterpretation allows for a more complex analysis of the moral reasons for praiseworthiness or blameworthiness of actions in virtual environments. This analysis takes not just harm and effects on character into account but the peculiar ways in which speech acts can be morally wrong: e.g. agitatory, deceptive, bullshitting. (shrink)

This paper investigates the ways English speakers employ the predicates like, similar, and resemble to express similarity in natural speech. A corpus of 450 instances was created and manually coded, and an acceptability rating experiment was conducted. Converging evidence from the corpus analysis and the experiment shows that the three predicates occur with the same range of uses, but differ in their propensities to occur with particular dimensions of similarity. Specifically, like is associated with metaphorical comparisons, and resemble is associated (...) with visual comparisons. A synchronic account of these findings is developed, based on a distinction between conventionally encoded meaning and prototypical usage. A diachronic account is also proposed, highlighting the commonality in the predicates’ conceptual origins and the differences in their historical usage. This work has theoretical and methodological implications for the study of similarity. In particular, it raises the possibility that previous findings may be distorted due to a reliance on certain similarity predicates in the phrasing of experimental instructions and stimuli. It also ties into debates on synonymy, suggesting a shift in attention from a distinction between denotational and associative meaning, to the aforementioned distinction between conventional and prototypical meaning. (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)

Professor Goodman first presented his "new riddle of induction" in 1946 but it was mainly the more elaborated version published in his Fact, Fiction and Forecast in 1955 that has captured the attention of philosophers. Since then, numerous attempts to solve his "paradox of grue" appeared in press; none of them, however, proved to be wholly satisfactory. In this paper I want to present a solution to this 30-years old puzzle. In the first section I shall try to show that (...) my solution, which is based on a Gedankenexperiment, is immune to the objections leveled against previous attempts. In light of this solution I shall re-examine the status of the paradox and show that in order to preserve the meaningfulness of the paradox some type of Platonic framework for the theory of meaning should have to be assumed. In the last section I shall discuss a proposed solution to the paradox using counterfactual claims. I will show that despite the similarity between counterfactuals and thought-experiments, the counterfactual approach does not lead to a satisfactory solution. (shrink)