A Path to a New Logic

Author(s):  
David Corfield

This chapter explains how modal homotopy type theory combines ideas from two currents of thought: type theory and category theory. Despite what might appear to be rather different philosophical starting points, there has emerged an intrinsically structuralist language of great interest to computer scientists, mathematicians and physicists. This in itself should be enough to interest philosophers in the language, but further motivation is provided by addressing some of the kinds of objection raised to formalization in philosophy; in particular, those from ordinary language philosophy which emphasize the elasticity and context-dependence of natural language. We see that several of their concerns, such as that the definitional and descriptive uses of ‘is’ are conflated in logic, are addressed by the type theory. The prospect is then presented of an opportunity to use the new language to explore key issues in philosophy of mathematics, philosophy of language and metaphysics.

2021 ◽  
Vol 7 (1) ◽  
pp. 143-167
Author(s):  
Evgeny Borisov ◽  

The paper provides an overview of the most fundamental ideas representing analytic philosophy throughout its history from the beginning of 20th century up to now. The history of analytic philosophy is divided into two stages – the early and the contemporary ones. The main distinguishing features of early analytic philosophy are using mathematical logic as a tool of stating and solving philosophical problems, and critical attitude toward ‘metaphysics’, i.e., traditional and contemporary non-analytic philosophical theories. The genesis of analytic philosophy was closely related to the revolution in logic that led to the rise of mathematical logic, and it is no coincidence that some founders of analytic tradition (first of all Frege, Russell, and Carnap) were also prominent logicians. (But there were also authors and schools within early analytic philosophy whose researches were based on less formal tools such as classical logic and linguistic methods of analysis of language. Ordinary language philosophy is an example of this type of philosophy.) Using the new logic as a philosophical tool led to a huge number of new ideas and generated a new type of philosophical criticism that was implemented in a number of projects of ‘overcoming metaphysics’. These features constituted the methodological and thematic profile of early analytic philosophy. As opposed to the later, contemporary analytic philosophy cannot be characterized by a prevailing method or a set of main research topic. Its characteristic features are rather of historical, institutional, and stylistic nature. In the paper, early analytic philosophy is represented by Frege, Russell, early Wittgenstein, Vienna Circle (Schlick, Carnap etc.), and ordinary language philosophy (later Wittgenstein, Ryle, Austin, and Searle). Contemporary analytic philosophy is represented by Quine, and direct reference theory in philosophy of language (Kripke, Donnellan, Kaplan, and Putnam).


Author(s):  
Geoffrey Warnock

The label ‘ordinary language philosophy’ was more often used by the enemies than by the alleged practitioners of what it was intended to designate. It was supposed to identify a certain kind of philosophy that flourished, mainly in Britain and therein mainly in Oxford, for twenty years or so, roughly after 1945. Its enemies found it convenient to group the objects of their hostility under a single name, while the practitioners thus aimed at were more conscious of divergences among themselves, and of the actual paucity of shared philosophical doctrine; they might have admitted to being a ‘group’ perhaps, but scarcely a ‘school’. The sharp hostility which this group aroused was of two quite different sorts. On the one hand, among certain (usually older) philosophers and more commonly among the serious-minded public, it was labelled as philistine, subversive, parochial and even deliberately trivial; on the other hand, some philosophers (for instance, Russell, Popper and Ayer), while ready enough to concede the importance in philosophy of language, saw a concern with ordinary language in particular as a silly aberration, or even as a perversion and betrayal of modern work in the subject. How, then, did ‘ordinary language’ come in? It was partly a matter of style. Those taken to belong to the school were consciously hostile to the lofty, loose rhetoric of old-fashioned idealism; also to the ‘deep’ paradoxes and mystery-mongering of their continental contemporaries; but also to any kind of academic jargon and neologism, to technical terms and aspirations to ‘scientific’ professionalism. They preferred to use, not necessarily without wit or elegance, ordinary language. (Here G.E. Moore was an important predecessor.) Besides style, however, there were also relevant doctrines, though less generally shared. Wittgenstein, perhaps the most revered philosopher of the period, went so far as to suggest that philosophical problems in general actually consisted in, or arose from, distortions and misunderstandings of ordinary language, a ‘clear view’ of which would accomplish their dissolution; many agreed that there was some truth in this, though probably not the whole truth. Then it was widely held that ordinary language was inevitably fundamental to all our intellectual endeavours– it must be what one starts from, supplying the familiar background and terms in which technical sophistications have to be introduced and understood; it was therefore not to be neglected or carelessly handled. Again it was urged, notably by J.L. Austin, that our inherited everyday language is, at least in many areas, a long-evolved, complex and subtle instrument, careful scrutiny of which could be expected to be at least a helpful beginning in the pursuit of philosophical clarity. It was probably this modest claim– overstated and even caricatured by its detractors– which was most frequently supposed to be the credo of ordinary language philosophers. It was important that Russell – like, indeed, Wittgenstein when composing his Tractatus Logico-Philosophicus (1922) – firmly believed, on the contrary, that ordinary language was the mere primitive, confused and confusing surface beneath which theorists were to seek the proper forms of both language and logic.


Author(s):  
Francois Recanati

