Un développement des systèmes logiques de Stanislaw Lésniewski: protothétique, ontologie, méréologie
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Partitur Buch |
| Sprache: | French |
| Veröffentlicht: |
Berne u.a.
Lang
1984
|
| Schriftenreihe: | Europäische Hochschulschriften / 20
164 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VII, 469 S. |
| ISBN: | 3261034947 |
Internformat
MARC
| LEADER | 00000ncm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000293624 | ||
| 003 | DE-604 | ||
| 005 | 19870818 | ||
| 007 | t | ||
| 008 | 870612s1984 |||| |||||||| | fre d | ||
| 020 | |a 3261034947 |9 3-261-03494-7 | ||
| 035 | |a (OCoLC)13572497 | ||
| 035 | |a (DE-599)BVBBV000293624 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-12 |a DE-19 |a DE-384 |a DE-739 |a DE-355 |a DE-824 |a DE-29 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a B4691.L454 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CI 7400 |0 (DE-625)18588: |2 rvk | ||
| 084 | |a CI 7800 |0 (DE-625)18599: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 9,2 |2 ssgn | ||
| 100 | 1 | |a Miéville, Denis |e Komponist |4 cmp | |
| 245 | 1 | 0 | |a Un développement des systèmes logiques de Stanislaw Lésniewski |b protothétique, ontologie, méréologie |
| 264 | 1 | |a Berne u.a. |b Lang |c 1984 | |
| 300 | |a VII, 469 S. | ||
| 336 | |b ntm |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Europäische Hochschulschriften / 20 |v 164 | |
| 600 | 1 | 4 | |a Leśniewski, Stanisław <1886-1939> |
| 600 | 1 | 7 | |a Leśniewski, Stanisław |d 1886-1939 |0 (DE-588)118572075 |2 gnd |9 rswk-swf |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Ontology | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Lesnevskij, Stanislav S. |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Leśniewski, Stanisław |d 1886-1939 |0 (DE-588)118572075 |D p |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Lesnevskij, Stanislav S. |A f |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a 20 |t Europäische Hochschulschriften |v 164 |w (DE-604)BV000001796 |9 164 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000178672&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000178672 | ||
| 942 | 1 | 1 | |e 22/bsb |g 438 |
Datensatz im Suchindex
| _version_ | 1804114758273597440 |
|---|---|
| adam_text | Titel: Un developpement des systemes logiques de Stanislaw Lesniewski
Autor: Miéville, Denis
Jahr: 1984
TABLE DES MATIERES
Avant propos
PREMIERE PARTIE - L HOMME ET SON OEUVRE , 1
Chapitre I - ELEMENTS DE BIOGRAPHIE 3
1. Préambule 3
2. De 1886 à 1911: Philosophie 4
3. Le passage à la logique 5
4. Analyse de l antinomie des classes 8
5. Analyse de la notion de classe 11
6. La notion de classe collective 22
7. Méréologie, ontologie, protothétique 24
8. Les modes de construction de Lesniewski 26
9. Comparaison systèmes classiques/systèmes Lesniewski 27
10. Eléments de biographie: 1919 - 1939 30
11. Jugement d ensemble 31
12. Une oeuvre reconnue 36
DEUXIEME PARTIE - LA PROTOTHETIQUE 41
Chapitre II - LES CALCULS EQUIVALENTIELS 43
1. Préambule 43
1.1. Plan d ensemble 43
1.2. Quelques considérations historiques 44
2. Le système ëquivalentiel S 48
2.1. Les axiomes 48
2.2. L ëquifornritë 50
2.3. Expression ëquivalentielle 51
2.4. Les règles d inférence 51
2.4.1. Directive de détachement: dét 52
2.4.2. Directive de substitution: sub 53
2.5. Règles dérivées 55
2.5.1. Directive de commutativitë: comm 55
2.5.2. Directive d introduction du =: int 56
2.5.3. Directive de déplacement: dpi 56
2.5.4. Directive d associativitë: ass 57
2.6. Quelques schémas de théorèmes 58
2.7. La relation de transformation: tr 60
2.7.1. Définition 60
2.7.2. Métathéorème de la transformée 60
2.8. La propriété de pairité 64
2.8.1. Traduction de la directive de substitution 67
2.8.2. Traduction de la directive de détachement 69
2.9. Quelques métathéorëmes 70
2.10. Organisation des résultats 77
3. Le calcul équivalentiel quantifié SQ1 79
3.1. Préambule 79
3.2. Définition de l expression équivalentielle
quantifiée dans SQ1 80
3.2.1. Résumé 81
3.3. Les axiomes 82
3.4. Les règles d inférence 83
3.4.1. La directive de substitution 83
3.4.2. La directive de détachement 84
3.5. Remarques générales 85
4. Le système équivalentiel quantifié SQ2 87
4.1. Les axiomes 87
4.2. Les règles d inférence 87
4.2.1. La directive de substitution 87
4.2.2. La directive de détachement 90
4.3. La propriété de pairité 93
4.3.1. Définition 95
II
4.4. Quelques résultats 95
5. Le système équivalentiel quantifié SQ3 98
5.1. Préambule 98
5.2. Les axiomes 98
5.3. Les règles d infërence 98
5.3.1. La directive de substitution 98
5.3.2. La directive de distribution des
quantificateurs 99
5.3.2.1. Présentation intuitive 101
5.3.2.2. Formulation rigoureuse de la
directive de distribution 103
5.3.3. La directive de détachement 108
5.3.3.1. Formulation rigoureuse de la
directive de détachement 110
6. Le système équivalentiel SQ4 111
6.1. Préambule 111
6.2. A propos de la définition 112
6.3. Où il est question d écriture 119
6.4. Les axiomes 125
6.5. Les règles d inférence 128
6.5.1. La directive de détachement 128
6.5.2. La directive de distribution des
quantificateurs 129
6.5.3. La directive de substitution 130
6.5.4. La directive de définition 130
6.5.4.1. Généralités 130
6.5.4.2. Formulation rigoureuse de la règle
de définition 143
6.6. Quelques thèses 147
6.7. Qualités de SQ4 150
Chapitre III - LA PROTOTHETIQUE 153
1. Le système SI 153
1.1. Préambule 153
1.2. Les catégories sémantiques 154
III
1.2.1. Présentation générale 154
1.2.2. Généralisation 160
1.3. Tarski: Une définition de la conjonction 164
1.4. A la recherche d un troisième axiome 174
1.5. Les axiomes de SI 185
1.6. Les règles d inférence de SI 186
1.6.1. La directive de détachement 187
1.6.2. La directive de distribution des
quantificateurs 187
1.6.3. La directive de définition 188
1.6.3.1. Formulation de la directive
de définition 188
1.6.4. Directive de substitution 204
1.6.4.1. Préambule 204
1.7. Quelques thèses 224
1.8. Quelques métarêgles 231
1.9. Remarques 245
2. Les protothétiques complètes 247
2.1. Préambule 247
2.2. Le système S2 247
2.3. Le système S3 251
2.3.1. La directive d extensionnalitë 253
2.3.2. Formulation de la directive
d extensionnalitë 254
2.4. Le système S4 258
2.5. Le système S5 259
2.5.1. Préambule 259
2.5.2. A la recherche d un axiome unique 260
2.6. Conclusion 264
TROISIEME PARTIE - ONTOLOGIE 265
Chapitre IV - L ONTOLOGIE 267
1. Préambule 267
2. Interprétation présémantique de l epsilon 272
IV
3. L axiome de Tontologie 279
3.1. La proposition 282
4. Règles d inférence de l ontologie 284
4.1. Préalable 284
4.2. La directive de détachement 285
4.3. La directive de distribution des quantificateurs 285
4.4. Directive de substitution 285
4.5. Les directives de définition 286
4.5.1. Directive de définition de type
protothétique 287
4.5.1.1. Exemples de définitions ontologiques «qr
de type protothëtique
4.5.2. Directive de définition de type
ontologique 294
4.5.2.1. Formulation de la directive de défini¬
tion ontologique de type ontologique 296
4.5.2.2. Exemples de définitions de type
ontologique 299
4.6. Quelques démonstrations 303
4.7. Les directives d extensionnalité 314
4.7.1. La directive d extensionnalité
ontologique de type protothétique 314
4.7.2. La directive d extensionnalitë ontolo¬
gique de type ontologique 319
4.7.2.1. Formulation de la directive d exten-
sionnalité ontologique de type onto¬
logique 319
5. Les epsilons d ordre supérieur 323
5.1. Analogie structurelle et relationnelle 324
5.2. Quelques théorèmes préparatoires 328
5.3. Analogue structurel et relationnel de l axiome
pour la catégorie S/(S/N)(S/N) 334
6. Quantification et interprétation 339
6.1. Préambule 339
6.2. L interprétation objectuelle 340
6.3. L interprétation substitutionnelle 344
V
6.3.1. Préambule 344
6.3.2. Une définition 345
6.4. Lesniewski et la quantification substitutionnelie 352
6.5. Quantification et existence 356
6.6. Interprétation de l ontologie de Lesniewski 362
6.6.1. Avertissement 362
6.6.2. Domaine syntaxique 363
6.6.3. Domaine sémantique 364
6.6.4. Interprétation 368
7. Remarques 373
QUATRIEME PARTIE - MEREOLOGIE 375
Chapitre V - LA MEREOLOGIE 377
1. Préambule 377
2. Considérations générales 378
3. Une première approche de la classe mérëologique 379
4. Les axiomes de lamêrëologie 396
5. Quelques thèses 400
6. Quelques définitions 422
7. Mëréologie et treillis 426
7.1. Une relation d ordre partiel 426
7.2. Définitions 427
7.3. Structure de treillis borné supérieurement 430
8. D autres bases axiomatiques pour la mérëologie 435
8.1. Le système axiomatique de 1918 435
8.2. Le système axiomatique de 1920 438
8.3. Le système axiomatique de 1921 440
8.4. Axiomes uniques 441
9. Remarques 442
Conclusion 445
Bibliographie 451
Bibliographie relative â Stanislaw Lesniewski 463
Index 465
VI
|
| any_adam_object | 1 |
| author | Miéville, Denis |
| author_facet | Miéville, Denis |
| author_role | cmp |
| author_sort | Miéville, Denis |
| author_variant | d m dm |
| building | Verbundindex |
| bvnumber | BV000293624 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B4691 |
| callnumber-raw | B4691.L454 |
| callnumber-search | B4691.L454 |
| callnumber-sort | B 44691 L454 |
| callnumber-subject | B - Philosophy |
| classification_rvk | CC 2600 CI 7400 CI 7800 SK 130 |
| ctrlnum | (OCoLC)13572497 (DE-599)BVBBV000293624 |
| discipline | Mathematik Philosophie |
| format | Musical Score Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02109ncm a2200553 cb4500</leader><controlfield tag="001">BV000293624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19870818 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 |||| |||||||| | fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3261034947</subfield><subfield code="9">3-261-03494-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)13572497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000293624</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B4691.L454</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">CI 7400</subfield><subfield code="0">(DE-625)18588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 7800</subfield><subfield code="0">(DE-625)18599:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</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">9,2</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Miéville, Denis</subfield><subfield code="e">Komponist</subfield><subfield code="4">cmp</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Un développement des systèmes logiques de Stanislaw Lésniewski</subfield><subfield code="b">protothétique, ontologie, méréologie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berne u.a.</subfield><subfield code="b">Lang</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 469 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">ntm</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">Europäische Hochschulschriften / 20</subfield><subfield code="v">164</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Leśniewski, Stanisław <1886-1939></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Leśniewski, Stanisław</subfield><subfield code="d">1886-1939</subfield><subfield code="0">(DE-588)118572075</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ontology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</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="655" ind1=" " ind2="7"><subfield code="a">Lesnevskij, Stanislav S.</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Leśniewski, Stanisław</subfield><subfield code="d">1886-1939</subfield><subfield code="0">(DE-588)118572075</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Lesnevskij, Stanislav S.</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="810" ind1="2" ind2=" "><subfield code="a">20</subfield><subfield code="t">Europäische Hochschulschriften</subfield><subfield code="v">164</subfield><subfield code="w">(DE-604)BV000001796</subfield><subfield code="9">164</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=000178672&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000178672</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">438</subfield></datafield></record></collection> |
| genre | Lesnevskij, Stanislav S. gnd |
| genre_facet | Lesnevskij, Stanislav S. |
| id | DE-604.BV000293624 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:11:48Z |
| institution | BVB |
| isbn | 3261034947 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000178672 |
| oclc_num | 13572497 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-83 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-83 DE-188 |
| physical | VII, 469 S. |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Lang |
| record_format | marc |
| series2 | Europäische Hochschulschriften / 20 |
| spelling | Miéville, Denis Komponist cmp Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie Berne u.a. Lang 1984 VII, 469 S. ntm rdacontent n rdamedia nc rdacarrier Europäische Hochschulschriften / 20 164 Leśniewski, Stanisław <1886-1939> Leśniewski, Stanisław 1886-1939 (DE-588)118572075 gnd rswk-swf Logic, Symbolic and mathematical Ontology Semantics (Philosophy) Logik (DE-588)4036202-4 gnd rswk-swf Lesnevskij, Stanislav S. gnd rswk-swf Leśniewski, Stanisław 1886-1939 (DE-588)118572075 p Logik (DE-588)4036202-4 s DE-604 Lesnevskij, Stanislav S. f 20 Europäische Hochschulschriften 164 (DE-604)BV000001796 164 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000178672&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Miéville, Denis Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie Leśniewski, Stanisław <1886-1939> Leśniewski, Stanisław 1886-1939 (DE-588)118572075 gnd Logic, Symbolic and mathematical Ontology Semantics (Philosophy) Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)118572075 (DE-588)4036202-4 |
| title | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_auth | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_exact_search | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_full | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_fullStr | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_full_unstemmed | Un développement des systèmes logiques de Stanislaw Lésniewski protothétique, ontologie, méréologie |
| title_short | Un développement des systèmes logiques de Stanislaw Lésniewski |
| title_sort | un developpement des systemes logiques de stanislaw lesniewski protothetique ontologie mereologie |
| title_sub | protothétique, ontologie, méréologie |
| topic | Leśniewski, Stanisław <1886-1939> Leśniewski, Stanisław 1886-1939 (DE-588)118572075 gnd Logic, Symbolic and mathematical Ontology Semantics (Philosophy) Logik (DE-588)4036202-4 gnd |
| topic_facet | Leśniewski, Stanisław <1886-1939> Leśniewski, Stanisław 1886-1939 Logic, Symbolic and mathematical Ontology Semantics (Philosophy) Logik Lesnevskij, Stanislav S. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000178672&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001796 |
| work_keys_str_mv | AT mievilledenis undeveloppementdessystemeslogiquesdestanislawlesniewskiprotothetiqueontologiemereologie |