what s so special about logic practices rules and
play

Whats so Special about Logic ? Practices, Rules and Definitions - PowerPoint PPT Presentation

Feb 02, 2023 •221 likes •1.1k views

Whats so Special about Logic ? Practices, Rules and Definitions Greg Restall logic day / 1 november 2019 / melbourne My Aim T o understand logic better... Greg Restall Whats so Special about Logic?, Practices, Rules and Definitions 2 of

  1. What’s so Special about Logic ? Practices, Rules and Definitions Greg Restall logic day / 1 november 2019 / melbourne

  2. My Aim T o understand logic better... Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 2 of 39

  3. My Aim To understand logic better... ... and to come to grips with anti-exceptionalism . Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 2 of 39

  4. My Plan What logic is Anti-exceptionalism Quine Practices Rules Definitions Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 3 of 39

  5. what logic is

  6. S etting the Scene proof theory ◮ Design and construction of different proof systems, proofs in those systems, and results about those proof systems. ◮ Axiomatic development of different theories. Translations between theories, reductions, embeddings ... Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 5 of 39

  7. S etting the Scene proof theory ◮ Design and construction of different proof systems, proofs in those systems, and results about those proof systems. ◮ Axiomatic development of different theories. Translations between theories, reductions, embeddings ... model theory ◮ Design and construction of different classes of models. ◮ Model constructions for different theories. Modelling different phenomena. Independence results. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 5 of 39

  8. S etting the Scene proof theory ◮ Design and construction of different proof systems, proofs in those systems, and results about those proof systems. ◮ Axiomatic development of different theories. Translations between theories, reductions, embeddings ... model theory ◮ Design and construction of different classes of models. ◮ Model constructions for different theories. Modelling different phenomena. Independence results. metatheory ◮ Soundness and completeness. Limitative Results. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 5 of 39

  9. Different Perspectives External & Internal Tere’s a difference between treating proofs and models as mathematical structures to be analysed , and adopting them. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 6 of 39

  10. Different Perspectives External & Internal Tere’s a difference between treating proofs and models as mathematical structures to be analysed , and adopting them. Tere’s a difference between comparing different logics, and using a logic, by using a given proof or taking a model to interpret a theory. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 6 of 39

  11. anti- exceptionalism

  12. What is anti-exceptionalism? Philos Stud (2017) 174:631–658 DOI 10.1007/s11098-016-0701-8 Anti-exceptionalism about logic Ole Thomassen Hjortland 1 Published online: 9 June 2016 � Springer Science+Business Media Dordrecht 2016 Abstract Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy (Proc Address Am Philos Assoc 76:61–90, 2002), Priest (Doubt truth to be a liar, OUP, Oxford, 2006a, The metaphysics of logic, CUP, Cambridge, 2014, Log et Anal, 2016), Russell (Philos Stud 171:161–175, 2014, J Philos Log 0:1–11, 2015), and Williamson (Modal logic as metaphysics, Oxford University Press, Oxford, 2013b, The relevance of the liar, OUP, Oxford, 2015). Although these authors agree on many methodological issues about logic, they disagree about Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 8 of 39 which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist

  13. What is anti-exceptionalism? ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 8 of 39

  14. Compare A rithmetic ⊲ Arithmetic isn’t special. ⊲ Arithmetic’s theories are continuous with science. ⊲ Arithmetic’s methods are continuous with scientific method. ⊲ Arithmetic isn’t a priori . ⊲ Arithmetic’s truths are not analytic truths. ⊲ Arithmetic theories are revisable. ⊲ If arithmetic theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 9 of 39

  15. Here ’s a proof that 2 + 2 = 4 , in Robinson’s Arithmetic q5 q4 0 ′′ + 0 ′ = ( 0 ′′ + 0 ) ′ 0 ′′ + 0 = 0 ′′ ′ = ′ = q5 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ′ ) ′ ( 0 ′′ + 0 ′ ) ′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′ = 0 ′′′ ′ = = t 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′′ = 0 ′′′′ = t 0 ′′ + 0 ′′ = 0 ′′′′ ( q5 ) x + y ′ = ( x + y ) ′ ( ′ = ) x = y / x ′ = y ′ ( q4 ) x + 0 = x ( = t ) x = y , y = z / x = z Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 10 of 39

  16. Here ’s a proof that 2 + 2 = 4 , in Robinson’s Arithmetic q5 q4 0 ′′ + 0 ′ = ( 0 ′′ + 0 ) ′ 0 ′′ + 0 = 0 ′′ ′ = ′ = q5 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ′ ) ′ ( 0 ′′ + 0 ′ ) ′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′ = 0 ′′′ ′ = = t 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′′ = 0 ′′′′ = t 0 ′′ + 0 ′′ = 0 ′′′′ ( q5 ) x + y ′ = ( x + y ) ′ ( ′ = ) x = y / x ′ = y ′ ( q4 ) x + 0 = x ( = t ) x = y , y = z / x = z Is this derivation a priori or a posteriori ? Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 10 of 39

  17. Here ’s a proof that 2 + 2 = 4 , in Robinson’s Arithmetic q5 q4 0 ′′ + 0 ′ = ( 0 ′′ + 0 ) ′ 0 ′′ + 0 = 0 ′′ ′ = ′ = q5 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ′ ) ′ ( 0 ′′ + 0 ′ ) ′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′ = 0 ′′′ ′ = = t 0 ′′ + 0 ′′ = ( 0 ′′ + 0 ) ′′ ( 0 ′′ + 0 ) ′′ = 0 ′′′′ = t 0 ′′ + 0 ′′ = 0 ′′′′ ( q5 ) x + y ′ = ( x + y ) ′ ( ′ = ) x = y / x ′ = y ′ ( q4 ) x + 0 = x ( = t ) x = y , y = z / x = z Is this derivation a priori or a posteriori ? If some evidence were needed to supplement the argument, where would we add it? Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 10 of 39

  18. External Questions and Internal Questions ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 11 of 39

  19. External Questions and Internal Questions ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 11 of 39

  20. External Questions and Internal Questions ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 11 of 39

  21. External Questions and Internal Questions ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 11 of 39

  22. External Questions and Internal Questions ⊲ Logic isn’t special. ⊲ Logic’s theories are continuous with science. ⊲ Logic’s methods are continuous with scientific method. ⊲ Logic isn’t a priori . ⊲ Logic’s truths are not analytic truths. ⊲ Logical theories are revisable. ⊲ If logical theories are revised, they are revised on the same grounds as scientific theories. Greg Restall What’s so Special about Logic?, Practices, Rules and Definitions 11 of 39

