The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and (...) model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

The history of twentieth century philosophy is characterised by the gap between analytic and continental philosophy -- even though both have their roots in a tradition referred to as 'Austrian' or 'Central-European' philosophy. The essays in this volume show in historical and systematic studies, how a reassessment of this 'Central-European' tradition can build an interesting bridge between phenomenology and analytic philosophy and, thus, create a new foundation that allows for an original perspective on central problems of philosophy.

The Dappled World: A Study of the Boundaries of Science. nancy cartwright. Plato's Reception of Parmenides. john a. palmer.

This paper discusses the mistake of understanding the laws and concepts of thermodynamics too literally in the foundations of statistical mechanics. Arguing that this error is still made in subtle ways, the article explores its occurrence in three examples: the Second Law, the concept of equilibrium and the definition of phase transitions.

Hermann Weyl, one of the twentieth century's greatest mathematicians, was unusual in possessing acute literary and philosophical sensibilities—sensibilities to which he gave full expression in his writings. In this paper I use quotations from these writings to provide a sketch of Weyl's philosophical orientation, following which I attempt to elucidate his views on the mathematical continuum, bringing out the central role he assigned to intuition.

Thermodynamics and Statistical Mechanics are related to one another through the so-called "thermodynamic limit'' in which, roughly speaking the number of particles becomes infinite. At critical points (places of physical discontinuity) this limit fails to be regular. As a result, the "reduction'' of Thermodynamics to Statistical Mechanics fails to hold at such critical phases. This fact is key to understanding an argument due to Craig Callender to the effect that the thermodynamic limit leads to mistakes in Statistical Mechanics. I discuss (...) this argument and argue that the conclusion is misguided. In addition, I discuss an analogous example where a genuine physical discontinuity---the breaking of drops---requires the use of infinite idealizations. (shrink)

The desire to minimize the number of individual new entities postulated is often referred to as quantitative parsimony. Its influence on the default hypotheses formulated by scientists seems undeniable. I argue that there is a wide class of cases for which the preference for quantitatively parsimonious hypotheses is demonstrably rational. The justification, in a nutshell, is that such hypotheses have greater explanatory power than less parsimonious alternatives. My analysis is restricted to a class of cases I shall refer to as (...) additive. Such cases involve the postulation of a collection of qualitatively identical individual objects which collectively explain some particular observed phenomenon. Especially clear examples of this sort occur in particle physics.1Introduction2Particle physics: a case study3Three kinds of simplicity4Explanatory power5Explanation and non‐observation6Parsimony and scientific methodology7Conclusions. (shrink)

Mit den "Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie" von 1913, von ihm selbst nur als eine "Allgemeine Einführung in die reine Phänomenologie" angezeigt, zog Edmund Husserl die Konsequenz aus seinen Logischen Untersuchungen (PhB 601), die ihn 1900/01 berühmt gemacht hatten: Ausgehend von der dort entwickelten Phänomenologie der intentionalen Erlebnisse sieht er jetzt in der Aufdeckung der Leistungen des "reinen Bewußtseins", dem die uns bekannte natürliche Welt nur als "Bewußtseinskorrelat" gegeben ist, den eigentlichen Gegenstand philosophischer Erkenntnis und in den (...) von ihm eingeführten methodologischen Begriffen der "Reduk tion" und der "Epoché" den Weg, sich über die Beschaffenheit dieses "reinen Bewußtseins", aus dem alle Erkenntnis entspringt, Klarheit zu verschaffen. Die Ausgabe bietet Husserls Schrift text- und seitengleich nach Band III/1 der Husserliana, herausgegeben von Karl Schuhmann; beigegeben sind Husserls Nachwort zu den Ideen von 1930 aus Band V der Husserliana, herausgegeben von Marly Biemel, sowie ein umfangreiches Namen- und Sachregister von Elisabeth Ströker. (shrink)

Brentanos Reflexionen über das Verhältnis von Wahrheit und Evidenz wurden erst 1930 herausgegeben. Ihre Kenntnis ist unentbehrlich für das Verständnis seines Verhältnisses zu den an ihn anknüpfenden Denkern, insbesondere zu Husserl.

When in May 1930, the Council of Trinity College, Cambridge, had to decide whether to renew Wittgenstein's research grant, it turned to Bertrand Russell for an assessment of the work Wittgenstein had been doing over the past year. His verdict: "The theories contained in this new work . . . are novel, very original and indubitably important. Whether they are true, I do not know. As a logician who likes simplicity, I should like to think that they are not, but (...) from what I have read of them I am quite sure that he ought to have an opportunity to work them out, since, when completed, they may easily prove to constitute a whole new philosophy." "[ Philosophical Remarks ] contains the seeds of Wittgenstein's later philosophy of mind and of mathematics. Principally, he here discusses the role of indispensable in language, criticizing Russell's The Analysis of Mind . He modifies the Tractatus 's picture theory of meaning by stressing that the connection between the proposition and reality is not found in the picture itself. He analyzes generality in and out of mathematics, and the notions of proof and experiment. He formulates a pain/private-language argument and discusses both behaviorism and the verifiability principle. The work is difficult but important, and it belongs in every philosophy collection."--Robert Hoffman, Philosophy "Any serious student of Wittgenstein's work will want to study his Philosophical Remarks as a transitional book between his two great masterpieces. The Remarks is thus indispensible for anyone who seeks a complete understanding of Wittgenstein's philosophy."--Leonard Linsky, American Philosophical Association. (shrink)

