The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I then (...) make the case for intuitionism as a suitable candidate to fill this void. (shrink)

Humans have always sought to change their environment—building houses, monuments, temples, and roads. In the process, they have remade the fabric of the world into newly functional objects that are also works of art to be admired. In this second edition of his popular Existential Pleasures of Engineering, Samuel Florman explores how engineers think and feel about their profession. A deeply insightful and refreshingly unique text, this book corrects the myth that engineering is cold and passionless. Indeed, Florman celebrates (...) engineering not only crucial and fundamental but also vital and alive he views it as a response to some of our deepest impulses, an endeavor rich in spiritual and sensual rewards. Opposing the "anti-technology" stance, Florman gives readers a practical, creative, and even amusing philosophy of engineering that boasts of pride in his craft. (shrink)

What are the features of a good scientific theory? Samuel Schindler's book revisits this classical question in the philosophy of science and develops new answers to it. Theoretical virtues matter not only for choosing theories 'to work with', but also for what we are justified in believing: only if the theories we possess are good ones can we be confident that our theories' claims about nature are actually correct. Recent debates have focussed rather narrowly on a theory's capacity to (...) predict new phenomena successfully, but Schindler argues that the justification for this focus is thin. He discusses several other theory properties such as testability, accuracy, and consistency, and highlights the importance of simplicity and coherence. Using detailed historical case studies and careful philosophical analysis, Schindler challenges the received view of theoretical virtues and advances arguments for the view that science uncovers reality through theory. (shrink)

Book synopsis: The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This Companion is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial Essay on the Philosophy of Mind which serves as an overview of the subject, and (...) is closely referenced to the entries in the Companion. Among the entries themselves are several ""self-profiles"" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. (shrink)

Taking the title of his book from Isaiah Berlin's famous essay distinguishing a negative concept of liberty connoting lack of interference by others from a positive concept involving participation in the political realm, Samuel Fleischacker explores a third definition of liberty that lies between the first two. In Fleischacker's view, Kant and Adam Smith think of liberty as a matter of acting on our capacity for judgment, thereby differing both from those who tie it to the satisfaction of our (...) desires and those who translate it as action in accordance with reason or "will." Integrating the thought of Kant and Smith, and developing his own stand through readings of the Critique of Judgment and The Wealth of Nations, Fleischacker shows how different acting on one's best judgment is from acting on one's desires--how, in particular, good judgment, as opposed to mere desire, can flourish only in favorable social and political conditions. At the same time, exercising judgment is something every individual must do for him- or herself, hence not something that philosophers and politicians who reason better than the rest of us can do in our stead. For this reason advocates of a liberty based on judgment are likely to be more concerned than are libertarians to make sure that government provides people with conditions for the use of their liberty--for example, excellent standards of education, health care, and unemployment insurance--while at the same time promoting a less paternalistic view of government than most of the movements associated for the past thirty years with the political left. (shrink)

Adam Smith was a philosopher before he ever wrote about economics, yet until now there has never been a philosophical commentary on the Wealth of Nations . Samuel Fleischacker suggests that Smith's vastly influential treatise on economics can be better understood if placed in the light of his epistemology, philosophy of science, and moral theory. He lays out the relevance of these aspects of Smith's thought to specific themes in the Wealth of Nations , arguing, among other things, that (...) Smith regards social science as an extension of common sense rather than as a discipline to be approached mathematically, that he has moral as well as pragmatic reasons for approving of capitalism, and that he has an unusually strong belief in human equality that leads him to anticipate, if not quite endorse, the modern doctrine of distributive justice. Fleischacker also places Smith's views in relation to the work of his contemporaries, especially his teacher Francis Hutcheson and friend David Hume, and draws out consequences of Smith's thought for present-day political and philosophical debates. The Companion is divided into five general sections, which can be read independently of one another. It contains an index that points to commentary on specific passages in Wealth of Nations . Written in an approachable style befitting Smith's own clear yet finely honed rhetoric, it is intended for professional philosophers and political economists as well as those coming to Smith for the first time. (shrink)

This book examines three issues: the principle of ought implies can ; the principle of alternate possibilities ; and Kant’s views on the duty to promote one’s own happiness. It argues that although Kant was wrong to deny such a duty, the part of his denial that rests on a conception of duty incorporating both OIC and PAP is sound.

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

Adam Smith was a philosopher before he ever wrote about economics, yet until now there has never been a philosophical commentary on the Wealth of Nations. Samuel Fleischacker suggests that Smith's vastly influential treatise on economics can be better understood if placed in the light of his epistemology, philosophy of science, and moral theory. He lays out the relevance of these aspects of Smith's thought to specific themes in the Wealth of Nations, arguing, among other things, that Smith regards (...) social science as an extension of common sense rather than as a discipline to be approached mathematically, that he has moral as well as pragmatic reasons for approving of capitalism, and that he has an unusually strong belief in human equality that leads him to anticipate, if not quite endorse, the modern doctrine of distributive justice. Fleischacker also places Smith's views in relation to the work of his contemporaries, especially his teacher Francis Hutcheson and friend David Hume, and draws out consequences of Smith's thought for present-day political and philosophical debates. The Companion is divided into five general sections, which can be read independently of one another. It contains an index that points to commentary on specific passages in Wealth of Nations. Written in an approachable style befitting Smith's own clear yet finely honed rhetoric, it is intended for professional philosophers and political economists as well as those coming to Smith for the first time. (shrink)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...) variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

John Rawls says: “The main problem of distributive justice is the choice of a social system.” Property-owning democracy is the social system that Rawls thought best realized the requirements of his principles of justice. This article discusses Rawls’s conception of property-owning democracy and how it is related to his difference principle. I explain why Rawls thought that welfare-state capitalism could not fulfill his principles: it is mainly because of the connection he perceived between capitalism and utilitarianism.

Knowledge of mechanisms is critical for causal reasoning. We contrasted two possible organizations of causal knowledge—an interconnected causal network, where events are causally connected without any boundaries delineating discrete mechanisms; or a set of disparate mechanisms—causal islands—such that events in different mechanisms are not thought to be related even when they belong to the same causal chain. To distinguish these possibilities, we tested whether people make transitive judgments about causal chains by inferring, given A causes B and B causes C, (...) that A causes C. Specifically, causal chains schematized as one chunk or mechanism in semantic memory led to transitive causal judgments. On the other hand, chains schematized as multiple chunks led to intransitive judgments despite strong intermediate links. Normative accounts of causal intransitivity could not explain these intransitive judgments. (shrink)

I describe and motivate Rational Internalism, a principle concerning the relationship between motivating reasons (which explain actions) and normative reasons (which justify actions). I use this principle to construct a novel argument against Objectivist theories of normative reasons, which hold that facts about normative reasons can be analyzed in terms of an independently specified class of normative or evaluative facts. I then argue for an alternative theory of normative reasons, the Reasoning View, which is consistent with both Rational Internalism and (...) one standard motivation for Objectivism. (shrink)

Conviction Narrative Theory (CNT) is a theory of choice underradical uncertainty– situations where outcomes cannot be enumerated and probabilities cannot be assigned. Whereas most theories of choice assume that people rely on (potentially biased) probabilistic judgments, such theories cannot account for adaptive decision-making when probabilities cannot be assigned. CNT proposes that people usenarratives– structured representations of causal, temporal, analogical, and valence relationships – rather than probabilities, as the currency of thought that unifies our sense-making and decision-making faculties. According to CNT, (...) narratives arise from the interplay between individual cognition and the social environment, with reasoners adopting a narrative that feels “right” to explain the available data; using that narrative to imagine plausible futures; and affectively evaluating those imagined futures to make a choice. Evidence from many areas of the cognitive, behavioral, and social sciences supports this basic model, including lab experiments, interview studies, and econometric analyses. We identify 12 propositions to explain how the mental representations (narratives) interact with four inter-related processes (explanation, simulation, affective evaluation, and communication), examining the theoretical and empirical basis for each. We conclude by discussing how CNT can provide a common vocabulary for researchers studying everyday choices across areas of the decision sciences. (shrink)

