Coverart for item
The Resource Logical forms: an introduction to philosophical logic

Logical forms: an introduction to philosophical logic

Label
Logical forms: an introduction to philosophical logic
Title
Logical forms: an introduction to philosophical logic
Creator
Subject
Language
eng
Summary
When is a reason for doing or believing something a good reason? Over the past century, logicʹs contribution to answering this question has typically involved finding "logical forms": that is, using a special notation to bring out logical features more clearly. The correct identification of logical forms has been held to be important not only to logic but also to philosophy. Bertrand Russell coined the phrase "philosophical logic" to describe an approach to philosophical problems: find the correct logical form of the problematic sentences, and the problems vanish. Logical Forms explains both the theoretical underpinnings of the approach and the detailed problems involved in finding logical forms in the languages of propositional logic, classical first order logic, modal logic, and some alternatives such as free logic, binary and substitutional quantifiers. -- Book cover
Cataloging source
UkLiU
http://library.link/vocab/creatorName
Sainsbury, R. M.
Index
no index present
LC call number
BC135
LC item number
.S14 1991
Literary form
non fiction
http://library.link/vocab/subjectName
Logic, Symbolic and mathematical
Label
Logical forms: an introduction to philosophical logic
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 383-392) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Validity -- What is logic about? -- Inductive versus deductive logic -- Possibility: logical and physical -- Validity, inconsistency and negation -- Arguments and argument-claims -- Some important properties of validity -- Validity and usefulness: "sound", "relevant", "persuasive" -- Sentences and propositions -- Validity and truth conditions -- Formal validity -- The logical constants -- The project of formalization -- 2. Truth functionality -- The classical propositional language -- Truth functional sentence connectives -- Formalizing English in P -- Comparison of P-connectives and English -- The case against the material implication account of "if" -- Implicature -- "If": implicature in defence of the truth functional interpretation -- "If": direct arguments for the truth functional interpretation -- Non-truth functionality in English -- From P-validity to validity -- 3. Conditionals -- Conditionals and probabilities -- Probabilities, and propositions and assertion -- Stalnaker's theory -- 4. Quantification -- The classical quantificational language -- Interpretations and validity -- Universal quantification -- Existential quantification -- Adjectives -- Adverbs -- Names -- Identity -- Numeral adjectives -- Descriptions -- Existence -- Are names "really" descriptions? -- Structural ambiguity in English -- Q-validity and decision -- Formalizing arguments -- Attitudes -- Binary quantifiers -- Substitutional quantifiers -- Predicate quantifiers -- Freedom from existence -- Depth -- From Q-validity to validity -- 5. Necessity -- Adding to P -- Subjunctive donditionals -- Adding to Q -- Necessity de re and de dicto -- The number of the planets -- "Frege's argument" -- Trans-world identity -- Counterpart theory -- Necessity and vagueness -- Metaphysics -- 6. The project of formalization -- Logical versus grammatical form -- Analysis and the Tractarian vision -- Proof -- Formal and structural validity -- Logical constancy -- Language, form and structure
Dimensions
24 cm
Extent
vii, 398 pages
Isbn
9780631177784
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Logical forms: an introduction to philosophical logic
Publication
Bibliography note
Includes bibliographical references (pages 383-392) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Validity -- What is logic about? -- Inductive versus deductive logic -- Possibility: logical and physical -- Validity, inconsistency and negation -- Arguments and argument-claims -- Some important properties of validity -- Validity and usefulness: "sound", "relevant", "persuasive" -- Sentences and propositions -- Validity and truth conditions -- Formal validity -- The logical constants -- The project of formalization -- 2. Truth functionality -- The classical propositional language -- Truth functional sentence connectives -- Formalizing English in P -- Comparison of P-connectives and English -- The case against the material implication account of "if" -- Implicature -- "If": implicature in defence of the truth functional interpretation -- "If": direct arguments for the truth functional interpretation -- Non-truth functionality in English -- From P-validity to validity -- 3. Conditionals -- Conditionals and probabilities -- Probabilities, and propositions and assertion -- Stalnaker's theory -- 4. Quantification -- The classical quantificational language -- Interpretations and validity -- Universal quantification -- Existential quantification -- Adjectives -- Adverbs -- Names -- Identity -- Numeral adjectives -- Descriptions -- Existence -- Are names "really" descriptions? -- Structural ambiguity in English -- Q-validity and decision -- Formalizing arguments -- Attitudes -- Binary quantifiers -- Substitutional quantifiers -- Predicate quantifiers -- Freedom from existence -- Depth -- From Q-validity to validity -- 5. Necessity -- Adding to P -- Subjunctive donditionals -- Adding to Q -- Necessity de re and de dicto -- The number of the planets -- "Frege's argument" -- Trans-world identity -- Counterpart theory -- Necessity and vagueness -- Metaphysics -- 6. The project of formalization -- Logical versus grammatical form -- Analysis and the Tractarian vision -- Proof -- Formal and structural validity -- Logical constancy -- Language, form and structure
Dimensions
24 cm
Extent
vii, 398 pages
Isbn
9780631177784
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Sydney Jones LibraryBorrow it
      Chatham Street, Liverpool, L7 7BD, GB
      53.403069 -2.963723
Processing Feedback ...