Recommend

Whats so Special about Logic ? Practices, Rules and Definitions Greg Restall alice ambrose

Whats so Special about Logic ? Practices, Rules and Definitions Greg Restall alice ambrose

Whats so Special about Logic ? Practices, Rules and Definitions Greg Restall alice ambrose lazerowitz thomas tymoczko memorial logic lecture 4 december 2019 / smith college My Aim T o understand logic better... Greg Restall Whats so

1.02k views • 84 slides
review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are

review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are

Logic and machine learning review CS 540 Yingyu Liang Propositional logic Logic If the rules of the world are presented formally, then a decision maker can use logical reasoning to make rational decisions. Several types of logic:

919 views • 35 slides
Logic programming Logic program A set of logical formulas Logic programming

Logic programming Logic program A set of logical formulas Logic programming

Logic programming Logic program A set of logical formulas Logic programming Writing formulas, "describing rules of the game" Execution of a program Searching for a result that fulfills the rules Principles of

133 views • 10 slides
Logic As a Query Language If-then logical rules have been used in many systems. Datalog

Logic As a Query Language If-then logical rules have been used in many systems. Datalog

Logic As a Query Language If-then logical rules have been used in many systems. Datalog Most important today: EII (Enterprise Information Integration). Nonrecursive rules are equivalent to the Logical Rules core relational algebra.

176 views • 15 slides
Overlapping Rules and Logic Variables in Functional Logic Programs Michael Hanus

Overlapping Rules and Logic Variables in Functional Logic Programs Michael Hanus