Analytic philosophers have made lasting contributions to the scientific study of language. Semantics (the study of meaning) and pragmatics (the study of language in use) are two important areas of linguistic research which owe their shape to the groundwork done by philosophers. Although the two disciplines are now conceived of as complementary, the philosophical movements out of which they grew were very much in competition. In the middle of the twentieth century, there were two opposing ‘camps’ within the analytic philosophy of language. The first – ‘ideal language philosophy’, as it was then called – was that of the pioneers, Frege, Russell and the logical positivists. They were, first and foremost, logicians studying formal languages and, through these formal languages, ‘language’ in general. Work in this tradition (especially that of Frege, Russell, Carnap, Tarski and later Montague) gave rise to contemporary formal semantics, a very active discipline developed jointly by logicians, philosophers and grammarians. The other camp was that of so-called ‘ordinary language philosophers’, who thought important features of natural language were not revealed, but hidden, by the logical approach initiated by Frege and Russell. They advocated a more descriptive approach, and emphasized the ‘pragmatic’ nature of natural language as opposed to, for example, the ‘language’ of Principia Mathematica. Their own work (especially that of Austin, Strawson, Grice and the later Wittgenstein) gave rise to contemporary pragmatics, a discipline which (like formal semantics) has developed successfully within linguistics in the past thirty years. From the general conception put forward by ordinary language philosophers, four areas or topics of research emerged, which jointly constitute the core of pragmatics: speech acts; indexicality and context-sensitivity; non-truth-conditional aspects of meaning; and contextual implications. In the first half of this entry, we look at these topics from the point of view of ordinary language philosophy; the second half presents the contemporary picture. From the first point of view, pragmatics is seen as an alternative to the truth-conditional approach to meaning associated with ideal language philosophy (and successfully pursued within formal semantics). From the second point of view, pragmatics merely supplements that approach.


Author(s):  
David Pérez Chico

Often vilified, if not outright rejected, ordinary language philosophy has been sustained, from its very beginnings, due to the farne of authors such as Austin and the later Wittgenstein; but not, however, on its own merits. These, w hen recognized, are branded as either constituting a bad philosophy of language, or simply a bad philosophy altogether. Thus, same charitable interpretations have tried to domesticate its methods to make it compatible with a mare orthodox philosophy of language. Very gradually, however, this situation is changing, largely thanks to the influence that Stanley Cavell's philosophy is having on several generations of philosophers. The main thing is to convince ourselves that ordinary language philosophy is not strictly speaking a philosophy of language. It is a philosophy that proceeds from the ordinary and pays attention to the importance that the ordinary has for philosophy. We will, in the course of this article, analyze the criticisms and attempts to domesticate ordinary language philosophy and will anticipate Cavell's defense of the ordinary language philosophy as practiced by Austin and Ryle in Cavell's inheritance of the farmer.


This book examines the nature of philosophical methodology, defined as the study of philosophical method: how to do philosophy well. It considers a number of hypotheses that explain the nature of philosophical methodology, including eliminativism, epistemologism, theory selectionism, necessary preconditionalism, and hierarchicalism. It also tackles a range of topics such as ‘ordinary language philosophy’, the role of logic in philosophical methodology, phenomenology, philosophical heuristics, and methods in the philosophy of literature and film. Other chapters discuss the method of reflective equilibrium, the notions of conceivability and possibility, naturalistic approaches to philosophical methodology, the methodology of legal philosophy, aesthetics and the philosophy of art as branches of analytic philosophy, issues and methods in the philosophy of mathematics, how and whether faith conflicts with reason, and critical philosophy of race.


2014 ◽  
Vol 4 (3-4) ◽  
pp. 263-287
Author(s):  
Avner Baz

I start with two basic lines of response to Cartesian skepticism about the ‘external world’: in the first, which is characteristic of Analytic philosophers to this day, the focus is on the meaning of ‘know’—what it ‘refers’ to, its ‘semantics’ and its ‘pragmatics’; in the second, which characterizes Continental responses to Descartes, the focus is on the philosophizing or meditating subject, and its relation to its body and world. I argue that the first approach is hopeless: if the Cartesian worry that I could be dreaming right now so much as makes sense, the proposal that—under some theory of knowledge (or of ‘knowledge’)—my belief that I am sitting in front of the computer right now may still be (or truly count as) a piece of knowledge, would rightfully seem to the skeptic to be playing with words and missing the point. I then argue that the practice of Ordinary Language Philosophy, which has mostly been linked to the first line of response to Cartesian skepticism, may be seen as actually belonging with the second line of response; and I show how a form of what may be called “Existentialist Ordinary Language Philosophy” can be used to reveal the nonsensicality of the Cartesian skeptical worry. My argument takes its cue from Thompson Clarke’s insight—an insight that Clarke himself has not pursued far or accurately enough—that our concept of Dream is not a concept of the “standard type.”


Author(s):  
Luana Sion Li

This article discusses the influence of emerging linguistic philosophy theories in the 20th century on the development of analytical jurisprudence through an examination of the way those theories influenced the legal philosopher H. L. A. Hart. Although Hart is significantly influenced by linguistic philosophy, his legal theory could not have been developed solely with it. This is evidenced by Hart’s disownment of the essay Ascription of Responsibility and Rights, his attempt to employ ideas from ordinary language philosophy in the context of law. Hart’s theoretical development shows that he was above all not a linguistic, but a legal philosopher; and that analytical jurisprudence, albeit influenced by linguistic philosophy, depends on aspects beyond it.


Author(s):  
Avner Baz

The article presents, clarifies, defends, and shows the contemporary relevance of ordinary language philosophy (OLP), as a general approach to the understanding and dissolution of at least very many traditional and contemporary philosophical difficulties. The first section broadly characterizes OLP, points out its anticipation in Immanuel Kant’s dissolution of metaphysical impasses in the ‘Transcendental Dialectic’ of the Critique of Pure Reason, and then shows its contemporary relevance by bringing its perspective to bear on the recent debates concerning the philosophical ‘method of cases’. The second section responds to a series of common objections to, and misunderstandings of, OLP.


Sign in / Sign up

Export Citation Format

Share Document