Logique formelle et argumentation:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Bruxelles
De Boeck
2009
|
| Ausgabe: | 1re éd. |
| Schriftenreihe: | Démarches de pensée
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 265 S. |
| ISBN: | 9782804104061 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035886034 | ||
| 003 | DE-604 | ||
| 005 | 20100205 | ||
| 007 | t | ||
| 008 | 091216s2009 |||| 00||| fre d | ||
| 020 | |a 9782804104061 |9 978-2-8041-0406-1 | ||
| 035 | |a (OCoLC)495296818 | ||
| 035 | |a (DE-599)BVBBV035886034 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-29 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 082 | 0 | |a 168 |2 22 | |
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Bouquiaux, Laurence |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logique formelle et argumentation |c Laurence Bouquiaux ; Bruno Leclercq |
| 250 | |a 1re éd. | ||
| 264 | 1 | |a Bruxelles |b De Boeck |c 2009 | |
| 300 | |a 265 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Démarches de pensée | |
| 650 | 7 | |a Argumentation (logique) |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Logique |2 ram | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Leclercq, Bruno |e Verfasser |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=018743506&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018743506 | ||
Datensatz im Suchindex
| _version_ | 1804140868523786240 |
|---|---|
| adam_text | LABLE DES MATIERES INTRODUCTION GENERALE 5 PREMIERE PARTIE DEDUCTION
CHAPITRE 1 - LOGIQUE DES PROPOSITIONS 11 INTROD UCTION 12 LE MODELE DE
LA DEMONSTRATION MATHEMATIQUE (IMPERSONNELLE ET NECESSAIRE) 12 VALIDITE
DEDUCTIVE 12 FORME DU RAISONNEMENT ET FORMALISATION 14 A. LOGIQUE
ANCIENNE : MEGARIQUES ET STO ICIENS 15 PROPOSITIONS ET SCHEMAS
D INFERENCE PROPOSITIONNELS 15 LESSCHEMAS D INFERENCE STO;CIENS 16 B.
LOG IQ UE CONTEMPORA INE 19 LESCONNECTEURS VERIFONCTIONNELS 19 LA
FORMALISATION : PASSAGE DU LANGAGE ORDINAIRE AU LANGAGE LOGIQUE 25
TABLES DE VERITE ET TAUTOLOGIES 29 TABLEAUX SEMANTIQUES 32 SEMANTIQUE ET
SYNTAXE 36 IMPLICATION ET EQUIVALENCE 38 TRANSFORMATIONS PAR EQUIVALENCE
ET SCHEMAS NORMAUX 39 SCHEMASD INFERENCE ET DEDUCTION NATURELLE 45
DEFINITION AXIOMATIQUE DES CONNECTEURS 52 RETOUR AUX NOTIONS DE
SYNTAXE » ET DE SEMANTIQUE » 54 CHAPITRE 2 - LOGIQUE DES PREDICATS DU
PREMIER ORDRE 57 A. LOGIQUE ANCIENNE : ARISTOTE ET LA SCOLASTIQUE 58
TERMES ET TYPES DE PREDICATION 58 CARRE LOGIQUE ET INFERENCES IMMEDIATES
59 SYLLOGISMES CATEGORIQUES 62 TRAITEMENT ENSEMBLISTE : LES DIAGRAMMES
DE VENN 68 264 LOGIQUE FORMELLE ET ARGUMENTATION C ALGEBRE DE BOOLE 74
B. LOGIQUE CONTEMPORAINE 77 QUANTIFICATEURS, FONCTIONS PROPOSITIONNELLES
ET RELATIONS 77 LA FORMALISATION : PASSAGE DU LANGAGE ORDINAIRE AU
LANGAGE LOGIQUE 81 TABLEAUX SEMANTIQUES 83 TRANSFORMATIONS PAR
EQUIVALENCE 89 DEDUCTION NATURELLE 92 DEFINITION AXIOMATIQUE DES
QUANTIFICATEURS 101 DEUXIEME PARTIE ARGUMENTATION CHAPITRE 1 - THEORIE
DES SOPHISMES 105 INTROD UCTION 106 DE NOUVELLES EXIGENCES DE LA RAISON
IDENTIFIEES A CONTRA RIO 106 CLASSIFICATION DES SOPHISMES 107 A.
EXIGENCE DE VALIDITE DEDUCTIVE 109 USAGE DE FAUX-FRERES DES SCHEMAS
D INFERENCE STOI CIENS 109 VIOLATION DES LOIS DE DE MORGAN 111 CONFUSION
DE LA CONTRARIETE ET DE LA CONTRADICTION 112 VIOLATION DES LOIS DE
DISTRIBUTION DES QUANTIFICATEURS 113 INVERSION DE I ORDRE DES
QUANTIFICATEURS 114 B. EXIGENCE DE RATIONALITE NON DEDUCTIVE 115
APPLICATIONS ABUSIVES DES PRINCIPES D INDUCTION 115 APPLICATIONS
ABUSIVES DES PRINCIPES D IDENTIFICATION DES CAUSES 119 APPLICATIONS
ABUSIVES DE LOIS PORTANT SUR LES TOUTS ET LES PARTIES 123 APPLICATIONS
ABUSIVES DE PRINCIPES DE LA RATIONALITE PRATIQUE 125 C. EXIGENCE
D UNIVOCITE DU LANGAGE 125 AMBIGUI TE LEXICALE 126 AMBIGUI TE SYNTAXIQUE
OU AMPHIBOLOGIE 128 AMBIGUI TE REFERENTIELLE 129 ACCENTUATION 131
FIGURES DE STYLE 132 D. EXIGENCE DE CONFORMITE DE LA CONCLUSION
DEMONTREE PAR RAPPORT A LA CONCLUSION ANNONCEE 133 E. EXIGENCE
D EXPLICITATION ET D EXAMEN CRITIQUE DES PREMISSES 136 QUESTIONS ET
ASSERTIONS COMPLEXES 136 RAISONNEMENT CIRCULAIRE 137 TABLE DES MATIERES
265 RENVERSEMENT DE LA CHARGE DE LA PREUVE 140 AUTORITE 141 A TTAQUE
PERSONNELLE .143 F. EXIGENCE DE PERTINENCE RATIONNELLE DES ARGUMENTS POU
R LA CONCL USION 147 DEMAGOGIE 147 SOPHISME PRAGMATIQUE 148 E N
CONCLUSION 149 CHA PITRE 2 - DIALECTIQUE 151 INTRODUCTION 152 A. LE
DEBAT CONTRADICTOIRE 153 UNE ARGUMENTATION PERSONNALISEE 153 UNE
ARGUMENTATION SANS NECESSITE 155 LE MODELE DE I ARGUMENTATION JURIDIQUE
157 PEUT-ON FORMALISER I ARGUMENTATION JURIDIQUE ? 163 DE
I IMPOSSIBILITE DES MACHINES A JUGER 167 B. LA NOUVELLE RHETORIQUE 171
RELECTURE DES EXIGENCES DE LA VALIDITE DEDUCTIVE 172 RELECTURE DES
EXIGENCES DE LA RATIONALITE NON DEDUCTIVE 175 RELECTURE DES EXIGENCES
D UNIVOCITE 180 RELECTURE DES EXIGENCES DE CONFORMITE DE LA CONCLUSION
DEMONTREE PAR RAPPORT A LA CONCLUSION ANNONCEE 184 RELECTURE DES
EXIGENCES D EXAMEN DES PREMISSES 185 RELECTURE DES EXIGENCES DE
PERTINENCE 189 PROCEDES ORATOIRES EFFICACES 190 C. LA NOUVELLE
DIALECTIQUE 193 RELECTURE PRAGMATISTE DES SOPHISMES 193 EXERCICES 1
DEDUCTION CHAPITRE 1 - LOGIQUE DES PROPOSITIONS 201 CHAPITRE 2 - LOGIQUE
DES PREDICATS 217 EXERCICES 2 ARGUMENTATION BIBLIOGRAPH IE 261
|
| any_adam_object | 1 |
| author | Bouquiaux, Laurence Leclercq, Bruno |
| author_facet | Bouquiaux, Laurence Leclercq, Bruno |
| author_role | aut aut |
| author_sort | Bouquiaux, Laurence |
| author_variant | l b lb b l bl |
| building | Verbundindex |
| bvnumber | BV035886034 |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)495296818 (DE-599)BVBBV035886034 |
| dewey-full | 511.3 168 160 |
| dewey-hundreds | 500 - Natural sciences and mathematics 100 - Philosophy & psychology |
| dewey-ones | 511 - General principles of mathematics 168 - Argument and persuasion 160 - Philosophical logic |
| dewey-raw | 511.3 168 160 |
| dewey-search | 511.3 168 160 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| edition | 1re éd. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01503nam a2200433 c 4500</leader><controlfield tag="001">BV035886034</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100205 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091216s2009 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9782804104061</subfield><subfield code="9">978-2-8041-0406-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)495296818</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035886034</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">168</subfield><subfield code="2">22</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 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">Bouquiaux, Laurence</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique formelle et argumentation</subfield><subfield code="c">Laurence Bouquiaux ; Bruno Leclercq</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1re éd.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bruxelles</subfield><subfield code="b">De Boeck</subfield><subfield code="c">2009</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="0" ind2=" "><subfield code="a">Démarches de pensée</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Argumentation (logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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">Leclercq, Bruno</subfield><subfield code="e">Verfasser</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=018743506&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-018743506</subfield></datafield></record></collection> |
| id | DE-604.BV035886034 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:06:49Z |
| institution | BVB |
| isbn | 9782804104061 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018743506 |
| oclc_num | 495296818 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | 265 S. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | De Boeck |
| record_format | marc |
| series2 | Démarches de pensée |
| spelling | Bouquiaux, Laurence Verfasser aut Logique formelle et argumentation Laurence Bouquiaux ; Bruno Leclercq 1re éd. Bruxelles De Boeck 2009 265 S. txt rdacontent n rdamedia nc rdacarrier Démarches de pensée Argumentation (logique) ram Logique symbolique et mathématique ram Logique ram Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Leclercq, Bruno Verfasser aut Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018743506&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bouquiaux, Laurence Leclercq, Bruno Logique formelle et argumentation Argumentation (logique) ram Logique symbolique et mathématique ram Logique ram Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Logique formelle et argumentation |
| title_auth | Logique formelle et argumentation |
| title_exact_search | Logique formelle et argumentation |
| title_full | Logique formelle et argumentation Laurence Bouquiaux ; Bruno Leclercq |
| title_fullStr | Logique formelle et argumentation Laurence Bouquiaux ; Bruno Leclercq |
| title_full_unstemmed | Logique formelle et argumentation Laurence Bouquiaux ; Bruno Leclercq |
| title_short | Logique formelle et argumentation |
| title_sort | logique formelle et argumentation |
| topic | Argumentation (logique) ram Logique symbolique et mathématique ram Logique ram Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Argumentation (logique) Logique symbolique et mathématique Logique Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018743506&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bouquiauxlaurence logiqueformelleetargumentation AT leclercqbruno logiqueformelleetargumentation |