ICLP 2006 Overlapping Rules and Logic Variables in Functional Logic Programs Michael Hanus Christian-Albrechts-Universit at Kiel (joint work with Sergio Antoy, Portland State University) F UNCTIONAL L OGIC L ANGUAGES Approach to amalgamate

681 views • 42 slides
Introduction to Logic Alice Gao Lecture 1 Based on work by many people with special thanks to

Introduction to Logic Alice Gao Lecture 1 Based on work by many people with special thanks to

1/30 Introduction to Logic Alice Gao Lecture 1 Based on work by many people with special thanks to Collin Roberts, Jonathan Buss, Lila Kari and Anna Lubiw. 2/30 Outline Introduction to Logic Learning goals What is logic? Logic in computer

898 views • 30 slides
Combining Rules and Ontologies Embedding Non-Ground Logic Programs into Autoepistemic Logic Jos

Combining Rules and Ontologies Embedding Non-Ground Logic Programs into Autoepistemic Logic Jos

Combining Rules and Ontologies Embedding Non-Ground Logic Programs into Autoepistemic Logic Jos de Bruijn Digital Enterprise Research Institute (DERI) University of Innsbruck, Austria jos.debruijn@deri.org Joint work with: Thomas Eiter (TU

224 views • 19 slides
Logic in Action Introduction: IDF and Special Operations History of the IDF and special

Logic in Action Introduction: IDF and Special Operations History of the IDF and special

Logic in Action Introduction: IDF and Special Operations History of the IDF and special operations The Unit Profession: planning What can we learn from their experience? What makes it relevant to other domains such as BS,

987 views • 57 slides
1 Greedy Sequential Covering Example Greedy Sequential Covering Example Y Y + + + + + +

1 Greedy Sequential Covering Example Greedy Sequential Covering Example Y Y + + + + + +

Learning Rules If-then rules in logic are a standard representation of knowledge that have proven useful in expert-systems and other AI systems CS 391L: Machine Learning: In propositional logic a set of rules for a concept is equivalent

396 views • 14 slides
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference

733 views • 57 slides
Neonatal Rules Webinar Today is the Level II Special Care Nursery Neonatal Rules Webinar.

Neonatal Rules Webinar Today is the Level II Special Care Nursery Neonatal Rules Webinar.

Neonatal Rules Webinar Today is the Level II Special Care Nursery Neonatal Rules Webinar. Power Point Presentation which will be mailed out to participants, RACs and other stakeholders. Questions will be answered at the

814 views • 57 slides
Clinical Trials and Medicare Secondary Payer Rules: Best Practices for Compliance Navigating

Clinical Trials and Medicare Secondary Payer Rules: Best Practices for Compliance Navigating

Presenting a live 90-minute webinar with interactive Q&A Clinical Trials and Medicare Secondary Payer Rules: Best Practices for Compliance Navigating Complex MSP Rules and Reporting Requirements for Research Sponsors and Clinical Sites, and

664 views • 45 slides
OWL, DL and Rules Based on slides from Grigoris Antoniou, Frank van Harmele and Vassilis

OWL, DL and Rules Based on slides from Grigoris Antoniou, Frank van Harmele and Vassilis

OWL, DL and Rules Based on slides from Grigoris Antoniou, Frank van Harmele and Vassilis Papataxiarhis Semantic Web and Logic l The Semantic Web is grounded in logic l But what logic? OWL Full = Classical first order logic (FOL)

471 views • 44 slides
Admissible rules and ukasiewicz logic Emil Je r abek jerabek@math.cas.cz

Admissible rules and ukasiewicz logic Emil Je r abek jerabek@math.cas.cz

Admissible rules and ukasiewicz logic Emil Je r abek jerabek@math.cas.cz http://math.cas.cz/jerabek/ Institute of Mathematics of the Academy of Sciences, Prague Workshop on Admissible Rules and Unification, Utrecht, May 2011

513 views • 47 slides
1 Discussion And what about processing data? In theory: describing knowledge by logic rules n

1 Discussion And what about processing data? In theory: describing knowledge by logic rules n

3.2 Rule Sets / Production Systems 3.2.1 PROLOG n Focus on operational knowledge: General idea: if condition then action n program descriptively by just stating axioms in a n Uses a logic: logic and asking queries usually propositional

533 views • 4 slides
Propositional Logic Propositional logic is a subset of the predicate logic. ! Syntax ! Semantics !

Propositional Logic Propositional logic is a subset of the predicate logic. ! Syntax ! Semantics !

Propositional Logic Propositional logic is a subset of the predicate logic. ! Syntax ! Semantics ! Models ! Inference Rules ! Complexity 9 Syntax of Propositional Logic ! symbols ! logical constants True, False ! propositional symbols P, Q, !

389 views • 14 slides
Special General Meeting Incorporation 19 th July 2018 7.30pm 1) Summary 2) That we amend rules

