The Resource Logic : an introduction, Greg Restall
Logic : an introduction, Greg Restall
Resource Information
The item Logic : an introduction, Greg Restall represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in DC Public Library System.This item is available to borrow from 1 library branch.
Resource Information
The item Logic : an introduction, Greg Restall represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in DC Public Library System.
This item is available to borrow from 1 library branch.
- Summary
- "Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. [Also examined are]... the ideas behind modal logic, free logic, and other non-standard logics and ... the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline." --mqup
- Language
- eng
- Extent
- xiii, 225 pages
- Contents
-
- Propositional logic
- Propositions and arguments
- Connectives and argument forms
- Truth tables
- Trees
- Vagueness and bivalence
- Conditionality
- Natural deduction
- Predicate logic
- Predicates, names, and quantifiers
- Models for predicate logic
- Trees for predicate logic
- Identity and functions
- Definite descriptions
- Some things do not exist
- What is a predicate?
- What is logic?
- Isbn
- 9780773524231
- Label
- Logic : an introduction
- Title
- Logic
- Title remainder
- an introduction
- Statement of responsibility
- Greg Restall
- Language
- eng
- Summary
- "Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. [Also examined are]... the ideas behind modal logic, free logic, and other non-standard logics and ... the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline." --mqup
- Cataloging source
- NLC
- http://library.link/vocab/creatorDate
- 1969-
- http://library.link/vocab/creatorName
- Restall, Greg
- Dewey number
- 160
- Illustrations
- illustrations
- Index
- index present
- LC call number
- BC108
- LC item number
- .R47 2006
- Literary form
- non fiction
- Nature of contents
- bibliography
- Series statement
- Fundamentals of philosophy
- http://library.link/vocab/subjectName
-
- Logic
- Logic
- Label
- Logic : an introduction, Greg Restall
- Bibliography note
- Includes bibliographical references 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
- Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?
- Control code
- ocm60834130
- Dimensions
- 23 cm.
- Extent
- xiii, 225 pages
- Isbn
- 9780773524231
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Label
- Logic : an introduction, Greg Restall
- Bibliography note
- Includes bibliographical references 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
- Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?
- Control code
- ocm60834130
- Dimensions
- 23 cm.
- Extent
- xiii, 225 pages
- Isbn
- 9780773524231
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
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.dclibrary.org/portal/Logic--an-introduction-Greg-Restall/qpDjdo8ovy0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.dclibrary.org/portal/Logic--an-introduction-Greg-Restall/qpDjdo8ovy0/">Logic : an introduction, Greg Restall</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.dclibrary.org/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="https://link.dclibrary.org/">DC Public Library System</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 Logic : an introduction, Greg Restall
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.dclibrary.org/portal/Logic--an-introduction-Greg-Restall/qpDjdo8ovy0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.dclibrary.org/portal/Logic--an-introduction-Greg-Restall/qpDjdo8ovy0/">Logic : an introduction, Greg Restall</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.dclibrary.org/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="https://link.dclibrary.org/">DC Public Library System</a></span></span></span></span></div>
