Philosophie de la logique: conséquence, preuve et vérité
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | French |
Veröffentlicht: |
Paris
Vrin
2009
|
Schriftenreihe: | Textes clés
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 447 S. 18 cm. |
ISBN: | 9782711617968 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV035394660 | ||
003 | DE-604 | ||
005 | 20090707 | ||
007 | t | ||
008 | 090326s2009 fr |||| 00||| fre d | ||
020 | |a 9782711617968 |c (pbk.) : 14,00 EUR |9 978-2-7116-1796-8 | ||
035 | |a (OCoLC)470757444 | ||
035 | |a (DE-599)BVBBV035394660 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a fre | |
044 | |a fr |c FR | ||
049 | |a DE-29 | ||
050 | 0 | |a BC72 | |
082 | 1 | |a 160 |2 22 | |
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
245 | 1 | 0 | |a Philosophie de la logique |b conséquence, preuve et vérité |c textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ... |
264 | 1 | |a Paris |b Vrin |c 2009 | |
300 | |a 447 S. |c 18 cm. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Textes clés | |
650 | 4 | |a Logique | |
650 | 7 | |a Logique |2 ram | |
650 | 4 | |a Raisonnement | |
650 | 4 | |a Vérité | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Bonnay, Denis |e Sonstige |4 oth | |
700 | 1 | |a Cozic, Mikaël |e Sonstige |4 oth | |
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=017315400&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-017315400 |
Datensatz im Suchindex
_version_ | 1804138819223552000 |
---|---|
adam_text | TABLE DES MATIERES SIGLESLOGIQUES 7 INTRODUCTION GENERALE, PAR M.
COZICET D. BONNAY........ . 9 PREAMBULE :.. 9 LA LOGIQUE, SCIENCE DU
RAISONNEMENT CORRECT » ~...... 12 LANGAGE NATUREL ET LANGAGE
ARTIFICIEI................................. 16 L ANALYSE SEMANTIQUE DE
LA VALIDITE 19 LES PREUVES FORMELLES ET I ANALYSE SEMANTIQUE DE LA
VALIDITE 29 L INFERENTIALISME, OU LE PRIMAT DES PREUVES 34 PARADOXES ET
VERITE 45 LA LOGIQUE ... QUELLE
LOGIQUE?............................................ 53 POUR ALLER PLUS
LOIN 58 LANGAGE, MODELES ET CONSEQUENCE GOTILOB FREGE PRESENTATION PAR
DENIS BONNA Y :..... 63 L IDEOGRAPHIE (AVANT-PROPOS) 68 ALFRED T ARSKL
PRESENTATION PAR MIKAEL COZIC..........................................
75 DU CONCEPT DE CONSEQUENCE LOGIQUE 83 446 TABLE DES MA TIERES
STEPHENREAD PRESENTATION PAR MIKAEL COZIC 99 LE POUVOIR DE LA LOGIQUE:
LA CONSEQUENCE LOGIQUE 105 PREUVE ET SIGNIFICATION ARTHUR PRIOR ET NUEL
BELNAP PRESENTATION PAR LAURENT KEIFF ET CEDRIC DEGREMONT 133 A. PRIOR,
CARTE BLANCHE POUR LES INJERENCES 141 N. BELNAP, TONK, PLONK ET PLINK
144 MICHAEL DUMMETT PRESENTATION PAR FABRICE PATAUT 151 ELEMENTS D
INTUITIONNISME 158 LA VERITE ET SES PARADOXES WILLIAM V.O. QUINE
PRESENTATION PAR HENRI GALINON 215 LES VOIES DU PARADOXE 222 ALFRED T
ARSKI PRESENTATION PAR MIKAEL COZIC 247 LA CONCEPTION SEMANTIQUE DE LA
VERITE ET LES JONDEMENTS DE LA SEMANTIQUE 254 HARTRY FIELD PRESENTATION
PAR JULIEN BOYER 279 LA THEORIE DE LA VERITE DE TARSKI 287 SAULKRIPKE
PRESENTATION PAR SERGE BOZON 329 ESQUISSE D UNE THEORIE DE LA VERITE 336
TABLE DES MA TIERES 447 BAS VAN FRAASSEN PRESENTATION PAR PAUL EGIFFI
377 TERMES SINGU/IERS, LACUNES DE VALEURS DE VERITE ET LOGIQUE /IHRE 383
HLLARY PUTNAM PRESENTATION PAR DENIS BONNA Y 407 LA LOGIQUE TRIVALENTE
415 SSMLIOGRAPLLLE GENERALE 427 INDEX DES NOMS 437 INDEX DES NOTIONS 441
- TABLE DES MATRERES 445
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV035394660 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC72 |
callnumber-raw | BC72 |
callnumber-search | BC72 |
callnumber-sort | BC 272 |
callnumber-subject | BC - Logic |
classification_rvk | CC 2500 |
ctrlnum | (OCoLC)470757444 (DE-599)BVBBV035394660 |
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>01603nam a2200457zc 4500</leader><controlfield tag="001">BV035394660</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090707 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090326s2009 fr |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9782711617968</subfield><subfield code="c">(pbk.) : 14,00 EUR</subfield><subfield code="9">978-2-7116-1796-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)470757444</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035394660</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">fr</subfield><subfield code="c">FR</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC72</subfield></datafield><datafield tag="082" ind1="1" 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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Philosophie de la logique</subfield><subfield code="b">conséquence, preuve et vérité</subfield><subfield code="c">textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Vrin</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">447 S.</subfield><subfield code="c">18 cm.</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="0" ind2=" "><subfield code="a">Textes clés</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Vérité</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">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Bonnay, Denis</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cozic, Mikaël</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=017315400&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-017315400</subfield></datafield></record></collection> |
id | DE-604.BV035394660 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T21:34:15Z |
institution | BVB |
isbn | 9782711617968 |
language | French |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017315400 |
oclc_num | 470757444 |
open_access_boolean | |
owner | DE-29 |
owner_facet | DE-29 |
physical | 447 S. 18 cm. |
publishDate | 2009 |
publishDateSearch | 2009 |
publishDateSort | 2009 |
publisher | Vrin |
record_format | marc |
series2 | Textes clés |
spelling | Philosophie de la logique conséquence, preuve et vérité textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ... Paris Vrin 2009 447 S. 18 cm. txt rdacontent n rdamedia nc rdacarrier Textes clés Logique Logique ram Raisonnement Vérité Logik (DE-588)4036202-4 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Logik (DE-588)4036202-4 s Philosophie (DE-588)4045791-6 s DE-604 Bonnay, Denis Sonstige oth Cozic, Mikaël Sonstige oth Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017315400&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Philosophie de la logique conséquence, preuve et vérité Logique Logique ram Raisonnement Vérité Logik (DE-588)4036202-4 gnd Philosophie (DE-588)4045791-6 gnd |
subject_GND | (DE-588)4036202-4 (DE-588)4045791-6 |
title | Philosophie de la logique conséquence, preuve et vérité |
title_auth | Philosophie de la logique conséquence, preuve et vérité |
title_exact_search | Philosophie de la logique conséquence, preuve et vérité |
title_full | Philosophie de la logique conséquence, preuve et vérité textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ... |
title_fullStr | Philosophie de la logique conséquence, preuve et vérité textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ... |
title_full_unstemmed | Philosophie de la logique conséquence, preuve et vérité textes réunis par Denis Bonnay et Mikael Cozic. Présentés et traduit par ... |
title_short | Philosophie de la logique |
title_sort | philosophie de la logique consequence preuve et verite |
title_sub | conséquence, preuve et vérité |
topic | Logique Logique ram Raisonnement Vérité Logik (DE-588)4036202-4 gnd Philosophie (DE-588)4045791-6 gnd |
topic_facet | Logique Raisonnement Vérité Logik Philosophie |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017315400&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT bonnaydenis philosophiedelalogiqueconsequencepreuveetverite AT cozicmikael philosophiedelalogiqueconsequencepreuveetverite |