The Resource Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine
Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine
Resource Information
The item Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriKansas City Libraries.This item is available to borrow from all library branches.
Resource Information
The item Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriKansas City Libraries.
This item is available to borrow from all library branches.
 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. Paul HoyningenHuene'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
 Language

 eng
 ger
 eng
 Extent
 1 online resource (272 pages)
 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
 Isbn
 9780822958475
 Label
 Formal logic : a philosophical approach
 Title
 Formal logic
 Title remainder
 a philosophical approach
 Statement of responsibility
 Paul HoyningenHuene ; translated by Alex Levine
 Language

 eng
 ger
 eng
 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. Paul HoyningenHuene'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
 Cataloging source
 COO
 http://library.link/vocab/creatorDate
 1946
 http://library.link/vocab/creatorName
 HoyningenHuene, Paul
 Dewey number
 160
 Illustrations
 illustrations
 Index
 no index present
 Language note
 Translated from the German
 LC call number
 BC135.H6913 2004
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 PHILOSOPHY
 PHILOSOPHY
 Logic, Symbolic and mathematical
 Label
 Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine
 Bibliography note
 Includes bibliographical references (pages 253254)
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Control code
 772510690
 Dimensions
 unknown
 Extent
 1 online resource (272 pages)
 Form of item
 online
 Isbn
 9780822958475
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 9780822958475
 Other physical details
 illustrations
 Specific material designation
 remote
 System control number
 (OCoLC)772510690
 Label
 Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine
 Bibliography note
 Includes bibliographical references (pages 253254)
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Control code
 772510690
 Dimensions
 unknown
 Extent
 1 online resource (272 pages)
 Form of item
 online
 Isbn
 9780822958475
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 9780822958475
 Other physical details
 illustrations
 Specific material designation
 remote
 System control number
 (OCoLC)772510690
Subject
 Electronic books
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Textbooks
 PHILOSOPHY  General
 PHILOSOPHY  Logic
 Textbooks
 Textbooks
 Electronic books
Genre
Member of
 University of Pittsburgh Digital Editions.
 Formale Logik
 University of Pittsburgh Press Digital Editions
 University of Pittsburgh Digital Collections.
 Ebook Central Academic Complete
Library Locations
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 faexternallinksquare fafw"></i> Data from <span resource="http://link.library.umkc.edu/portal/FormallogicaphilosophicalapproachPaul/lTSJq6N2ZSk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.umkc.edu/portal/FormallogicaphilosophicalapproachPaul/lTSJq6N2ZSk/">Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.umkc.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.umkc.edu/">University of MissouriKansas City Libraries</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 Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.umkc.edu/portal/FormallogicaphilosophicalapproachPaul/lTSJq6N2ZSk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.umkc.edu/portal/FormallogicaphilosophicalapproachPaul/lTSJq6N2ZSk/">Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.umkc.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.umkc.edu/">University of MissouriKansas City Libraries</a></span></span></span></span></div>