Handbook of the History of Logic: Logic and the modalities in the twentieth century

Handbook of the History of Logic: Logic and the modalities in the twentieth century PDF Author: Dov M. Gabbay
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :

Get Book Here

Book Description

Logic and the Modalities in the Twentieth Century

Logic and the Modalities in the Twentieth Century PDF Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 0080463037
Category : Mathematics
Languages : en
Pages : 733

Get Book Here

Book Description
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.· Detailed and comprehensive chapters covering the entire range of modal logic.· Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.

Logical Modalities from Aristotle to Carnap

Logical Modalities from Aristotle to Carnap PDF Author: Adriane Rini
Publisher: Cambridge University Press
ISBN: 1107077885
Category : Mathematics
Languages : en
Pages : 365

Get Book Here

Book Description
Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.

The Dawn of Analysis

The Dawn of Analysis PDF Author: Scott Soames
Publisher: Princeton University Press
ISBN: 9780691122441
Category : Philosophy
Languages : en
Pages : 436

Get Book Here

Book Description
This is a major, wide-ranging history of analytic philosophy since 1900, told by one of the tradition's leading contemporary figures. The first volume takes the story from 1900 to mid-century. The second brings the history up to date. As Scott Soames tells it, the story of analytic philosophy is one of great but uneven progress, with leading thinkers making important advances toward solving the tradition's core problems. Though no broad philosophical position ever achieved lasting dominance, Soames argues that two methodological developments have, over time, remade the philosophical landscape. These are (1) analytic philosophers' hard-won success in understanding, and distinguishing the notions of logical truth, a priori truth, and necessary truth, and (2) gradual acceptance of the idea that philosophical speculation must be grounded in sound prephilosophical thought. Though Soames views this history in a positive light, he also illustrates the difficulties, false starts, and disappointments endured along the way. As he engages with the work of his predecessors and contemporaries--from Bertrand Russell and Ludwig Wittgenstein to Donald Davidson and Saul Kripke--he seeks to highlight their accomplishments while also pinpointing their shortcomings, especially where their perspectives were limited by an incomplete grasp of matters that have now become clear. Soames himself has been at the center of some of the tradition's most important debates, and throughout writes with exceptional ease about its often complex ideas. His gift for clear exposition makes the history as accessible to advanced undergraduates as it will be important to scholars. Despite its centrality to philosophy in the English-speaking world, the analytic tradition in philosophy has had very few synthetic histories. This will be the benchmark against which all future accounts will be measured.

Logic and Metalogic

Logic and Metalogic PDF Author:
Publisher: PediaPress
ISBN:
Category :
Languages : en
Pages : 203

Get Book Here

Book Description


On Logic and the Theory of Science

On Logic and the Theory of Science PDF Author: Jean Cavailles
Publisher: MIT Press
ISBN: 1913029417
Category : Philosophy
Languages : en
Pages : 143

Get Book Here

Book Description
A new translation of the final work of French philosopher Jean Cavaillès. In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin—logical or ontological—of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new.

Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory PDF Author: Torben Braüner
Publisher: Springer Science & Business Media
ISBN: 9400700024
Category : Philosophy
Languages : en
Pages : 240

Get Book Here

Book Description
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

The Development of Modern Logic

The Development of Modern Logic PDF Author: Leila Haaparanta
Publisher: OUP USA
ISBN: 0195137310
Category : Philosophy
Languages : en
Pages : 1005

Get Book Here

Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.

Handbook of Philosophical Logic

Handbook of Philosophical Logic PDF Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9400766009
Category : Philosophy
Languages : en
Pages : 282

Get Book Here

Book Description
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas became established and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times. ​

Philosophical Analysis in the Twentieth Century, Volume 1

Philosophical Analysis in the Twentieth Century, Volume 1 PDF Author: Scott Soames
Publisher: Princeton University Press
ISBN: 1400825792
Category : Philosophy
Languages : en
Pages : 433

Get Book Here

Book Description
This is a major, wide-ranging history of analytic philosophy since 1900, told by one of the tradition's leading contemporary figures. The first volume takes the story from 1900 to mid-century. The second brings the history up to date. As Scott Soames tells it, the story of analytic philosophy is one of great but uneven progress, with leading thinkers making important advances toward solving the tradition's core problems. Though no broad philosophical position ever achieved lasting dominance, Soames argues that two methodological developments have, over time, remade the philosophical landscape. These are (1) analytic philosophers' hard-won success in understanding, and distinguishing the notions of logical truth, a priori truth, and necessary truth, and (2) gradual acceptance of the idea that philosophical speculation must be grounded in sound prephilosophical thought. Though Soames views this history in a positive light, he also illustrates the difficulties, false starts, and disappointments endured along the way. As he engages with the work of his predecessors and contemporaries--from Bertrand Russell and Ludwig Wittgenstein to Donald Davidson and Saul Kripke--he seeks to highlight their accomplishments while also pinpointing their shortcomings, especially where their perspectives were limited by an incomplete grasp of matters that have now become clear. Soames himself has been at the center of some of the tradition's most important debates, and throughout writes with exceptional ease about its often complex ideas. His gift for clear exposition makes the history as accessible to advanced undergraduates as it will be important to scholars. Despite its centrality to philosophy in the English-speaking world, the analytic tradition in philosophy has had very few synthetic histories. This will be the benchmark against which all future accounts will be measured.

Logic: A History of its Central Concepts

Logic: A History of its Central Concepts PDF Author: Dov M. Gabbay
Publisher: Newnes
ISBN: 0080931707
Category : Mathematics
Languages : en
Pages : 706

Get Book Here

Book Description
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning