This article focuses on emergence in social systems. The author begins by proposing a new tool to explore the mechanisms of social emergence: multi agent–based computer simulation. He then draws on philosophy of mind to develop an account of social emergence that raises potential problems for the methodological individualism of both social mechanism and of multi agent simulation. He then draws on various complexity concepts to propose a set of criteria whereby one can determine whether a given social mechanism generates (...) emergent properties, in the sense that their explanation cannot be reduced to a mechanistic account of individuals and their interactions. This combined account helps to resolve the competing claims of methodological individualists and social realists. The author’s conclusion is that the scope of mechanistic explanation may be limited due to the extreme complexity of many social systems. (shrink)

Sense, Reference, and Philosophy develops the far-reaching consequences for philosophy of adopting non-Fregean intensionalism, showing that long-standing problems in the philosophy of language, and indeed other areas, that appeared intractable can now be solved. Katz proceeds to examine some of those problems in this new light, including the problem of names, natural kind terms, the Liar Paradox, the distinction between logical and extra-logical vocabulary, and the Raven paradox. In each case, a non-Fregean intentionalism provides a philosophically more satisfying solution.

Phenomenalist interpretations of Kant are out of fashion. The most common complaint from anti-phenomenalist critics is that a phenomenalist reading of Kant would collapse Kantian idealism into Berkeleyan idealism. This would be unacceptable because Berkeleyan idealism is incompatible with core elements of Kant’s empirical realism. In this paper, I argue that not all phenomenalist readings threaten empirical realism. First, I distinguish several variants of phenomenalism, and then show that Berkeley’s idealism is characterized by his commitment to most of them. I (...) then make the case that two forms of phenomenalism are consistent with Kant’s empirical realism. The comparison between Kant and Berkeley runs throughout the paper, with special emphasis on the significance of their theories of intentionality. (shrink)

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force us--to give up this theory as well, (...) and to identify properties with functions from world, time pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

Theories of understanding and of language use cannot be detached from theories of truth and reference as many have recently attempted to say. Wittgenstein's early picture theory and his theory of reference {Bedeutung) is part and parcel of his view on understanding meaningful sentences {Sätze), and the use of expressions. His later theory of meaning as use of expressions is inseparable from his view on what kind of objects these expressions refer to. As logical analysis is a quest for definiteness (...) of sense and is not reductionism, not all objects of the Tractatus are of one kind. Singular propositions have no privileged role in linking language to the world. Understanding propositions with proper names or with demonstratives imply understanding of general propositions. This does not entail a definite description view of the sense of proper names. It does suggest that demonstrative pronouns are often not used anaphorically and never purely ostensively. (shrink)

Theories of understanding and of language use cannot be detached from theories of truth and reference as many have recently attempted to say. Wittgenstein's early picture theory and his theory of reference {Bedeutung) is part and parcel of his view on understanding meaningful sentences {Sätze), and the use of expressions. His later theory of meaning as use of expressions is inseparable from his view on what kind of objects these expressions refer to. As logical analysis is a quest for definiteness (...) of sense and is not reductionism, not all objects of the Tractatus are of one kind. Singular propositions have no privileged role in linking language to the world. Understanding propositions with proper names or with demonstratives imply understanding of general propositions. This does not entail a definite description view of the sense of proper names. It does suggest that demonstrative pronouns are often not used anaphorically and never purely ostensively. (shrink)

A framework for representing a specific kind of emergent property instance is given. A solution to a generalized version of the exclusion argument is then provided and it is shown that upwards and downwards causation is unproblematical for that kind of emergence. One real example of this kind of emergence is briefly described and the suggestion made that emergence may be more common than current opinions allow.

The purpose of this paper is to lay bare the major problems underlying the concept of downward causation as discussed within the perspective of the present interest for phenomena that are characterized by self-organization. In our discussion of the literature, we have focussed on two questions: (1) What sorts of things are said to be, respectively, causing and caused within the context of downward causation? And (2) What is the meaning of ‘causing’ in downward causation? We have concluded that the (...) concept of ‘downward causation’ is muddled with regard to the meaning of causation and fuzzy with regard to the nature of the causes and the effects. Moreover, we have concluded that ‘causation’ in respect of ‘downward causation’ is usually understood in terms of explanation and determination rather than in terms of causation in the sense of ‘bringing about’. Thus, the term ‘downward causation’ is badly chosen. (shrink)

