Plural logic:
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Oxford
Oxford Univ. Press
2013
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturverz. S. [301] - 312 |
Beschreibung: | XIV, 336 S. |
ISBN: | 9780199570423 0199570426 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV040775246 | ||
003 | DE-604 | ||
005 | 20131015 | ||
007 | t | ||
008 | 130225s2013 |||| 00||| eng d | ||
020 | |a 9780199570423 |c hbk |9 978-0-19-957042-3 | ||
020 | |a 0199570426 |9 0-19-957042-6 | ||
035 | |a (OCoLC)844032014 | ||
035 | |a (DE-599)BVBBV040775246 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-29 |a DE-11 |a DE-703 |a DE-188 |a DE-19 |a DE-355 | ||
082 | 0 | |a 160 |2 23 | |
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Oliver, Alex |e Verfasser |0 (DE-588)1036297942 |4 aut | |
245 | 1 | 0 | |a Plural logic |c Alex Oliver and Timothy Smiley |
264 | 1 | |a Oxford |b Oxford Univ. Press |c 2013 | |
300 | |a XIV, 336 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Literaturverz. S. [301] - 312 | ||
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Smiley, T. J. |d 1930- |e Verfasser |0 (DE-588)140512373 |4 aut | |
856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025753588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-025753588 |
Datensatz im Suchindex
_version_ | 1804150106334691328 |
---|---|
adam_text | IMAGE 1
CONTENTS
THE PR~JECT 1.1 PLURAL PHENOMENA 1.2 PLURALS IN MATHEMATICS ANEL LOGIC
1.3 STRATEGIES FOR A LOGIC 01 PLURALS
1.4 MANOEUVRES 01 A CONSERVATIVE 10GICIAN: A CASE STUELY 1.5 PLAN 01 THE
BOOK
2 HISTORY
2.1 DISTRIBUTIVE ANCL COLLECTIVE PREELICATION 2.2 MILL 2.3 FREGE 2A
LESNIEWSKI 2.5 RUSSELL
2.6 RUSSELL TO BOOLOS
3 CHANGING THC SUL~JECT
3.1 CHANGING THE SUL~JECT TO SETS 3.2 UNIFORMITY 3.3 AGAINST THC NAIVE
VERSION 01 CHANGING THE SU~JECT 3.4 CHANGING THE SU~JECT AND THE
PRECLICATE
3.5 THE PAIN 01 PARADOX 3.6 CHANGING THE SUBJECT IS SIMPLY NOT ON 3.7
CHANGING THE SUL~JECT IN PRACTICE APPENDIX. EVENTS TO THE RESCUE?
1 PRECLICATIVE ANALYSES
K I RUSSELL S THEORY 01 PLURAL DESCRIPTIONS 1-.2 OTHER PREDICATIVE
ANALYSES 1.3 THC EQUIVOCITY OL~JECTION 4.4 BOOLOS S RECIPROCAL
ILLUMINATION 4.5 BOOLOS S SECOND-ORDER REPRESENTATION 01 PLURALS 4-.6
BOOLOS AMI EQUIVOCITY
4.7 RUMFITT S PURIFIED BOOLOSIAN SCHERNE APPCNDIX. DUMMCTT AND FREGE ON
PLURALS
I 4 7 9
12
15
16 19
20
22 25 30
33
34 35 37 37 40
42 42 44
51
52
56 58 60 61 63
64 65
IMAGE 2
XN CONTENTS
5 TERMS--SINGULAR ANCL PLURAL
5.1 TERMS 5.2 VARIETICS OF SINGULAR TERM 5.3 VARIETIES OF PLURAL TERM
5.4 THE RUSSELLIAN IELEA OF SINGULAR TERM
5.5 NESTEEL TERMS 5.6 EMPTY TERMS 5.7 PREELICATION
6 THE INDETERMINACY OF PLURAL DENOTATION
6.1 TWO ACCOUNTS OF DENOTATION 6.2 PLURAL DESCRIPTIONS: SOME ELEMENTARY
FACTS 6.3 VHICH ACCOUNT IS CORRECT?
6.4 DISSENTING VOICES I 6.5 FREE RELATIVES ANCL WH-QUESTIONS 6.6
DISSENTING VOICES 11 6.7 INDETERMINACY
7 SOME BASIC IELEAS OF PLURALLOGIC
7.1 VARIABLES ANEL QUANTIFICATION 7.2 INCLUSION 7.3 DISTRIBUTIVE
PREDICATCS 7.4 COLLECTIVE PREELICATES
8 PLURAL DESCRIPTIONS
8.1 A THEORY OF ELESCRIPTIONS 8.2 FORMALIZING THE THEORY, DEFINABILITY,
AND INT LIMINABILITY 8.3 EXCRCISES FOR THE READER B.4 SUPERPLURALS
APPENDIX. SHARVY S DU MY OF DESCRIPTIONS
FJ M ULTIVALUED FUNCTIONS
9.1 VARIETIES OF FUNCTION 9.2 MATHEMATICIANS ANCLLOGICIANS 9.3 FUNCTIONS
AND RDATIONS 9.} THE AMBIGUITY OBJECTION
9.5 PROPOSALS FOR ELIMINATING THEM
10 LISTS
10.1 LISTS AS TT RMS 10.2 TNM-F()RMING ANEI
74 7(; 78 HO
B3 86
89
FJ3
FJ4 FJ5
% FJ7 FJFJ
101 102
105
106
108 112
113
I I FJ
120
123 125 127
129
13FJ
140 143 1,}5
147
150
153
153
15}
IMAGE 3
10.3 LISTS AS STRINGS
IN.4 PLACL S AMI POSITIONS IN.5 TNMS VS STRINGS IN THE LITERATURE IN.6
ANALYSES ASSESSED APPENDIX. IN DEFENCE OF MULTIGRADE PREDICATES
II SINGULAR LOGIC
11.1 TOPIC NEUTRALITY 11.2 SYNTAX 11.3 AXIOMS 11. 1 METATHEOREMS 1].5
SEMANTICS
APPENDIX. SOUNDNESS AND COMP]ETENESS PROOFS
12 MID-PLURALLOGIC
12.1 IDEAS 12.2 SYNTAX ] 2.3 AXIOMS 12.4 L IJCTATHEOREMS
12.5 SEMANTICS 12.6 RELATION OF MID-PLURALLOGIC TO SINGULAR LOGIC 12.7
THE ALGEBRA OF PLURALS APPENDIX. SOUNDNESS AMI COMPLETENESS PROOFS
] 3 FULL PLURALLOGIC
13.1 SYNTAX 13.2 SEMANTICS I :1.3 EXPRESSIVE POWER 13.4 PARTIAL
AXIOMATIZATION
13.5 COMPREHENSION 13.6 CHOICE
14 CANTORIAN SET THEORY
I,1.1 PLURALS AMI SETS 11.2 CANTOR S COLLECTIONS 1(1.3 THE ERNPTY SET
14. 1 SINGLETOLLS
14.5 UR-ELEMENTS 14.6 A SUPERSTRUCTURE, NOT A FOUNDATION 14.7 ITERATIVE
CANTORIAN SET THEORY 14.8 USING THE PLURAL IN DEVE OPING CONVENTIONAL
SET THEORY
CONTENTS XLLL
158 162 ]65
167 ]72
]8]
]82 189 191 192
193 197
207
208 211 212 213
214 218 219 222
233
233 235 236 240
242 243
245
246 248 250 254
258 260 264 269
IMAGE 4
XIV CONTENTS
POSTSCRIPT: UNFINISHECL BUSINESS
PSEUELO-SINGULAR TERMS 2 HIGHER-IEVEL PLURALLOGIC 3 HIGHER-ORELER
PLURALLOGIC 4 FUNCTIONS ANEL EMPTY TERMS
5 OTHER TOPICS
PRINRIJJALYMBOLS GLOSS(LY RF/ERFTLCES INDEX
273
273 275 279 283
287
293
295 301 313
|
any_adam_object | 1 |
author | Oliver, Alex Smiley, T. J. 1930- |
author_GND | (DE-588)1036297942 (DE-588)140512373 |
author_facet | Oliver, Alex Smiley, T. J. 1930- |
author_role | aut aut |
author_sort | Oliver, Alex |
author_variant | a o ao t j s tj tjs |
building | Verbundindex |
bvnumber | BV040775246 |
classification_rvk | CC 2600 |
ctrlnum | (OCoLC)844032014 (DE-599)BVBBV040775246 |
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>01385nam a2200373 c 4500</leader><controlfield tag="001">BV040775246</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131015 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130225s2013 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199570423</subfield><subfield code="c">hbk</subfield><subfield code="9">978-0-19-957042-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199570426</subfield><subfield code="9">0-19-957042-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844032014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040775246</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</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">Oliver, Alex</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1036297942</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Plural logic</subfield><subfield code="c">Alex Oliver and Timothy Smiley</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 336 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. [301] - 312</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="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smiley, T. J.</subfield><subfield code="d">1930-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140512373</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=025753588&sequence=000001&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-025753588</subfield></datafield></record></collection> |
id | DE-604.BV040775246 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:33:39Z |
institution | BVB |
isbn | 9780199570423 0199570426 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025753588 |
oclc_num | 844032014 |
open_access_boolean | |
owner | DE-29 DE-11 DE-703 DE-188 DE-19 DE-BY-UBM DE-355 DE-BY-UBR |
owner_facet | DE-29 DE-11 DE-703 DE-188 DE-19 DE-BY-UBM DE-355 DE-BY-UBR |
physical | XIV, 336 S. |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Oxford Univ. Press |
record_format | marc |
spelling | Oliver, Alex Verfasser (DE-588)1036297942 aut Plural logic Alex Oliver and Timothy Smiley Oxford Oxford Univ. Press 2013 XIV, 336 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [301] - 312 Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Smiley, T. J. 1930- Verfasser (DE-588)140512373 aut Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025753588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Oliver, Alex Smiley, T. J. 1930- Plural logic Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4036202-4 |
title | Plural logic |
title_auth | Plural logic |
title_exact_search | Plural logic |
title_full | Plural logic Alex Oliver and Timothy Smiley |
title_fullStr | Plural logic Alex Oliver and Timothy Smiley |
title_full_unstemmed | Plural logic Alex Oliver and Timothy Smiley |
title_short | Plural logic |
title_sort | plural logic |
topic | Logik (DE-588)4036202-4 gnd |
topic_facet | Logik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025753588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT oliveralex plurallogic AT smileytj plurallogic |