The Resource Logical forms: an introduction to philosophical logic
Logical forms: an introduction to philosophical logic
Resource Information
The item Logical forms: an introduction to philosophical logic represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Sydney Jones Library, University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Logical forms: an introduction to philosophical logic represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Sydney Jones Library, University of Liverpool.
This item is available to borrow from 1 library branch.
- 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
- Language
- eng
- Extent
- vii, 398 pages
- 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
- Isbn
- 9780631177784
- Label
- Logical forms: an introduction to philosophical logic
- Title
- Logical forms: an introduction to philosophical logic
- 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
- 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
- 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Logical-forms-an-introduction-to-philosophical/bKhO1ZQwhB0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Logical-forms-an-introduction-to-philosophical/bKhO1ZQwhB0/">Logical forms: an introduction to philosophical logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Logical forms: an introduction to philosophical logic
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Logical-forms-an-introduction-to-philosophical/bKhO1ZQwhB0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Logical-forms-an-introduction-to-philosophical/bKhO1ZQwhB0/">Logical forms: an introduction to philosophical logic</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>