This book is a study of Wittgenstein's descriptive, improvisational, and performative art of philosophical investigation. In addition to clarifying the nature of Wittgenstein's grammatical investigations, this study highlights several neglected aspects of his work: its humour and playfulness, its collaborative nature, and its emphasis on the imagination. These aspects often become distorted under the pressure of theory and argumentation, resulting in interpretations that equate grammatical investigation with confession, therapy, or a common sense view of the world. After presenting Wittgenstein's art (...) of investigation in part one, this study challenges these dominant and influential interpretations in part two. The volume examines Wittgenstein's mottos, forewords, and dedications. It looks at the art of his philosophical and grammatical investigations, linking it to drama and improvisation. The book discusses the complexity and subtlety of Wittgenstein's response to Augustine in the opening of the Investigations, and Wittgenstein's response to Moore's defence of common sense in On Certainty. The book also examines three kinds of therapeutic readings: those that compare Wittgenstein's philosophy to psychoanalysis, those that compare his philosophy to therapy generally, and those that describe philosophy itself as an illness or as the cause of illness. (shrink)

_Wittgenstein's Art of Investigation_ is one of the first to focus on and provide an original and detailed analysis of Wittgenstein's grammatical investigations. Beth Sarkey offers us new insight into the historical context and influences on method which will help students understand the intricacies and depth of his work.

_Wittgenstein's Art of Investigation_ is one of the first to focus on and provide an original and detailed analysis of Wittgenstein's grammatical investigations. Beth Sarkey offers us new insight into the historical context and influences on method which will help students understand the intricacies and depth of his work.

Agency can be construed as both the manner in which autonomous individuals embark on particular courses of action (or inaction), and the relationship between such agents and the outcomes of the courses of action on which they embark. A promising strategy for understanding both senses of agency consists in the combination of a modal logic of agency and branching time semantics. Such is the strategy behind stit theory, the theory of agentive action developed by Nuel Belnap and others. However, (...) stit theoretic evaluations of the agentive relationship between agents and outcomes that are uncertain—due to either the presence of indeterminism, or the possible intervention of other agents—yield counterintuitive results. This paper develops a pair of alternative operators (the “act” operators) for modeling agency with respect to uncertain outcomes. Unlike the stit-theoretic model, the act-theoretic model of agency with respect to a particular state of affairs does not require that the state of affairs be realized in every possible history. If the state of affairs in fact obtains in the actual history, and its obtaining was dependent on the agent’s pursuing a particular course of action, then the agent is deemed agentive under act theory. (shrink)

This article explores negotiations over the humanistic versus mechanized components of care through an ethnographic account of digital phenotyping research. I focus on a US-based team of psychiatric and engineering professionals assembling a smartphone application that they hope will analyze minute changes in the sounds of speech during phone calls to predict when a user with bipolar disorder will have a manic or depressive episode. Contrary to conventional depictions of psychiatry as essentially humanistic, the discourse surrounding digital phenotyping positions the (...) machine as a necessary addition to mental health care precisely because of its more-than-human sensory, attentional capacities. The bipolar research team likewise portrays their app as capable of pinpointing sonic signs of mental illness that humans, too distracted by semantic meaning, otherwise ignore. Nevertheless, the team members tasked with processing the team’s data must craft and perform a selectively attentive machinic subject position, which they call “listening like a computer”: a paradoxical mode of attention and inattention. By tracing the team’s discursive and on-the-ground enactments of care and attention as both humanistic and machinic, I tune a critical ear to the posthuman promises of digital phenotyping. (shrink)

SummaryThe germs of future development, contained in Aristotle's logical works, are indicated, and their influence on the later evolution of logic is explained.The history of symbolic logic since Boole's Mathematical analysis and De Morgan's Formal logic, both of which were published in 1847, is divided into four approximately subsequent phases, viz.:1. algebra of logic; this phase is characterized by Boole's work;2. logical foundation of mathematics; this phase is characterized by Frege's, Peano's and Russell's work, by the discovery of the antonomies (...) of logic and set theory, by the Couturat‐Poincaré debate and by the rise of Brouwer's intuitionism;3. intuitive metamathematics, concentrating in Hilbert's attempts towards a consistency proof for classical analysis; the discovery of Gödel's theorem necessitated a change of policy;4. axiomatic methodology, deriving from Hilbert's metamathematics and culminating so far in Tarski's semantics. — E. W. B. (shrink)

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we (...) prove a result concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part (...) of the paper we look for conservative extensions of having such properties. (shrink)

