skip to content
Formal logic : a philosophical approach Preview this item
ClosePreview this item
Checking...

Formal logic : a philosophical approach

Author: Paul Hoyningen-Huene
Publisher: Pittsburgh : University of Pittsburgh Press, ©2004.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised. What has been missing until now is an attempt to unite the motives underlying both approaches.  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Textbooks
Additional Physical Format: Print version:
Hoyningen-Huene, Paul, 1946-
Formal logic
(DLC) 2003027966
(OCoLC)53992825
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paul Hoyningen-Huene
ISBN: 9780822958475 0822958473 9780822972594 082297259X
OCLC Number: 772510690
Language Note: Translated from the German.
Description: 1 online resource (272 pages) : illustrations
Contents: 1. Introduction. An example --
Preliminary remarks on the notion of logical form --
Validity and soundness --
Statements, primitive statements, and compound statements --
2. Statement logic. The symbol of statement logic --
The metalogic of statement logic --
Review and overview --
3. Predicate logic. The symbol system of predicate logic --
The metalogic of predicate logic --
Review and overview --
4. The mathematical approach to statement logic. On mathematical approaches in general --
The syntax of statement logic --
Semantics : model theory --
Proof theory --
Review --Prospects for predicate logic --
Appendix 1. An additional proof --
Appendix 2. Solutions to the exercises / by Christopher von Bülow and Alex Levine --
Appendix 3. Suggestions for further reading.
Responsibility: Paul Hoyningen-Huene ; translated by Alex Levine.
More information:

Abstract:

An attempt to integrate two approaches to the study of logic: the mathematical, focusing on the development of a formal apparatus; and the philosophical, musing on issues for which technical  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"A jewel of a philosophical introduction to formal logic. It is logically sound, philosophically sophisticated, and pedagogically thoughtful." - Wilfried Sieg, Camegle Mellon University; "In this Read more...

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

Tags

Be the first.
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/772510690> # Formal logic : a philosophical approach
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/772510690#CreativeWork/unidentifiedOriginalWork> ;
    library:oclcnum "772510690" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1020166#Place/pittsburgh> ; # Pittsburgh
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
    schema:about <http://dewey.info/class/160/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1020166#Topic/philosophy_general> ; # PHILOSOPHY--General
    schema:about <http://experiment.worldcat.org/entity/work/data/1020166#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and Mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1020166#Topic/philosophy_logic> ; # PHILOSOPHY--Logic
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2004" ;
    schema:creator <http://viaf.org/viaf/4962077> ; # Paul Hoyningen-Huene
    schema:datePublished "2004" ;
    schema:description "Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised. What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene's Formal Logic seeks to find a balance between the necessity of formal considerations and the importance of full reflection and explanation about the seemingly arbitrary steps that occasionally confound even the most serious student of logic. Alex Levine's artful translation conveys both the content and style of the German edition. Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom."@en ;
    schema:description "1. Introduction. An example -- Preliminary remarks on the notion of logical form -- Validity and soundness -- Statements, primitive statements, and compound statements -- 2. Statement logic. The symbol of statement logic -- The metalogic of statement logic -- Review and overview -- 3. Predicate logic. The symbol system of predicate logic -- The metalogic of predicate logic -- Review and overview -- 4. The mathematical approach to statement logic. On mathematical approaches in general -- The syntax of statement logic -- Semantics : model theory -- Proof theory -- Review --Prospects for predicate logic -- Appendix 1. An additional proof -- Appendix 2. Solutions to the exercises / by Christopher von Bülow and Alex Levine -- Appendix 3. Suggestions for further reading."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1020166> ;
    schema:genre "Textbooks"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/53992825> ;
    schema:name "Formal logic : a philosophical approach"@en ;
    schema:productID "772510690" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/772510690#PublicationEvent/pittsburgh_university_of_pittsburgh_press_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1020166#Agent/university_of_pittsburgh_press> ; # University of Pittsburgh Press
    schema:url <http://www.myilibrary.com?id=586607> ;
    schema:url <http://site.ebrary.com/id/10853009> ;
    schema:url <http://catdir.loc.gov/catdir/toc/ecip0412/2003027966.html> ;
    schema:url <http://digital.library.pitt.edu/cgi-bin/t/text/text-idx?idno=31735062136589;view=toc;c=pittpress> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144> ;
    schema:url <http://www.jstor.org/stable/10.2307/j.ctt5hjr95> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=2038829> ;
    schema:workExample <http://worldcat.org/isbn/9780822972594> ;
    schema:workExample <http://worldcat.org/isbn/9780822958475> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/772510690> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1020166#Agent/university_of_pittsburgh_press> # University of Pittsburgh Press
    a bgn:Agent ;
    schema:name "University of Pittsburgh Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1020166#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and Mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and Mathematical"@en ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020166#Topic/philosophy_general> # PHILOSOPHY--General
    a schema:Intangible ;
    schema:name "PHILOSOPHY--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1020166#Topic/philosophy_logic> # PHILOSOPHY--Logic
    a schema:Intangible ;
    schema:name "PHILOSOPHY--Logic"@en ;
    .

<http://viaf.org/viaf/4962077> # Paul Hoyningen-Huene
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Hoyningen-Huene" ;
    schema:givenName "Paul" ;
    schema:name "Paul Hoyningen-Huene" ;
    .

<http://worldcat.org/isbn/9780822958475>
    a schema:ProductModel ;
    schema:isbn "0822958473" ;
    schema:isbn "9780822958475" ;
    .

<http://worldcat.org/isbn/9780822972594>
    a schema:ProductModel ;
    schema:isbn "082297259X" ;
    schema:isbn "9780822972594" ;
    .

<http://www.worldcat.org/oclc/53992825>
    a schema:CreativeWork ;
    rdfs:label "Formal logic" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/772510690> ; # Formal logic : a philosophical approach
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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