Formal Logic: A Philosophical Approach
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Pittsburgh
University of Pittsburgh Press
Aug. 2004
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item 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 Includes bibliographical references (pages 253-254) 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 |
| Physical Description: | 1 Online-Ressource (272 p.) |
| ISBN: | 0822958473 082297259X 9780822958475 9780822972594 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043060147 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 0822958473 |c Trade Paper |9 0-8229-5847-3 | ||
| 020 | |a 082297259X |9 0-8229-7259-X | ||
| 020 | |a 9780822958475 |9 978-0-8229-5847-5 | ||
| 020 | |a 9780822972594 |9 978-0-8229-7259-4 | ||
| 035 | |a (OCoLC)772510690 | ||
| 035 | |a (DE-599)BVBBV043060147 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 160 |2 22 | |
| 100 | 1 | |a Hoyningen-Huene, Paul |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal Logic |b A Philosophical Approach |
| 264 | 1 | |a Pittsburgh |b University of Pittsburgh Press |c Aug. 2004 | |
| 300 | |a 1 Online-Ressource (272 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a 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 | ||
| 500 | |a Includes bibliographical references (pages 253-254) | ||
| 500 | |a 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 | ||
| 546 | |a Translated from the German | ||
| 650 | 4 | |a Logic, Symbolic and Mathematical | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a PHILOSOPHY / Logic |2 bisacsh | |
| 650 | 7 | |a PHILOSOPHY / General |2 bisacsh | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Textbooks | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028484339 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175434405904384 |
|---|---|
| any_adam_object | |
| author | Hoyningen-Huene, Paul |
| author_facet | Hoyningen-Huene, Paul |
| author_role | aut |
| author_sort | Hoyningen-Huene, Paul |
| author_variant | p h h phh |
| building | Verbundindex |
| bvnumber | BV043060147 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)772510690 (DE-599)BVBBV043060147 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03524nmm a2200457zc 4500</leader><controlfield tag="001">BV043060147</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0822958473</subfield><subfield code="c">Trade Paper</subfield><subfield code="9">0-8229-5847-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">082297259X</subfield><subfield code="9">0-8229-7259-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780822958475</subfield><subfield code="9">978-0-8229-5847-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780822972594</subfield><subfield code="9">978-0-8229-7259-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)772510690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043060147</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hoyningen-Huene, Paul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Logic</subfield><subfield code="b">A Philosophical Approach</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pittsburgh</subfield><subfield code="b">University of Pittsburgh Press</subfield><subfield code="c">Aug. 2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (272 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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&rsquo;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&rsquo;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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 253-254)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">Translated from the German</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and Mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Textbooks</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028484339</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043060147 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:14Z |
| institution | BVB |
| isbn | 0822958473 082297259X 9780822958475 9780822972594 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028484339 |
| oclc_num | 772510690 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (272 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | University of Pittsburgh Press |
| record_format | marc |
| spelling | Hoyningen-Huene, Paul Verfasser aut Formal Logic A Philosophical Approach Pittsburgh University of Pittsburgh Press Aug. 2004 1 Online-Ressource (272 p.) txt rdacontent c rdamedia cr rdacarrier 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 Includes bibliographical references (pages 253-254) 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 Translated from the German Logic, Symbolic and Mathematical Logic, Symbolic and mathematical fast PHILOSOPHY / Logic bisacsh PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Textbooks http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144 Aggregator Volltext |
| spellingShingle | Hoyningen-Huene, Paul Formal Logic A Philosophical Approach Logic, Symbolic and Mathematical Logic, Symbolic and mathematical fast PHILOSOPHY / Logic bisacsh PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Textbooks |
| title | Formal Logic A Philosophical Approach |
| title_auth | Formal Logic A Philosophical Approach |
| title_exact_search | Formal Logic A Philosophical Approach |
| title_full | Formal Logic A Philosophical Approach |
| title_fullStr | Formal Logic A Philosophical Approach |
| title_full_unstemmed | Formal Logic A Philosophical Approach |
| title_short | Formal Logic |
| title_sort | formal logic a philosophical approach |
| title_sub | A Philosophical Approach |
| topic | Logic, Symbolic and Mathematical Logic, Symbolic and mathematical fast PHILOSOPHY / Logic bisacsh PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Textbooks |
| topic_facet | Logic, Symbolic and Mathematical Logic, Symbolic and mathematical PHILOSOPHY / Logic PHILOSOPHY / General Logic, Symbolic and mathematical Textbooks |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=829144 |
| work_keys_str_mv | AT hoyningenhuenepaul formallogicaphilosophicalapproach |