One true logic a monist manifesto /
Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there...
| Main Author: | Griffiths, Owen (Lecturer in philosophy), |
|---|---|
| Other Authors: | Paseau, Alexander,, Oxford Scholarship Online. |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
[2022]
|
| Physical Description: |
1 online resource (272 pages) : illustrations (colour). Also available in Print and PDF edition. |
| Series: |
Oxford Academic.
|
| Subjects: |
| LEADER | 07509nam a2200577 i 4500 | ||
|---|---|---|---|
| 001 | OS9780191868214 | ||
| 003 | UK-OxUP | ||
| 005 | 20220721163007.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr ||||||||||| | ||
| 008 | 220721s2022||||enk|||||o|||||||| ||eng|d | ||
| 020 | |a 9780191868214 |q (electronic book) | ||
| 020 | |z 9780198829713 |q (print) | ||
| 040 | |a UK-OxUP |b eng |e rda |e pn |c UK-OxUP | ||
| 050 | 0 | 0 | |a B827 |
| 082 | 0 | 0 | |a 160 |2 23 |
| 100 | 1 | |a Griffiths, Owen |c (Lecturer in philosophy), |e author. | |
| 245 | 1 | 0 | |a One true logic : |b a monist manifesto / |c Owen Griffiths, A.C. Paseau. |
| 264 | 1 | |a Oxford : |b Oxford University Press, |c [2022] | |
| 300 | |a 1 online resource (272 pages) : |b illustrations (colour). | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Oxford scholarship online. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Introduction -- Prologue -- Part I. Monism vs. Pluralism-- 1. Conceptions of Logical Consequence -- 1.1 Tarski on logical consequence -- 1.2 Accounts of logical consequence -- 1.3 Philonian consequence -- 1.4 The necessity of logic -- 1.5 The formality of logic -- 1.6 'The intuitive concept of consequence' -- 2. What Is Monism? -- 2.1 Defining monism-a first pass -- 2.1.1 A scheme -- 2.1.2 Admissible formalizations -- 2.1.3 Admissible logics -- 2.1.4 A true logic -- 2.1.5 The one true logic -- 2.2 Epistemics -- Appendix: the least true logic -- 3. Against Pluralism -- 3.1 Extensionally divergent formalizations -- 3.2 Horses for courses: languages and domains -- 3.2.1 Horses for courses: interlinguistic -- 3.2.2 Horses for courses: intralinguistic -- 3.3 Pluralism proper -- 3.3.1 Beall and Restall's modest pluralism -- 3.3.2 Shapiro's eclectic pluralism -- 3.4 Beall and Restall's modest pluralism -- 3.4.1 The 'settled core' of consequence -- 3.5 Shapiro's eclectic pluralism -- 3.5.1 SIA as a test case for pluralism -- 3.6 Metalogical reasoning -- 3.7 Logical nihilism -- 3.8 A problem for logical pluralism -- 3.8.1 All true logics -- 3.8.2 The single correct metalogic -- 3.8.3 Some arbitrary true logic -- 3.8.4 Each true logic -- 3.8.5 Summary -- 3.9 Two further issues -- 3.9.1 Non-deductive reasoning -- 3.9.2 A problem for monism? -- 3.10 Conclusion -- Appendix: metalogical meaning variance -- PART II. The logos hypothesis -- 4. The L{u221E}G{u221E}S Hypothesis -- 4.1 Introduction -- 4.2 Type and sort -- 4.3 The L{u221E}G{u221E}S Hypothesis -- 4.4 Back to origins -- 4.5 Top-down and bottom-up arguments -- 4.6 Pure FTT{u221E}{u221E} defined -- 4.7 Semantics for pure FTT{u221E}{u221E} -- 4.8 What are the formulas of pure FTT{u221E}{u221E}? -- 5. Beyond the Finitary -- 5.1 Generalized quantifiers -- 5.2 The concurrence argument for FOL -- 5.3 Beyond FOL: 'there are infinitely many' -- 5.3.1 The finitude objection -- 5.3.2 The mathematical validity objection -- 5.3.3 The finite-description objection -- 5.3.4 The indeterminacy objection -- 5.3.5 Diagnosis -- 5.4 Generalization: 'there are {̧u009D}œ... many' -- 5.5 Beyond SOL: infinitary conjunction -- 5.5.1 Superhumans -- 5.5.2 Generalization -- 5.6 Beyond SOL: cardinality quantifiers -- 5.7 Conclusion -- Appendix: technical results -- 6. Isomorphism Invariance -- 6.1 Introduction -- 6.2 Form as schematic -- 6.2.1 MacFarlane on formality -- 6.2.2 Form as normative -- 6.2.3 Form as topic-neutral -- 6.2.4 Form as abstraction -- 6.4 A necessary condition on OTL -- 6.5 Miscellaneous comments -- 6.6 McGee's Theorem -- 6.6.1 Isomorphism invariance -- 6.6.2 Relations -- 6.6.3 Caveats -- 6.6.4 Isomorphism-invariant relations -- 7. Towards the One True Logic -- 7.1 The logic's type -- 7.2 Theory of models -- 7.3 Mathematical consequences? -- Appendix: the generalized quantifier 'most' -- PART III. OBJECTIONS -- 8. The Heterogeneity Objection -- 8.1 Introduction -- 8.2 Uniform-isomorphism invariance -- 8.3 Feferman's invariantism -- 8.4 Bonnay's invariantism -- 8.5 Conclusion -- 9. The Overgeneration Objection -- 9.1 Introduction -- 9.2 Sensitivity -- 9.3 CH is logically true -- 9.4 CH is determinate -- 9.5 CH is epistemically determined -- 9.6 CH and neutrality -- 9.6.1 Dialectical neutrality -- 9.6.2 Informational neutrality -- 9.7 CH is logically expressible -- 9.8 Identity -- 9.9 Conclusion -- Appendix: logical notions -- 10. The Absoluteness Objection -- 10.1 The absoluteness objection -- 10.2 Meaning-theoretic motivations -- 10.3 Anti-realist motivations -- 10.4 Independence motivations -- 10.5 Conclusion -- 11. The Intensional Objection -- 11.1 Unicorn negation -- 11.2 Modal responses -- 11.3 Biting the bullet -- 11.4 An open question -- 11.5 Conclusion -- Conclusion -- Bibliography -- Index. | |
| 520 | 3 | |a Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there are determinate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which there is more than one correct logic. The second challenge is to determine which form of logical monism is the correct one. One True Logic is the first monograph to explicitly articulate a version of logical monism and defend it against the first challenge. It provides a critical overview of the monism vs pluralism debate and argues for the former. It also responds to the second challenge by defending a particular monism, based on a highly infinitary logic. It breaks new ground on a number of fronts and unifies disparate discussions in the philosophical and logical literature. In particular, it generalizes the Tarski-Sher criterion of logicality, provides a novel defence of this generalization, offers a clear new argument for the logicality of infinitary logic and replies to recent pluralist arguments. | |
| 530 | |a Also available in Print and PDF edition. | ||
| 588 | |a Description based on Publisher website; title from home page (viewed on July 21, 2022). | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Monism. | |
| 650 | 0 | |a Pluralism. | |
| 655 | 0 | |a Electronic books. | |
| 700 | 1 | |a Paseau, Alexander, |e author. | |
| 710 | 2 | |a Oxford Scholarship Online. | |
| 776 | 0 | 8 | |i Print version: |t One true logic : a monist manifesto. |b First edition. |d Oxford : Oxford University Press, 2022 |z 9780198829713 |w (DLC) 2022931794 |w (OCoLC)1293768551. |
| 830 | 0 | |a Oxford Academic. | |
| 907 | |a .b65698666 |b multi |c - |d 221013 |e 240606 | ||
| 998 | |a (2)cue |a cu |b 221219 |c m |d z |e - |f eng |g enk |h 0 |i 2 | ||
| 948 | |a MARCIVE Comprehensive, in 2024.06 | ||
| 948 | |a MARCIVE Overnight, in 2023.01 | ||
| 948 | |a MARCIVE Over, in 2022.11 | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.01 | ||
| 995 | |a Loaded with m2btab.elec in 2023.03 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.11 | ||
| 995 | |a Loaded with m2btab.elec in 2022.10 | ||
| 995 | |a Loaded with m2btab.auth in 2022.11 | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g j |h 0 |i 0 |j 188 |k 221013 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w Oxford Scholarship |1 .i144245152 |u https://ezproxy.coloradomesa.edu/login?url=https://doi.org/10.1093/oso/9780198829713.001.0001 |z Click here for access |3 Oxford Scholarship online | ||