"Have the courage to use your own understanding! - that is the motto of enlightenment." - Immanuel Kant The Enlightenment is one of the most important and contested periods in the history of philosophy. The problems it addressed, such as the proper extent of individual freedom and the challenging of tradition, resonate as much today as when they were first debated. Of all philosophers, it is arguably Kant who took such questions most seriously, addressing them above all in his celebrated (...) short essay, An Answer to the Question: What is Enlightenment? In this engaging and lucid book, Samuel Fleischacker first explains and assesses Kant’s philosophy of Enlightenment. He then considers critics of Kant’s views - from Burke and Hegel to Horkheimer and Adorno - and figures he regards as having extended Kant’s notion of enlightenment, such as Feuerbach, Marx, Habermas, Foucault, and Rawls. Throughout, he demonstrates how Kant holds two distinct theories of enlightenment. On the one hand, Kant proposes a ‘minimal’ view, where to be enlightened is simply to engage in critical public discussion, allowing diversity of opinion to flourish. On the other, he argues that Kant elsewhere calls for a ‘maximal’ view of enlightenment, where, for example, an enlightened person cannot believe in a traditional religion. With great skill Fleischacker shows how these two views are taken in a multitude of directions by both critics and advocates of Kant’s philosophy. Arguing that Kant’s minimal enlightenment is a precondition for a healthy proliferation of cultures, religious faiths and political movements, What is Enlightenment? is a fascinating introduction to a key aspect of Kant’s thought and a compelling analysis of philosophical thinking about the Enlightenment. Including helpful chapter summaries and guides to further reading, it is ideal for anyone studying Kant or the philosophy of the Enlightenment, as well as those in related disciplines such as politics, history and religious studies. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F also makes it G. This approach is hyperintensional and possesses desirable logical and modal features. In particular, these sentences are reflexive, transitive, and symmetric, and if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I motivate my account over Correia and Skiles’ [11] prominent alternative and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. (shrink)

Cook and Reckhow defined a propositional formulation of the pigeonhole principle. This paper shows that there are Frege proofs of this propositional pigeonhole principle of polynomial size. This together with a result of Haken gives another proof of Urquhart's theorem that Frege systems have an exponential speedup over resolution. We also discuss connections to provability in theories of bounded arithmetic.

Taking a thematic approach to Butler as a political thinker, this text develops Butler's theory of the political through an exploration of her politics of troubling.

ABSTRACT This article contrasts Francis Bacon’s understanding of civil war, sedition, and rebellion with that of his near contemporaries and predecessors, especially Montaigne, Bodin, Machiavelli, Alberico Gentili and Edward Forset. The article contends that for Bacon, civil war, sedition, and rebellion are the antitheses of good government and that which prudent policy aims to avoid. The article further argues that for Bacon as sedition and its extremities are caused by poverty and discontentment, and these, in Bacon’s view, are the result (...) of overpopulation or ‘surcharge of people’, Bacon’s view for the avoidance of civil war aims at policies of outward expansion in the form of colonies and wars of aggression, both of which aim to reduce the metropole’s own population and therewith its propensity to civil war. The article argues that a consideration of Bacon on civil war in particular will shed considerable light on the ideological origins of the British Empire which have often been ignored – where some contemporary political theorists and historians are keen to link ideologies of empire to corresponding positions in political anthropology. A consideration of Bacon’s thought on civil war will show, instead, the article contends, that for key ideological originators of imperial justifications, imperial projects have their origin in domestic politics and the avoidance of civil war. (shrink)

