Author: Colin R. Caret
Publisher: OUP Oxford
Release Date: 2015-05-14
Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion, and what constraints does validity impose on rational belief? This volume presents thirteen essays by some of the most important scholars in the field of philosophical logic. The essays offer ground-breaking new insights into the nature of logical consequence; the relation between logic and inference; how the semantics and pragmatics of natural language bear on logic; the relativity of logic; and the structural properties of the consequence relation.
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
Author: Rebecca Copenhaver
Publisher: Oxford University Press, USA
Release Date: 2015
The essays in this volume tell part of the story about Reid's significance in his time and ours. They represent three broad themes in his philosophy: mind, knowledge, and value. The essays present Reid's philosophy of developing agents in a rich world of objects and values - agents with intellectual and active powers whose regularity is productive. Though such agents are equipped at first with rudimentary abilities, those abilities are responsive. Our powers consist in a fundamental and ongoing engagement with a world that calls on us to be flexible, sensitive, astute, and, ultimately, practical.
Author: Graham Macdonald
Publisher: Oxford University Press
Release Date: 2010-04-29
There have long been controversies about how minds can fit into a physical universe. In Emergence in Mind a distinguished group of philosophers discuss whether mental properties can be said to 'emerge' from physical processes. The discussion is extended to cover the role emergence may play in free will and agency, and in the special sciences.