The problem addressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen, BC, 1983, Theory comparison and relevant Evidence. In J. Earman (Ed.), Testing scientific theories (pp. 27–42). Minneapolis: University of Minnesota Press). Sections 1– 3 contain the general plausibility-informativeness theory of theory assessment. In a nutshell, the message is (1) that there are two values a theory should exhibit: (...) truth and informativeness—measured respectively by a truth indicator and a strength indicator; (2) that these two values are conflicting in the sense that the former is a decreasing and the latter an increasing function of the logical strength of the theory to be assessed; and (3) that in assessing a given theory by the available data one should weigh between these two conflicting aspects in such a way that any surplus in informativeness succeeds, if the shortfall in plausibility is small enough. Particular accounts of this general theory arise by inserting particular strength indicators and truth indicators. In Section 4 the theory is spelt out for the Bayesian paradigm of subjective probabilities. It is then compared to incremental Bayesian confirmation theory. Section 4 closes by asking whether it is likely to be lovely. Section 5 discusses a few problems of confirmation theory in the light of the present approach. In particular, it is briefly indicated how the present account gives rise to a new analysis of Hempel’s conditions of adequacy for any relation of confirmation (Hempel, CG, 1945, Studies in the logic of comfirmation. Mind, 54, 1–26, 97–121.), differing from the one Carnap gave in § 87 of his Logical foundations of probability (1962, Chicago: University of Chicago Press). Section 6 adresses the question of justification any theory of theory assessment has to face: why should one stick to theories given high assessment values rather than to any other theories? The answer given by the Bayesian version of the account presented in section 4 is that one should accept theories given high assessment values, because, in the medium run, theory assessment almost surely takes one to the most informative among all true theories when presented separating data. The concluding section 7 continues the comparison between the present account and incremental Bayesian confirmation theory. (shrink)

Towards the end of Beyond Reduction Horst hypothesizes that ‘it is a general design principle of the cognitive architecture of humans that the mind possesses multiple models for understanding and interacting practically with different aspects of the world’. The suggestion is made following a discussion of recent research in cognitive science. According to Horst, the hypothesis is also consistent with what recent non-reductionist tendencies in the philosophy of science teach us. Taken together, Horst claims these two sets of evidence motivate (...) a new post-reductionist approach to the philosophy of mind. After outlining the route Horst takes to reach this claim, I shall raise a worry I have about the claim and the route taken to it.Beyond Reduction is in three parts. Part one frames the debate. In Chapter 1 Horst notes how naturalism is a view to which nearly all philosophers of mind, some of whom hold quite disparate views, would subscribe. He formulates a schema for naturalism that he thinks most would accept: ‘naturalism about domain D is the view that all features of D are to be accommodated within the framework of nature as it is understood by the natural sciences’. Horst acknowledges that the schema under-describes matters. The notion of ‘accommodation’ may be understood as involving either explanation or metaphysical determination; it is also unclear how we are to understand ‘the …. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

All the major inter-theoretic relations of fundamental science are asymptotic ones, e.g. quantum theory as Planck's constant h 0, yielding (roughly) Newtonian mechanics. Thus asymptotics ultimately grounds claims about inter-theoretic explanation, reduction and emergence. This paper examines four recent, central claims by Batterman concerning asymptotics and reduction. While these claims are criticised, the discussion is used to develop an enriched, dynamically-based account of reduction and emergence, to show its capacity to illuminate the complex variety of inter-theory relationships in physics, and (...) to provide a principled resolution to such persistent philosophical problems as multiple realisability and the nature of the special sciences. Introduction Exposition Examination I: Claims (1) and (2), asymptotic explanation and reference Examination II: Claim (3), reduction and singular asymptotics Examination III: Claim (4), emergence and multiple realisability Conclusion. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

John Heil's new book (Heil 2003) is remarkable in many ways. In a concise, lucid and accessible manner, it develops a complete system of ontology with many strikingly original features and then applies that ontology to fundamental issues in the philosophy of mind, with illuminating results. Although Heil acknowledges his intellectual debts to C. B. Martin (p. viii), he is unduly modest about his own contribution to the development and application of this novel metaphysical system. A full examination of the (...) position that Heil defends would require a book in itself, so I shall limit myself to discussing some of its central themes and to explaining a few doubts that I have concerning some aspects of it. (shrink)

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

Cognitivism in psychology and philosophy is roughly the position that intelligent behavior can (only) be explained by appeal to internal that is, rational thought in a very broad sense. Sections 1 to 5 attempt to explicate in detail the nature of the scientific enterprise that this intuition has inspired. That enterprise is distinctive in at least three ways: It relies on a style of explanation which is different from that of mathematical physics, in such a way that it is not (...) basically concerned with quantitative equational laws; the states and processes with which it deals are in the sense that they are regarded as meaningful or representational; and it is not committed to reductionism, but is open to reduction in a form different from that encountered in other sciences. Spelling these points out makes it clear that the Cognitivist study of the mind can be rigorous and empirical, despite its unprecedented theoretical form. The philosophical explication has another advantage as well: It provides a much needed framework for articulating questions about whether the Cognitivist approach is right or wrong. The last three sections take that advantage of the account, and address several such questions, pro and con. (shrink)

The idea that human thinking and machine computing are "radically the same" provides the central theme for this marvelously lucid and witty book on...

Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of [2] are conservative over PA.

The logical positivists’ critical attitude towards metaphysics is sketched. Strawson’s conception of descriptive and revisionary metaphysics is described. Revisionary metaphysics is argued to be chimerical, and descriptive metaphysics is argued not to be a form of metaphysics at all. Strawson’s failure to account for the status of propositions of descriptive metaphysics is held to be remediable by reference to Wittgenstein’s conception of grammatical propositions that express norms of representation.

My paper takes issue both with the standard view that the Tractatus contains a correspondence theory and with recent suggestions that it features a deflationary or semantic theory. Standard correspondence interpretations are mistaken, because they treat the isomorphism between a sentence and what it depicts as a sufficient condition of truth rather than of sense. The semantic/deflationary interpretation ignores passages that suggest some kind of correspondence theory. The official theory of truth in the Tractatus is an obtainment theory – a (...) sentence is true iff the state of affairs it depicts obtains. This theory differs from deflationary theories in that it involves an ontology of states of affairs/facts; and it can be transformed into a type of correspondence theory: a sentence is true iff it corresponds to, i.e. depicts an obtaining state of affairs (fact). Admittedly, unlike correspondence theories as commonly portrayed, this account does not involve a genuinely truth-making relation. It features a relation of correspondence, yet it is that of depicting, between a meaningful sentence and its sense – a possible state of affairs. What makes for truth is not that relation, but the obtaining of the depicted state of affairs. This does not disqualify the Tractatus from holding a correspondence theory, however, since the correspondence theories of Moore and Russell are committed to a similar position. Alternatively, the obtainment theory can be seen as a synthesis of correspondence, semantic and deflationary approaches. It does justice to the idea that what is true depends solely on what is the case, and it combines a semantic explanation of the relation between a sentence and what it says with a deflationary account of the agreement between what the sentence says and what obtains or is the case if it is true. (shrink)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

A number of authors, Including Thomas Schelling and David Lewis, have envisaged a model of the generation of action in coordination problems in which salience plays a crucial role. Empirical studies suggest that human subjects are likely to try for the salient combination of actions, a tendency leading to fortunate results. Does rationality dictate that one aim at the salient combination? Some have thought so, Thus proclaiming that salience is all that is needed to resolve coordination problems for agents who (...) are rational in the sense of game theory. I argue against this position; rational agents will not necessarily aim for the salient. It remains to explain how the salient comes to be chosen by human beings. Various possibilities are noted. One involves a mechanism invoked by Hume and Wittgenstein in other contexts: we may project an unreasoned compulsion onto reason, falsely believing that rationality dictates our choice of the salient. (shrink)

My aim is to show that theories which try to construct truthmakers out of objects and properties/relations alone are not tenable: The Frege–Wittgenstein idea of incompleteness does not yield truthmakers. Armstrong’s theory of partial identity and the theory of moments, i.e., of non-transferable properties, yield truthmakers, but these theories have counter-intuitive consequences. I conclude that the notion of a truthmaker makes ontological demands beyond objects and properties/relations and propose that truthmakers are exemplification relations which are necessarily tied to objects and (...) properties/relations. (shrink)

Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.

This book is largely a reconsideration of the arguments that are supposed to ground this consensus.