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

Label
Formal logic : a philosophical approach
Title
Formal logic
Title remainder
a philosophical approach
Statement of responsibility
Paul Hoyningen-Huene ; translated by Alex Levine
Creator
Author
Subject
Genre
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
Member of
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
Instantiates
Publication
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
9780822972594
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
Publication
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
9780822972594
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

Library Locations

  • Ellis LibraryBorrow it
    1020 Lowry Street, Columbia, MO, 65201, US
    38.944491 -92.326012
  • Engineering Library & Technology CommonsBorrow it
    W2001 Lafferre Hall, Columbia, MO, 65211, US
    38.946102 -92.330125
  • Fisher Delta Research CenterBorrow it
    2-64 Agricultural Bldg, Columbia, MO, 65201, US
    38.958397 -92.303491
  • Geological Sciences LibraryBorrow it
    201 Geological Sciences, Columbia, MO, 65211, US
    38.947375 -92.329062
  • J. Otto Lottes Health Sciences LibraryBorrow it
    1 Hospital Dr, Columbia, MO, 65201, US
    38.939544 -92.328377
  • Journalism LibraryBorrow it
    102 Reynolds Jrnlism Institute, Columbia, MO, 65211, US
    38.947290 -92.328025
  • Mathematical Sciences LibraryBorrow it
    104 Ellis Library, Columbia, MO, 65201, US
    38.944377 -92.326537
  • University ArchivesBorrow it
    Columbia, MO, 65201, US
  • University Archives McAlester AnnexBorrow it
    703 Lewis Hall, Columbia, MO, 65211, US
    38.934630 -92.342290
  • University of Missouri Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65211, US
    38.919360 -92.291620
  • Zalk Veterinary Medical LibraryBorrow it
    Veterinary Medicine West, Columbia, MO, 65211, US
    38.941099 -92.317911
Processing Feedback ...