The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence (...) associated with ⊢Δ coincides with ⊨Δ. (shrink)

Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least (...) general Kripke semantics on through Beth semantics, topological semantics, Dragalin semantics, and finally to the most general algebraic semantics. While the Kripke, topological, and algebraic semantics have been extensively studied, the Beth and Dragalin semantics have received less attention. We bring Beth and Dragalin semantics to the fore, relating them to the concept of a nucleus from pointfree topology, which provides a unifying perspective on the semantic hierarchy. (shrink)

This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definability to arbitrary logics, formalised as institutions, and we develop three general definability results. One generalises the classical Beth theorem by relying on the interpolation properties of the institution. Another relies on a meta Birkhoff axiomatizability property of the institution and constitutes a source for many new actual (...) definability results, including definability in (fragments of) classical model theory. The third one gives a set of sufficient conditions for 'borrowing' definability properties from another institution via an 'adequate' encoding between institutions. The power of our general definability results is illustrated with several applications to (many-sorted) classical model theory and partial algebra, leading for example to definability results for (quasi-)varieties of models or partial algebras. Many other applications are expected for the multitude of logical systems formalised as institutions from computing science and logic. (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth (...) non unlike the notion of "truth at world" found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown to hold for (...) the larger class of semantically algebraizable logics. (shrink)

This paper examines E. W. Beth's work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an opportunity to illustrate and promulgate a new and modern general approach to the philosophy of nature and to philosophy tout court: an approach characterized negatively by its rejection of all traditional metaphysics and positively by its firm orientation towards science. Beth was successful in defending (...) this new ideology, and became its leading Dutch representative in the first two decades after the second world war. Beth also contributed importantly to the method of the philosophy of physics in a narrower sense, by proposing and promoting the semantic approach in the formal analysis of physical theories. Finally, he worked on several specific foundational questions; but he was probably too much of a logician to leave his mark in this area. (shrink)

In this paper, a semantics for predicate logics without the contraction rule will be investigated and the completeness theorem will be proved. Moreover, it will be found out that our semantics has a close connection with Beth-type semantics.

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be (...) of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics. (shrink)

In 1969, De Jongh proved the “maximality” of a fragment of intuitionistic predicate calculus forHA. Leivant strengthened the theorem in 1975, using proof-theoretical tools (normalisation of infinitary sequent calculi). By a refinement of De Jongh's original method (using Beth models instead of Kripke models and sheafs of partial combinatory algebras), a semantical proof is given of a result that is almost as good as Leivant's. Furthermore, it is shown thatHA can be extended to Higher Order Heyting Arithmetic+all trueΠ 2 (...) 0 -sentences + transfinite induction over primitive recursive well-orderings. As a corollary of the proof, maximality of intuitionistic predicate calculus is established wrt. an abstract realisability notion defined over a suitable expansion ofHA. (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of “non-existing” objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth (...) non unlike the notion of “truth at world” found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for (...) the object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

I argue that if one applies the standard intuitionistic criterion for truth to Kp in (p) (p&Kp), one avoids Fitch’s paradox, but with disastrous consequences having to do with the expressive resources of one’s semantics. On the other hand, if one conceives of Kp as a function recording what happens in the actual world, one gets a double benefit. First, the semantics become tolerably expressive. Second, and because of the same move, the paradox can be blocked. (The solution (...) I provide bares resemblances with the ones proposed by Edgington 1985, 2009 and Kvanvig 1995, 2006, and especially with this latter as it has been reformulated by Brogaard and Salerno 2007). Finally, I shown that in some models for temporal intuitionistic logic (Kapantaïs 2009), and which are extensions of Beth models, (i) the knowability principle can be assumed to be valid, (ii) the paradox is blocked in the above mentioned way, and also (iii) a sentence saying that we will come to know something we now ignore becomes true and known in some worlds. (shrink)

This book provides a new interpretation of Kants critical work that shows Kants deep connection to Spinoza, and reveals new directions for thinking about Kant in relation to contemporary European philosophy.

König, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called König's Infinity Lemma. Konig, D. [1927. ‘Über eine Schlussweise aus dem Endlichen ins Unendliche’, Acta Litterarum ac Scientiarum, Szeged, 3, 121–30] includes a graph theoretic formulation: an infinite, locally finite and connected graph includes an infinite path. Contemporary applications of the infinity lemma in logic frequently refer to a consequence of the infinity lemma: an infinite, locally finite tree with a root has (...) a infinite branch. This tree lemma can be traced to [Beth, E. W. 1955. ‘Semantic entailment and formal derivability’, Mededelingen der Kon. Ned. Akad. v. Wet., new series 18, 13, 309–42]. It is argued that Beth independently discovered the tree lemma in the early 1950s and that it was later recognized among logicians that Beth's result was a consequence of the infinity lemma. The equivalence of these lemmas is an easy consequence of a well known result in graph theory: every connected, locally finite graph has among its partial subgraphs a spanning tree. (shrink)