I analyse the conceptual and mathematical foundations of Lagrangian quantum field theory (QFT) (that is, the ‘naive’ (QFT) used in mainstream physics, as opposed to algebraic quantum field theory). The objective is to see whether Lagrangian (QFT) has a sufficiently firm conceptual and mathematical basis to be a legitimate object of foundational study, or whether it is too ill-defined. The analysis covers renormalisation and infinities, inequivalent representations, and the concept of localised states; the conclusion is that Lagrangian QFT (at least (...) as described here) is a perfectly respectable physical theory, albeit somewhat different in certain respects from most of those studied in foundational work. (shrink)

From 1929 through 1944, Wittgenstein endeavors to clarify mathematical meaningfulness by showing how (algorithmically decidable) mathematical propositions, which lack contingent "sense," have mathematical sense in contrast to all infinitistic "mathematical" expressions. In the middle period (1929-34), Wittgenstein adopts strong formalism and argues that mathematical calculi are formal inventions in which meaningfulness and "truth" are entirely intrasystemic and epistemological affairs. In his later period (1937-44), Wittgenstein resolves the conflict between his intermediate strong formalism and his criticism of set theory by requiring (...) that a mathematical calculus (vs. a "sign-game") must have an extrasystemic, real world application, thereby returning to the weak formalism of the Tractatus. (shrink)

This essay endorses the conclusion of Sklar’s “Dappled Theories in a Uniform World” that he announces in his abstract, that notwithstanding recent attacks foundational theories are universal in their scope. But Sklar’s rejection of a “pluralist ontology” is questioned. It is concluded that so called “foundational” and “phenomenological” theories are on a much more equal footing as sources of knowledge than Sklar would allow, that “giving an ontology” generally involves dealing in idealizations, and that a transfigured “ficitonalism” provides an (in (...) many respects) better model of scientific knowledge than the model of “foundational truths.”. (shrink)

It has been argued, most trenchantly by Nancy Cartwright, that the diversity of the concepts and regularities we actually use to describe nature and predict and explain its behavior leaves us with no reason to believe that our foundational physical theories actually "apply" outside of delicately contrived systems within the laboratory. This paper argues that, diversity of method notwithstanding, there is indeed good reason to think that the foundational laws of physics are universal in their scope.

If a classical system has infinitely many degrees of freedom, its Hamiltonian quantization need not be unique up to unitary equivalence. I sketch different approaches (Hilbert space and algebraic) to understanding the content of quantum theories in light of this non‐uniqueness, and suggest that neither approach suffices to support explanatory aspirations encountered in the thermodynamic limit of quantum statistical mechanics.

It is argued that a popular way of accounting for the distinctive value of knowledge by appeal to the distinctive value of cognitive achievements fails because it is a mistake to identify knowledge with cognitive achievements. Nevertheless, it is claimed that understanding, properly conceived, is a type of cognitive achievement, and thus that the distinctive value of cognitive achievements can explain why understanding is of special value.

Inviting a reappraisal of the status of scientific knowledge, Andrew Pickering suggests that scientists are not mere passive observers and reporters of nature.

Excerpts from Robert Nozick's "Invariances" Necessary truths are invariant across all possible worlds, contingent ones across only some.

In this paper I lay the foundations for an understanding of one of Fichte's most neglected and least understood texts: the late lecture course on Transcendental Logic. I situate this work in the context of Fichte's lifelong struggle with the problem of understanding the relation between logic and philosophy – a problem that I show to figure centrally both in Fichte's own revolutionary thinking and in his response to Kant's notorious denunciation of the Wissenschaftslehre. By attending to this context we (...) can understand Fichte's philosophical ambitions in the late lectures: a critique of particular doctrines of general logic; a critique of the conception of thought presupposed both by the traditional logic and by Kant himself; and a new conception of the relation between logic and the philosophical theory of experience. (shrink)

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? The model of " inference to the best explanation " -- that we infer the hypothesis that would, if correct, provide the best explanation of the available evidence--offers a compelling account of inferences both in science and in ordinary life. Widely cited by epistemologists and philosophers of science, IBE has nonetheless remained little more than a slogan. Now this influential work has been thoroughly revised and updated, and features (...) a new introduction and two new chapters. Inference to the Best Explanation is an unrivaled exposition of a theory of particular interest in the fields both of epistemology and the philosophy of science. (shrink)

Husserls »Logische Untersuchungen« sind eines der folgenreichsten Werke der neueren Philosophiegeschichte. Mit dem ersten Erscheinen in den Jahren 1900 und 1901 (Max Niemeyer Verlag, Halle/Saale) nimmt jene Schule ihren Anfang, deren Name im Untertitel des zweiten Bandes zum ersten Mal sinnfällig wird: die Phänomenologie. Husserl sah damals in diesem Werk »Versuche zur Neubegründung der reinen Logik und Erkenntnistheorie«, die den Grund zu einem größeren Gedankengebäude zu legen imstande waren. Sie wollten freilich kein bloßes Programm sein, sondern »Fundamentalarbeit an den unmittelbar (...) erschauten und ergriffenen Sachen« darstellen. Die weitere Arbeit an der Ausprägung der phänomenologischen Philosophie führte schon nach wenigen Jahren zu neuen Problemen, zu vertieften Erkenntnissen und zu schärferen Formulierungen. Ihnen trägt die zweite, zum Teil tiefgreifend umgearbeitete Auflage Rechnung, deren Text seither in unveränderter Form immer wieder nachgedruckt wurde. (shrink)

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations in understanding spontaneous symmetry (...) breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)