The Resource Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine
Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine
Resource Information
The item Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri-Kansas City Libraries.This item is available to borrow from all library branches.
Resource Information
The item Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri-Kansas 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 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
- 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 Hoyningen-Huene ; 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 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
- Cataloging source
- COO
- http://library.link/vocab/creatorDate
- 1946-
- http://library.link/vocab/creatorName
- Hoyningen-Huene, 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 Hoyningen-Huene ; translated by Alex Levine
- Bibliography note
- Includes bibliographical references (pages 253-254)
- 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 Hoyningen-Huene ; translated by Alex Levine
- Bibliography note
- Includes bibliographical references (pages 253-254)
- 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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.umkc.edu/portal/Formal-logic--a-philosophical-approach-Paul/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/Formal-logic--a-philosophical-approach-Paul/lTSJq6N2ZSk/">Formal logic : a philosophical approach, Paul Hoyningen-Huene ; 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 Missouri-Kansas 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 Hoyningen-Huene ; 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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.umkc.edu/portal/Formal-logic--a-philosophical-approach-Paul/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/Formal-logic--a-philosophical-approach-Paul/lTSJq6N2ZSk/">Formal logic : a philosophical approach, Paul Hoyningen-Huene ; 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 Missouri-Kansas City Libraries</a></span></span></span></span></div>
