Cargando…
Formal logic : a philosophical approach /
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 lo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Alemán |
| Publicado: |
Pittsburgh :
University of Pittsburgh Press,
©2004.
|
| Colección: | University of Pittsburgh Digital Editions.
University of Pittsburgh Digital Collections. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocn772510690 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 040114s2004 paua ob 000 0 eng d | ||
| 040 | |a COO |b eng |e pn |c COO |d OCLCO |d OCLCQ |d E7B |d OCLCO |d CCO |d OCLCO |d OCLCF |d EBLCP |d N$T |d MUU |d IDEBK |d JSTOR |d YDXCP |d IYU |d OCLCQ |d OCLCO |d AGLDB |d MOR |d PIFAG |d ZCU |d CUS |d JBG |d OCLCQ |d MERUC |d OCLCQ |d IOG |d U3W |d EZ9 |d STF |d OCLCQ |d VTS |d NRAMU |d CRU |d OCLCQ |d WYU |d LVT |d TKN |d PIT |d DKC |d OCLCQ |d M8D |d UKAHL |d OCLCO |d OCLCQ | ||
| 019 | |a 721316895 |a 887803138 |a 961576237 |a 962693668 |a 1259187761 |a 1264823791 | ||
| 020 | |a 9780822958475 | ||
| 020 | |a 0822958473 | ||
| 020 | |a 9780822972594 | ||
| 020 | |a 082297259X | ||
| 020 | |z 0822958473 |q (Trade Paper) | ||
| 024 | 3 | |a 9780822958475 | |
| 029 | 1 | |a AU@ |b 000051325540 | |
| 029 | 1 | |a AU@ |b 000055786703 | |
| 029 | 1 | |a DEBBG |b BV043060147 | |
| 029 | 1 | |a DEBBG |b BV044050709 | |
| 029 | 1 | |a DEBSZ |b 446501034 | |
| 029 | 1 | |a GBVCP |b 1003688373 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999940768905765 | |
| 035 | |a (OCoLC)772510690 |z (OCoLC)721316895 |z (OCoLC)887803138 |z (OCoLC)961576237 |z (OCoLC)962693668 |z (OCoLC)1259187761 |z (OCoLC)1264823791 | ||
| 037 | |b 00027370 | ||
| 041 | 1 | |a eng |h ger | |
| 050 | 4 | |a BC135.H6913 2004 | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 7 | |a PHI000000 |2 bisacsh | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Hoyningen-Huene, Paul, |d 1946- |e author. | |
| 240 | 1 | 0 | |a Formale Logik. |l English |
| 245 | 1 | 0 | |a Formal logic : |b a philosophical approach / |c Paul Hoyningen-Huene ; translated by Alex Levine. |
| 260 | |a Pittsburgh : |b University of Pittsburgh Press, |c ©2004. | ||
| 300 | |a 1 online resource (272 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 253-254). | ||
| 546 | |a Translated from the German. | ||
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Evidence Based Acquisitions | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Textbooks. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a PHILOSOPHY |x General. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 655 | 7 | |a Textbooks. |2 fast |0 (OCoLC)fst01423863 | |
| 776 | 0 | 8 | |i Print version: |a Hoyningen-Huene, Paul, 1946- |s Formale Logik. English. |t Formal logic |z 0822958473 |w (DLC) 2003027966 |w (OCoLC)53992825 |
| 830 | 0 | |a University of Pittsburgh Digital Editions. |5 PPiU | |
| 830 | 0 | |a University of Pittsburgh Digital Collections. |5 PPiU | |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt5hjr95 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH36650810 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL2038829 | ||
| 938 | |a ebrary |b EBRY |n ebr10853009 | ||
| 938 | |a EBSCOhost |b EBSC |n 829144 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27952017 | ||
| 938 | |a YBP Library Services |b YANK |n 11728634 | ||
| 994 | |a 92 |b IZTAP | ||