On inferring: an enquiry into relevance and validity
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Paderborn
mentis
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Item Description: | Literaturverz. S. 480 - 488 |
| Physical Description: | 497 S. |
| ISBN: | 3897853833 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017543552 | ||
| 003 | DE-604 | ||
| 005 | 20040312 | ||
| 007 | t | ||
| 008 | 030923s2003 gw |||| 00||| eng d | ||
| 016 | 7 | |a 968788033 |2 DE-101 | |
| 020 | |a 3897853833 |9 3-89785-383-3 | ||
| 035 | |a (OCoLC)53848139 | ||
| 035 | |a (DE-599)BVBBV017543552 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29 |a DE-12 |a DE-19 |a DE-11 |a DE-355 |a DE-188 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Hartmann, Dirk |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On inferring |b an enquiry into relevance and validity |c Dirk Hartmann |
| 264 | 1 | |a Paderborn |b mentis |c 2003 | |
| 300 | |a 497 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 480 - 488 | ||
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Relevance (Philosophy) | |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |D s |
| 689 | 0 | 1 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010562245 | ||
Record in the Search Index
| _version_ | 1804130322128830464 |
|---|---|
| adam_text | Contents
Preface
.................................................................................. 5
I. Philosophical motivation
§1
Introductory note
.......................................................... 9
§2
Standard logics
-
a natural deduction frame for
first order predicate logics
........................................... 13
§3
Standard logics and their tolerance of irrelevance
...... 23
§4
The idea of relevant logic and some applications
........ 34
§5
Are relevant logics non-starters?
................................ 37
§6
Philosophical pseudo-problems caused by irrelevance,
or: why relevant logics are superior
............................. 49
§7
Historical predecessors: minimal logic and
strict implication
........................................................... 70
§8
The search for a formal account of relevance
............. 81
§9
Worlds semantics for relevant logics?
......................... 92
II. Technical execution
§10
Rules semantics for (first order) logical validity
........ 99
§11
The natural deduction frame N(base) and the logic RY
123
§12
The relevant conditional (and biconditional)
-
RY->B
... 135
§13
Negation
-
Ry-»<-H~
........................................................ 142
§14
Conjunction
-
RY-)fH~A
................................................ 163
§15
Disjunction
-
Rl
............................................................. 169
§16
Conposition
-
R2
........................................................... 178
§17
Conjunction and conposition combined
-
R3
............... 186
§18
Deviant disjunctions I: intensional disjunction
............ 194
§19
Deviant disjunctions II: TND without
DNA.................. 204
§20
The case of Distribution
-
R4
....................................... 212
§21
Quantifiers
-
R3, R4
...................................................... 229
§22
Higher order predicates
-
Ε3ω,
R4co
............................. 245
§23
Identity, definite descriptions, abstraction
-
R3<o=, R4o=
.................................................................. 264
§24
Higher order implication
............................................... 311
§25
Relevant modalities
....................................................... 334
§26
Consistency and decidability
......................................... 351
III. Epilogue
§27
Is relevance enough? A short discussion of other
projects in contemporary logic
..................................... 395
Appendix A: Grammar
.......................................................... 451
Appendix B: Systems
............................................................ 471
References
............................................................................ 480
Name Index
........................................................................... 489
Subject Index
........................................................................ 491
The purpose of teaching logic in philosophy is to enable
us to evaluate arguments with respect to (formal) validity.
Standard logics refer to a concept of validity which
allows for the relation of implication to hold between
premises and conclusion even in cases where there is
no relevant connection between the premises and the
conclusion. The tolerance of irrelevance endorsed by
standard logics unfortunately engenders a lot of logical
and philosophical problems.
As alternatives to standard logics, there exist non-stan¬
dard systems meant to avoid irrelevance, which are
called relevance logics .
The main aim of this treatise is to provide an alternative
semantics for relevance logic which is comparatively
easy to grasp and simple in application. A second aim
of the book is to extend the semantics at least as far
as it takes to cover more or less all the logical notions
philosophers need in their everyday analyzing . This
includes first order predicate logic, higher order logic
(for analyzing talk about properties etc.), identity,
definite descriptions, abstraction principles and modal
logic.
The book can be read without having any more back¬
ground than a good introductory course in classical
logic provides.
|
| any_adam_object | 1 |
| author | Hartmann, Dirk |
| author_facet | Hartmann, Dirk |
| author_role | aut |
| author_sort | Hartmann, Dirk |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV017543552 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 |
| callnumber-search | BC199.M6 |
| callnumber-sort | BC 3199 M6 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 |
| ctrlnum | (OCoLC)53848139 (DE-599)BVBBV017543552 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01853nam a2200457 c 4500</leader><controlfield tag="001">BV017543552</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040312 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030923s2003 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968788033</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3897853833</subfield><subfield code="9">3-89785-383-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53848139</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017543552</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC199.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hartmann, Dirk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On inferring</subfield><subfield code="b">an enquiry into relevance and validity</subfield><subfield code="c">Dirk Hartmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paderborn</subfield><subfield code="b">mentis</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">497 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 480 - 488</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relevance (Philosophy)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010562245</subfield></datafield></record></collection> |
| id | DE-604.BV017543552 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:19:11Z |
| institution | BVB |
| isbn | 3897853833 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010562245 |
| oclc_num | 53848139 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-29 DE-12 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-188 |
| physical | 497 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | mentis |
| record_format | marc |
| spelling | Hartmann, Dirk Verfasser aut On inferring an enquiry into relevance and validity Dirk Hartmann Paderborn mentis 2003 497 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 480 - 488 Modality (Logic) Relevance (Philosophy) Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Nichtklassische Logik (DE-588)4197462-1 gnd rswk-swf Nichtklassische Logik (DE-588)4197462-1 s Logischer Schluss (DE-588)4139983-3 s DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Hartmann, Dirk On inferring an enquiry into relevance and validity Modality (Logic) Relevance (Philosophy) Logischer Schluss (DE-588)4139983-3 gnd Nichtklassische Logik (DE-588)4197462-1 gnd |
| subject_GND | (DE-588)4139983-3 (DE-588)4197462-1 |
| title | On inferring an enquiry into relevance and validity |
| title_auth | On inferring an enquiry into relevance and validity |
| title_exact_search | On inferring an enquiry into relevance and validity |
| title_full | On inferring an enquiry into relevance and validity Dirk Hartmann |
| title_fullStr | On inferring an enquiry into relevance and validity Dirk Hartmann |
| title_full_unstemmed | On inferring an enquiry into relevance and validity Dirk Hartmann |
| title_short | On inferring |
| title_sort | on inferring an enquiry into relevance and validity |
| title_sub | an enquiry into relevance and validity |
| topic | Modality (Logic) Relevance (Philosophy) Logischer Schluss (DE-588)4139983-3 gnd Nichtklassische Logik (DE-588)4197462-1 gnd |
| topic_facet | Modality (Logic) Relevance (Philosophy) Logischer Schluss Nichtklassische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010562245&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hartmanndirk oninferringanenquiryintorelevanceandvalidity |