skip to content
Forall x : an introduction to formal logic Preview this item
ClosePreview this item
Checking...

Forall x : an introduction to formal logic

Author: P D Magnus
Publisher: Geneseo, New York : Published by Open SUNY Textbooks, Milne Library, State University of New York at Geneseo, [Albany, New York] : P.D. Magnus British Columbia : BCcampus OpenEd Minneapolis : Open Textbook Library, 2017 [2017] ©2017
Series: Open Textbook Library.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
"Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Textbooks
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: P D Magnus
OCLC Number: 1006308592
Description: 1 online resource (157 pages) : PDF files.
Contents: What is logic? --
Sentential logic --
Truth tables --
Quantified logic --
Formal semantics --
Proofs
Series Title: Open Textbook Library.
Other Titles: For all x :
Introduction to formal logic
Responsibility: P.D. Magnus.

Abstract:

"Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. Throughout the book, I have tried to highlight the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6." -- Open Textbook Library.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1006308592> # Forall x : an introduction to formal logic
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "1006308592" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2092782517#Topic/logic> ; # Logic
    schema:about <http://dewey.info/class/160/e23/> ;
    schema:about <http://id.loc.gov/authorities/classification/BC108> ;
    schema:alternateName "Introduction to formal logic" ;
    schema:alternateName "For all x :" ;
    schema:author <http://experiment.worldcat.org/entity/work/data/2092782517#Person/magnus_p_d> ; # P. D. Magnus
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2017" ;
    schema:datePublished "2017" ;
    schema:description "What is logic? -- Sentential logic -- Truth tables -- Quantified logic -- Formal semantics -- Proofs"@en ;
    schema:description ""Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. Throughout the book, I have tried to highlight the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6." -- Open Textbook Library."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2092782517> ;
    schema:genre "Textbooks"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2092782517#Series/open_textbook_library> ; # Open Textbook Library.
    schema:name "Forall x : an introduction to formal logic"@en ;
    schema:productID "1006308592" ;
    schema:url <http://open.umn.edu/opentextbooks/BookDetail.aspx?bookId=54> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1006308592> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2092782517#Person/magnus_p_d> # P. D. Magnus
    a schema:Person ;
    schema:familyName "Magnus" ;
    schema:givenName "P. D." ;
    schema:name "P. D. Magnus" ;
    .

<http://experiment.worldcat.org/entity/work/data/2092782517#Series/open_textbook_library> # Open Textbook Library.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1006308592> ; # Forall x : an introduction to formal logic
    schema:name "Open Textbook Library." ;
    schema:name "Open textbook library" ;
    .

<http://open.umn.edu/opentextbooks/BookDetail.aspx?bookId=54>
    rdfs:comment "E-book - Full text from the Open Textbook Library" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.