Logical investigations of predication theory and the problem of universals:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Napoli
Bibliopolis
1986
|
| Series: | Indices
2 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 265 S. |
| ISBN: | 8870880702 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000711490 | ||
| 003 | DE-604 | ||
| 005 | 20090731 | ||
| 007 | t | ||
| 008 | 880308s1986 |||| 00||| eng d | ||
| 020 | |a 8870880702 |9 88-7088-070-2 | ||
| 035 | |a (OCoLC)14950197 | ||
| 035 | |a (DE-599)BVBBV000711490 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-29 |a DE-19 |a DE-M468 |a DE-188 | ||
| 050 | 0 | |a BC181 | |
| 082 | 0 | |a 160 |2 19 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a PHI 360f |2 stub | ||
| 084 | |a PHI 440f |2 stub | ||
| 100 | 1 | |a Cocchiarella, Nino B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical investigations of predication theory and the problem of universals |
| 264 | 1 | |a Napoli |b Bibliopolis |c 1986 | |
| 300 | |a 265 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Indices |v 2 | |
| 650 | 7 | |a Conceptualisme |2 rasuqam | |
| 650 | 4 | |a Logique | |
| 650 | 4 | |a Nominalisme | |
| 650 | 7 | |a Nominalisme |2 rasuqam | |
| 650 | 4 | |a Prédicat (Logique) | |
| 650 | 7 | |a Prédicat (Logique) |2 rasuqam | |
| 650 | 4 | |a Réalisme | |
| 650 | 7 | |a Réalisme |2 rasuqam | |
| 650 | 4 | |a Universaux | |
| 650 | 7 | |a Universaux |2 rasuqam | |
| 650 | 4 | |a Predicate (Logic) | |
| 650 | 4 | |a Universals (Philosophy) | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikation |0 (DE-588)4209833-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Universalien |0 (DE-588)4186915-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 1 | |a Universalien |0 (DE-588)4186915-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Universalien |0 (DE-588)4186915-1 |D s |
| 689 | 1 | 1 | |a Prädikation |0 (DE-588)4209833-6 |D s |
| 689 | 1 | 2 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 1 | 3 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Indices |v 2 |w (DE-604)BV000013004 |9 2 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000444462&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000444462 | ||
Record in the Search Index
| _version_ | 1804115161292734464 |
|---|---|
| adam_text | NINO B COCCHIARELLA
LOGICAL INVESTIGATIONS
OF PREDICATION THEORY
AND
THE PROBLEM OF UNIVERSALS
BIBLIOPOLIS
CONTENTS
Preface p 9
Introduction » 11
1 The Problem of the Predicable Nature of Universals, 12 - 2
Universality vs Individuality, 13 - 3• Second Order Theories of
Predication, 15 -4 Predicativity vs Impredicativity, 19 - 5 Internal
vs External Semantics, 24
NOTES TO THE INTRODUCTION » 27
1 NOMINALISM » 29
1 First Order Theories, 32 - 2 The Referential Semantics of First
Order Theories, 35 - 3 Standard Predicative Second Order Logic,
37 - 4 Nominalistic Semantics for Predicative Second Order Logic,
42 - 5 Soundness and Completeness with respect to Nominalistic
Semantics, 44 - 6 Nominalism and Modal Logic, 47 - 7 Logical
Truth as Validity in Every Domain of Discourse, 52 - 8 The Secon
dary Semantics of Universal Validity, 56
NOTES TO CHAPTER I » 61
1 Conceptualism vs Nominalism, 71 - 2 Constructive Conceptual-
ism, 73- - 3- Substitutivity and Definibility in Constructive Concep
tualism, 79- - 4 Identity in Nominalism vs Identity in Constructive
Conceptualism, 82 - 5 An External Semantics for Constructive
Conceptualism, 85 - 6 Ramified Constructive Conceptualism, 88 -
7 Holistic Conceptualism, 93 - 8 An External Semantics for Holis
tic Conceptualism, 95 - 9 Conceptualism and the Logical
Modalities, 97
NOTES TO CHAPTER II » 99
II CONCEPTUALISM » 65
8 PREDICATION THEORY AND UNIVERSALS
III REALISM » 105
1 Logical Realism vs Holistic Conceptualism, 108 - 2 The Essen
tial Incompleteness of Logical Realism, 110 - 3 Natural Realism
and Conceptualism, 113 -4 On the Logic of Natural Realism, 115 -
5 Natural Realism and Modal Logic, 118 - 6 An External Seman
tics for Modal Natural Realism, 120 -7A Completeness Theorem
for Modal Natural Realism, 124 - 8 Modal Logical Realism, 134 -
9 Possibilism and Actualism in Modal Logical Realism, 137 - 10
Logical Realism and Essentialism, 143 - 11 Possibilism and Actual
ism in Holistic Conceptualism, 150
NOTES TO CHAPTER III » 161
IV ON THE LOGIC OF NOMINAL!ZED PREDICATES AND ITS
PHILOSOPHICAL INTERPRETATIONS » 165
1 Some Philosophical Views of Nominalized Predicates, 166 - 2
Terminology, 168 -3A Minimal Logic for Nominalized Predicates,
170 - 4 Russel s Paradox of Predication, 173 - 5 Identity as Syn-
categorematic, 178 - 6 The Consistency of T*, 182 - 7 The Theor
ies of Homogeneous, Heterogeneous and Cumulative Simple Types
as Second Order Logics, 188 - 8 The Consistency of HST* Relative
to Monadic HST*, 193 - 9 On the Relative Consistency of Monadic
HST*, 15)9 - 10 On The Consistency of the Unrestricted Compre
hension Principle (CP*), 205
NOTES TO CHAPTER IV » 212
V COMPLEX PREDICATES AND THE X - OPERATOR » 215
1 A Generalized Logical Syntax, 215 - 2 The Problem of Complex
Predicates, 218 - 3 The Minimal Logic for Nominalized Complex
Predicates, 220 - 4 Conceptual Platonic Realism and Other Exten
sions of XM*(*), 225 - 5 The Theses of Extensionality and Intien-
sionality with Nominalized Complex Predicates, 232 - 6 Modal
Logic and Nominalized Complex Predicates, 234 - 7 The Principle
of Rigidity Revisited, 239
NOTES TO CHAPTER V » 241
VI TWO FREGEAN SEMANTICS FOR NOMINALIZED COM
PLEX PREDICATES » 243
1 Fregean Frames and Intensional Models, 244 -2A Generalized
Completeness Theorem for Extensions of DAM* + (DExtf), 248 -
3 The Relative Consistency of DXHST* + (DExt*) and DAT* +
(•Ext*), 254 - 4 The Relative Consistency of HST*n + (DExt*)
and Tib + (DExt*), 257 - 5 An Alternative Fregean Semantics,
|
| any_adam_object | 1 |
| author | Cocchiarella, Nino B. |
| author_facet | Cocchiarella, Nino B. |
| author_role | aut |
| author_sort | Cocchiarella, Nino B. |
| author_variant | n b c nb nbc |
| building | Verbundindex |
| bvnumber | BV000711490 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC181 |
| callnumber-raw | BC181 |
| callnumber-search | BC181 |
| callnumber-sort | BC 3181 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 CC 4800 |
| classification_tum | PHI 360f PHI 440f |
| ctrlnum | (OCoLC)14950197 (DE-599)BVBBV000711490 |
| 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 / Ethik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02349nam a2200673 cb4500</leader><controlfield tag="001">BV000711490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090731 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880308s1986 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8870880702</subfield><subfield code="9">88-7088-070-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14950197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000711490</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC181</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">19</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">CC 4800</subfield><subfield code="0">(DE-625)17631:</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="084" ind1=" " ind2=" "><subfield code="a">PHI 360f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 440f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cocchiarella, Nino B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical investigations of predication theory and the problem of universals</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Napoli</subfield><subfield code="b">Bibliopolis</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">265 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="490" ind1="1" ind2=" "><subfield code="a">Indices</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conceptualisme</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nominalisme</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nominalisme</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prédicat (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prédicat (Logique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réalisme</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Réalisme</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Universaux</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Universaux</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predicate (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Universals (Philosophy)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikation</subfield><subfield code="0">(DE-588)4209833-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universalien</subfield><subfield code="0">(DE-588)4186915-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Universalien</subfield><subfield code="0">(DE-588)4186915-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Universalien</subfield><subfield code="0">(DE-588)4186915-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Prädikation</subfield><subfield code="0">(DE-588)4209833-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Indices</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV000013004</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</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=000444462&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000444462</subfield></datafield></record></collection> |
| id | DE-604.BV000711490 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:18:13Z |
| institution | BVB |
| isbn | 8870880702 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000444462 |
| oclc_num | 14950197 |
| open_access_boolean | |
| owner | DE-12 DE-29 DE-19 DE-BY-UBM DE-M468 DE-188 |
| owner_facet | DE-12 DE-29 DE-19 DE-BY-UBM DE-M468 DE-188 |
| physical | 265 S. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | Bibliopolis |
| record_format | marc |
| series | Indices |
| series2 | Indices |
| spelling | Cocchiarella, Nino B. Verfasser aut Logical investigations of predication theory and the problem of universals Napoli Bibliopolis 1986 265 S. txt rdacontent n rdamedia nc rdacarrier Indices 2 Conceptualisme rasuqam Logique Nominalisme Nominalisme rasuqam Prédicat (Logique) Prédicat (Logique) rasuqam Réalisme Réalisme rasuqam Universaux Universaux rasuqam Predicate (Logic) Universals (Philosophy) Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Prädikation (DE-588)4209833-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Universalien (DE-588)4186915-1 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 s Universalien (DE-588)4186915-1 s DE-604 Prädikation (DE-588)4209833-6 s Theorie (DE-588)4059787-8 s Logik (DE-588)4036202-4 s Indices 2 (DE-604)BV000013004 2 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000444462&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cocchiarella, Nino B. Logical investigations of predication theory and the problem of universals Indices Conceptualisme rasuqam Logique Nominalisme Nominalisme rasuqam Prédicat (Logique) Prédicat (Logique) rasuqam Réalisme Réalisme rasuqam Universaux Universaux rasuqam Predicate (Logic) Universals (Philosophy) Prädikatenlogik (DE-588)4046974-8 gnd Theorie (DE-588)4059787-8 gnd Prädikation (DE-588)4209833-6 gnd Logik (DE-588)4036202-4 gnd Universalien (DE-588)4186915-1 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4059787-8 (DE-588)4209833-6 (DE-588)4036202-4 (DE-588)4186915-1 |
| title | Logical investigations of predication theory and the problem of universals |
| title_auth | Logical investigations of predication theory and the problem of universals |
| title_exact_search | Logical investigations of predication theory and the problem of universals |
| title_full | Logical investigations of predication theory and the problem of universals |
| title_fullStr | Logical investigations of predication theory and the problem of universals |
| title_full_unstemmed | Logical investigations of predication theory and the problem of universals |
| title_short | Logical investigations of predication theory and the problem of universals |
| title_sort | logical investigations of predication theory and the problem of universals |
| topic | Conceptualisme rasuqam Logique Nominalisme Nominalisme rasuqam Prédicat (Logique) Prédicat (Logique) rasuqam Réalisme Réalisme rasuqam Universaux Universaux rasuqam Predicate (Logic) Universals (Philosophy) Prädikatenlogik (DE-588)4046974-8 gnd Theorie (DE-588)4059787-8 gnd Prädikation (DE-588)4209833-6 gnd Logik (DE-588)4036202-4 gnd Universalien (DE-588)4186915-1 gnd |
| topic_facet | Conceptualisme Logique Nominalisme Prédicat (Logique) Réalisme Universaux Predicate (Logic) Universals (Philosophy) Prädikatenlogik Theorie Prädikation Logik Universalien |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000444462&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013004 |
| work_keys_str_mv | AT cocchiarellaninob logicalinvestigationsofpredicationtheoryandtheproblemofuniversals |