The Resource Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)
Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)
Resource Information
The item Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 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 p.)
 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
 9780822972594
 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
 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
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/subjectName
 Logic, Symbolic and mathematical
 Label
 Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)
 Bibliography note
 Includes bibliographical references (pages 253254)
 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
 ocn772510690
 Dimensions
 unknown
 Extent
 1 online resource (272 p.)
 Form of item
 online
 Isbn
 9780822972594
 Note
 eBooks on EBSCOhost
 Other physical details
 ill
 Specific material designation
 remote
 System control number
 (OCoLC)772510690
 Label
 Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)
 Bibliography note
 Includes bibliographical references (pages 253254)
 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
 ocn772510690
 Dimensions
 unknown
 Extent
 1 online resource (272 p.)
 Form of item
 online
 Isbn
 9780822972594
 Note
 eBooks on EBSCOhost
 Other physical details
 ill
 Specific material designation
 remote
 System control number
 (OCoLC)772510690
Library Links
Embed (Experimental)
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.massey.ac.nz/portal/FormallogicaphilosophicalapproachPaul/qCDxhMVmYeU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/FormallogicaphilosophicalapproachPaul/qCDxhMVmYeU/">Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</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, (electronic resource)
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.massey.ac.nz/portal/FormallogicaphilosophicalapproachPaul/qCDxhMVmYeU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/FormallogicaphilosophicalapproachPaul/qCDxhMVmYeU/">Formal logic : a philosophical approach, Paul HoyningenHuene ; translated by Alex Levine, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>