Special General Meeting Incorporation 19 th July 2018 7.30pm 1) Summary 2) That we amend rules

Special General Meeting Incorporation 19 th July 2018 7.30pm 1) Summary 2) That we amend rules 2) So that we can become a Company limited by Guarantee (With Articles and appended rules) 3) That we transfer all assets to this CLG 4) That the

604 views • 35 slides
Proposi'onal Logic Proofs An argument is a sequence of

Proposi'onal Logic Proofs An argument is a sequence of

1/23/15 Inference Rules (Rosen, Section 1.5) TOPICS Logic Proofs via Truth Tables via Inference Rules Proposi'onal Logic Proofs An argument is a sequence of proposi'ons:

299 views • 13 slides
Admissible rules of propositional dependence logic Fan Yang Utrecht University Les Diablerets

Admissible rules of propositional dependence logic Fan Yang Utrecht University Les Diablerets

Admissible rules of propositional dependence logic Fan Yang Utrecht University Les Diablerets Jan 30 - Feb 2, 2015 Joint work with Rosalie Iemhoff 1/19 Outline propositional dependence logic

1.33k views • 120 slides
LOGICAL RULES ARE FRACTIONS Dominique Duval LJK University of Grenoble-Alpes UNIVERSAL

LOGICAL RULES ARE FRACTIONS Dominique Duval LJK University of Grenoble-Alpes UNIVERSAL

LOGICAL RULES ARE FRACTIONS Dominique Duval LJK University of Grenoble-Alpes UNIVERSAL LOGIC 2018 Workshop Categories and Logic Vichy, 21 June 2018 FACT: Logical rules are written as fractions H C IN FACT: Logical rules ARE

527 views • 38 slides
The project Automation of reverse parking using rules and logic, regardless of the size of the

The project Automation of reverse parking using rules and logic, regardless of the size of the

The project Automation of reverse parking using rules and logic, regardless of the size of the trailer and its tractor. #ITEC2019 The Problems 1) The mathematics for the dynamic of a multiple axles trailer being pushed-back 2) The skill of

743 views • 21 slides
Lecture 8/9 : Separation Logic Overview Assertion Logic Semantic Model

Lecture 8/9 : Separation Logic Overview Assertion Logic Semantic Model

CS6202: Advanced Topics in Programming Languages and Systems Lecture 8/9 : Separation Logic Overview Assertion Logic Semantic Model Hoare-style Inference Rules Specification and Annotations Linked List and Segments

1.02k views • 76 slides
Rules Pertaining to the Idaho Forest Practices Act IDAPA 20.02.01 Docket No. 2000001900

Rules Pertaining to the Idaho Forest Practices Act IDAPA 20.02.01 Docket No. 2000001900

Rules Pertaining to the Idaho Forest Practices Act IDAPA 20.02.01 Docket No. 2000001900 August 15, 2019 Agenda Introduction Water Quality In Idaho History of Idaho Fishbearing Stream (Class I) Shade and Tree Retention

379 views • 17 slides
Logic, language and the brain: how autists reason with rules and exceptions Michiel van

Logic, language and the brain: how autists reason with rules and exceptions Michiel van

Logic, language and the brain: how autists reason with rules and exceptions Michiel van Lambalgen* Cognitive Science Center Amsterdam University of Amsterdam * in collaboration with Keith Stenning, Edinburgh; Judith Pijnacker, F.C. Donders

1.85k views • 181 slides

More recommend