This paper addresses the extent to which both Julian Barbour‘s Machian formulation of general relativity and his interpretation of canonical quantum gravity can be called timeless. We differentiate two types of timelessness in Barbour‘s (1994a, 1994b and 1999c). We argue that Barbour‘s metaphysical contention that ours is a timeless world is crucially lacking an account of the essential features of time—an account of what features our world would need to have if it were to count as being one in which (...) there is time. We attempt to provide such an account through considerations of both the representation of time in physical theory and in orthodox metaphysical analyses. We subsequently argue that Barbour‘s claim of timelessness is dubious with respect to his Machian formulation of general relativity but warranted with respect to his interpretation of canonical quantum gravity. We conclude by discussing the extent to which we should be concerned by the implications of Barbour‘s view. (shrink)

The question whether compulsory schooling is justifiable or not has been treated at considerable length by critics, defenders, and positions in-between. What these treatments—about paternalism and autonomy and institutionalization and more—have not directly analyzed is a question that precedes the issue of overall justification: the preliminary question of time. Does it matter when compulsion takes place? Furthermore, does the timing of compulsion matter to the question of overall justification? I will argue that it does matter, but for reasons not directly (...) related to the question of overall justification. (shrink)

I am concerned with epistemic closure—the phenomenon in which some knowledge requires other knowledge. In particular, I defend a version of the closure principle in terms of analyticity; if an agent S knows that p is true and that q is an analytic part of p, then S knows that q. After targeting the relevant notion of analyticity, I argue that this principle accommodates intuitive cases and possesses the theoretical resources to avoid the preface paradox.

Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.

Bearing Society in Mind disrupts the disciplinary boundaries of economic, political and cultural theory by exploring the theory and politics of the social formation.

The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This _Companion_ is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial _Essay on the Philosophy of Mind_ which serves as an overview of the subject, and is closely (...) referenced to the entries in the Companion. Among the entries themselves are several "self-profiles" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. All main entries have a full bibliography, and the book is indexed to the high standards set by other volumes in the Blackwell Companions to Philosophy series. (shrink)

Ricœur’s philosophy never locates itself directly in the field of philosophical aesthetics inasmuch as philosophical aesthetics never arises as a field of major questioning and discursive development for Ricœur’s philosophy or as a field that would guide that philosophy. However, Ricœur maintains an ongoing but complex connection with aesthetics throughout his philosophical work. Here we defend the thesis that there are difficulties relating both to the complexity of Ricœur’s philosophy and to the crisis situation of aesthetics as an autonomous field (...) of philosophical inquiry. A more direct confrontation with philosophical aesthetics, such as that developed by analytic philosophy and critical theory today, is necessary in order to be aware of this connection between Ricœur’s philosophy and aesthetics. It then appears that if Ricœur’s philosophy makes it possible to maintain a certain autonomy of the field of aesthetics inherited from Kant, it is not through developing some unlikely “Ricœurian aesthetic” but thanks to a Ricœurian philosophy of aesthetics essentially determined on three levels: 1) the connection between poetics and aesthetics within a philosophy of imagination, 2) the connection between criticism and hermeneutics with regard the notions of text and distanciation, 3) the connection between ontology and communication that summarizes the two previous steps by combining phenomenological, analytic and critical perspectives. Thus it can be assumed that this autonomy of the field of aesthetics is possible only at a horizon of meaning determined by Ricœur’s philosophical anthropology: at the axiological level, the field of aesthetics differs upstream from the field of poetics and downstream from the field of ethics; at the ontological level, Ricœur’s philosophy of aesthetics concerns a region that is both intermediate between and congruent to those treated by Ricœur’s philosophy of imagination and by Ricœur’s philosophy of action. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

This paper discusses lower bounds for proof length, especially as measured by number of steps (inferences). We give the first publicly known proof of Gödel's claim that there is superrecursive (in fact. unbounded) proof speedup of (i + 1)st-order arithmetic over ith-order arithmetic, where arithmetic is formalized in Hilbert-style calculi with + and · as function symbols or with the language of PRA. The same results are established for any weakly schematic formalization of higher-order logic: this allows all tautologies as (...) axioms and allows all generalizations of axioms as axioms. Our first proof of Gödel's claim is based on self-referential sentences: we give a second proof that avoids the use of self-reference based loosely on a method of Statman. (shrink)

With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with exercises and answers.