Logiche non classiche: un'introduzione
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | Italian |
| Veröffentlicht: |
Roma
Carocci
2007
|
| Ausgabe: | 1. ed. |
| Schriftenreihe: | Quality paperbacks
194 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 186 S. |
| ISBN: | 9788843040025 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022399271 | ||
| 003 | DE-604 | ||
| 005 | 20070525 | ||
| 007 | t | ||
| 008 | 070424s2007 it |||| 00||| ita d | ||
| 020 | |a 9788843040025 |9 978-88-430-4002-5 | ||
| 035 | |a (OCoLC)122934926 | ||
| 035 | |a (DE-599)BVBBV022399271 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ita | |
| 044 | |a it |c IT | ||
| 045 | |a x4x- | ||
| 049 | |a DE-29 | ||
| 050 | 0 | |a BC50 | |
| 082 | 1 | |a 160 |2 21 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Palladino, Dario |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logiche non classiche |b un'introduzione |c Dario Palladino ; Claudia Palladino |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Roma |b Carocci |c 2007 | |
| 300 | |a 186 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Quality paperbacks |v 194 | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Palladino, Claudia |e Verfasser |4 aut | |
| 830 | 0 | |a Quality paperbacks |v 194 |w (DE-604)BV013869809 |9 194 | |
| 856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015607963 | ||
Datensatz im Suchindex
| _version_ | 1804136460345933824 |
|---|---|
| adam_text | 1. 2. 3 INDICE PREFAZIONE RICHIAMI DI LOGICA CLASSICA INTRODUZIONE LA
SINTASSI DELLA LOGICA PROPOSIZIONALE CLASSICA LA SEMANTICA DELLA LOGICA
PROPOSIZIONALE CLASSICA PRINCIPALI LEGGI E REGOLE LOGICHE TEOREMI DI
CORRETTEZZA E COMPLETEZZA PARTE PRIMA LOGICHE ESTENSIONI DELLA LOGICA
CLASSICA LA SEMANTICA DI KRIPKE INTRODUZIONE STRUTTURE (FRAMES)
INTERPRETAZIONI E VERIRA IN STRUTTURE: MODELLI CONCETTI SEMANTICI LA
LOGICA MODALE MINIMALE INTRODUZIONE FORMULE VALIDE 7 11 15 15 15 18 20
21 27 28 3 0 35 39 39 39 LOGICHE NON CLASSICHE FORMULE NON VALIDE 43
11CALCOLO K DELLA LOGICA MODALE MINIMALE 45 4 LOGICHE MODALI ALETICHE
49 INTRODUZIONE 49 LA LOGICA MODALE ALETICA MINIMALE KT 5 11SISTEMA KT4
(S4) 51 11SISTEMA KT5 (S5) 54 LE MODALITIL NEI TRE SISTEMI LOGICI 55
LOGICHE MODALI E IMPLICAZIONE STRETTA 56 5 LOGICHE DEONTICHE 59
INTRODUZIONE 59 LA LOGICA DEONTICA MINIMALE KD 61 I SISTEMI D4 E D5 62
RAPPORTI FRA LOGICHE ALETICHE E DEONTICHE 63 CONSIDERAZIONI SULLE
LOGICHE DEONTICHE 65 LOGICA DEONTICA E PARADOSSI 67 6. LOGICHE
EPISTEMICHE 73 INTRODUZIONE 73 LA LOGICA DE! SAPERE 74 LA LOGICA DE!
CREDERE E ALTRI SISTEMI 76 11PROBLEMA DELI ONNISCIENZA LOGICA 78
CONSIDERAZIONI SULLE LOGICHE EPISTEMICHE 81 7 LOGICHE TEMPORALI 83
INTRODUZIONE 83 LINGUAGGIO E SEMANTICA DELLA LOGICA TEMPORALE 84 FORMULE
VALIDE IN OGNI STRUTTURA 85 LA LOGICA TEMPORALE MINIMALE E LE SUE
ESTENSIONI 87 CONSIDERAZIONI SULLE LOGICHE TEMPORALI 93 8 INDICE PARTE
SECONDA LOGICHE ALTERNATIVE ALLA LOGICA CLASSICA 95 8. LOGICHE
POLIVALENTI 99 INTRODUZIONE 99 LA LOGICA TRIVALENTE DI LUKASIEWICZ 100
LA LOGICA TRIVALENTE DI BOCHVAR 102 LA LOGICA TRIVALENTE DI KLEENE 13
ALTRI SISTEMI POLIVALENTI E CONCLUSIONI 15 9 LOGICHE DELLA RILEVANZA
17 INTRODUZIONE 17 TI SISTEMA R 108 TI PARADOSSO NEGATIVO, LA REGOLA
DEL SILLOGISMO DI- SGIUNTIVO E CONSIDERAZIONI SULLE DERIVAZIONI
RILEVANTI 110 CONSIDERAZIONI SEMANTICHE E CONCLUSIONI 111 10. LOGICHE
CONDIZIONALI 115 INTRODUZIONE 115 TEORIE CONSEQUENZIALISTE E
COMPATIBILISTE II6 11SISTEMA LCS DI STALNAKER II8 11SISTEMA LCL DI LEWIS
119 ALTRI SISTEMI DI LOGICA CONDIZIONALE 121 CONSIDERAZIONI SULLE
LOGICHE CONDIZIONALI 122 [I. LA LOGICA INTUIZIONISTA 125 INTRODUZIONE
125 ALCUNE CARATTERISTICHE DELLA LOGICA INTUIZIONISTA 126 11CALCOLO
PROPOSIZIONALE INTUIZIONISTA 128 ULTERIORI CONSIDERAZIONI SULLA LOGICA
INTUIZIONISTA 131 9 LOGICHE NON CLASSICHE 12. LOGICHE PARACOERENTI 133
INTRODUZIONE 133 LOGICHE PARACOERENTI DI DA COSTA 134 ATRE LOGICHE
PARACOERENTI 136 CONSIDERAZIONI CONCLUSIVE 138 PARTE TERZA LOGICHE PER
L INTELLIGENZA ARTIFICIALE 141 13 LOGICHE NON MONOTONE 145 INTRODUZIONE
145 LA NEGAZIONE COME FALLIMENTO 146 LOGICHE CON DE/AULT 147 LOGICHE NON
MONOTONE MODALI 149 LOGICHE CIRCOSCRITTIVE 15 SEMANTICA PREFERENZIALE E
CONCLUSIONI 152 14 LOGICHE /UZZY 155 INTRODUZIONE 155 I CONNETTIVI
NELLA LOGICA /UZZY 157 IL PARADOSSO DE! MUCCHIO DI GRANO 160 15 LOGICA
LINEARE 163 INTRODUZIONE 163 REGOLE ADDITIVE E MOLTIPLICATIVE 164 LE
REGOLE E I CALCOLI DELLA LOGICA LINEARE 165 IL SIGNIFICATO DEI
CONNETTIVI LINEARI 167 INDICE DEI PRINCIPALI SIMBOLI E SISTEMI LOGICI
171 NOTE 175 BIBLIOGRAFIA 181 10
|
| adam_txt |
1. 2. 3 INDICE PREFAZIONE RICHIAMI DI LOGICA CLASSICA INTRODUZIONE LA
SINTASSI DELLA LOGICA PROPOSIZIONALE CLASSICA LA SEMANTICA DELLA LOGICA
PROPOSIZIONALE CLASSICA PRINCIPALI LEGGI E REGOLE LOGICHE TEOREMI DI
CORRETTEZZA E COMPLETEZZA PARTE PRIMA LOGICHE ESTENSIONI DELLA LOGICA
CLASSICA LA SEMANTICA DI KRIPKE INTRODUZIONE STRUTTURE (FRAMES)
INTERPRETAZIONI E VERIRA IN STRUTTURE: MODELLI CONCETTI SEMANTICI LA
LOGICA MODALE MINIMALE INTRODUZIONE FORMULE VALIDE 7 11 15 15 15 18 20
21 27 28 3 0 35 39 39 39 LOGICHE NON CLASSICHE FORMULE NON VALIDE 43
11CALCOLO K DELLA LOGICA MODALE MINIMALE 45 4 LOGICHE MODALI ALETICHE
49 INTRODUZIONE 49 LA LOGICA MODALE ALETICA MINIMALE KT 5 11SISTEMA KT4
(S4) 51 11SISTEMA KT5 (S5) 54 LE MODALITIL NEI TRE SISTEMI LOGICI 55
LOGICHE MODALI E IMPLICAZIONE STRETTA 56 5 LOGICHE DEONTICHE 59
INTRODUZIONE 59 LA LOGICA DEONTICA MINIMALE KD 61 I SISTEMI D4 E D5 62
RAPPORTI FRA LOGICHE ALETICHE E DEONTICHE 63 CONSIDERAZIONI SULLE
LOGICHE DEONTICHE 65 LOGICA DEONTICA E PARADOSSI 67 6. LOGICHE
EPISTEMICHE 73 INTRODUZIONE 73 LA LOGICA DE! SAPERE 74 LA LOGICA DE!
CREDERE E ALTRI SISTEMI 76 11PROBLEMA DELI' ONNISCIENZA LOGICA 78
CONSIDERAZIONI SULLE LOGICHE EPISTEMICHE 81 7 LOGICHE TEMPORALI 83
INTRODUZIONE 83 LINGUAGGIO E SEMANTICA DELLA LOGICA TEMPORALE 84 FORMULE
VALIDE IN OGNI STRUTTURA 85 LA LOGICA TEMPORALE MINIMALE E LE SUE
ESTENSIONI 87 CONSIDERAZIONI SULLE LOGICHE TEMPORALI 93 8 INDICE PARTE
SECONDA LOGICHE ALTERNATIVE ALLA LOGICA CLASSICA 95 8. LOGICHE
POLIVALENTI 99 INTRODUZIONE 99 LA LOGICA TRIVALENTE DI LUKASIEWICZ 100
LA LOGICA TRIVALENTE DI BOCHVAR 102 LA LOGICA TRIVALENTE DI KLEENE 13
ALTRI SISTEMI POLIVALENTI E CONCLUSIONI 15 9 LOGICHE DELLA RILEVANZA
17 INTRODUZIONE 17 TI SISTEMA R 108 TI PARADOSSO NEGATIVO, LA REGOLA
DEL SILLOGISMO DI- SGIUNTIVO E CONSIDERAZIONI SULLE DERIVAZIONI
RILEVANTI 110 CONSIDERAZIONI SEMANTICHE E CONCLUSIONI 111 10. LOGICHE
CONDIZIONALI 115 INTRODUZIONE 115 TEORIE CONSEQUENZIALISTE E
COMPATIBILISTE II6 11SISTEMA LCS DI STALNAKER II8 11SISTEMA LCL DI LEWIS
119 ALTRI SISTEMI DI LOGICA CONDIZIONALE 121 CONSIDERAZIONI SULLE
LOGICHE CONDIZIONALI 122 [I. LA LOGICA INTUIZIONISTA 125 INTRODUZIONE
125 ALCUNE CARATTERISTICHE DELLA LOGICA INTUIZIONISTA 126 11CALCOLO
PROPOSIZIONALE INTUIZIONISTA 128 ULTERIORI CONSIDERAZIONI SULLA LOGICA
INTUIZIONISTA 131 9 LOGICHE NON CLASSICHE 12. LOGICHE PARACOERENTI 133
INTRODUZIONE 133 LOGICHE PARACOERENTI DI DA COSTA 134 ATRE LOGICHE
PARACOERENTI 136 CONSIDERAZIONI CONCLUSIVE 138 PARTE TERZA LOGICHE PER
L'INTELLIGENZA ARTIFICIALE 141 13 LOGICHE NON MONOTONE 145 INTRODUZIONE
145 LA NEGAZIONE COME FALLIMENTO 146 LOGICHE CON DE/AULT 147 LOGICHE NON
MONOTONE MODALI 149 LOGICHE CIRCOSCRITTIVE 15 SEMANTICA PREFERENZIALE E
CONCLUSIONI 152 14 LOGICHE /UZZY 155 INTRODUZIONE 155 I CONNETTIVI
NELLA LOGICA /UZZY 157 IL PARADOSSO DE! MUCCHIO DI GRANO 160 15 LOGICA
LINEARE 163 INTRODUZIONE 163 REGOLE ADDITIVE E MOLTIPLICATIVE 164 LE
REGOLE E I CALCOLI DELLA LOGICA LINEARE 165 IL SIGNIFICATO DEI
CONNETTIVI LINEARI 167 INDICE DEI PRINCIPALI SIMBOLI E SISTEMI LOGICI
171 NOTE 175 BIBLIOGRAFIA 181 10 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Palladino, Dario Palladino, Claudia |
| author_facet | Palladino, Dario Palladino, Claudia |
| author_role | aut aut |
| author_sort | Palladino, Dario |
| author_variant | d p dp c p cp |
| building | Verbundindex |
| bvnumber | BV022399271 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC50 |
| callnumber-raw | BC50 |
| callnumber-search | BC50 |
| callnumber-sort | BC 250 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)122934926 (DE-599)BVBBV022399271 |
| 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 |
| discipline_str_mv | Philosophie |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01458nam a2200433 cb4500</leader><controlfield tag="001">BV022399271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070525 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070424s2007 it |||| 00||| ita d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788843040025</subfield><subfield code="9">978-88-430-4002-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)122934926</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022399271</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">ita</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">it</subfield><subfield code="c">IT</subfield></datafield><datafield tag="045" ind1=" " ind2=" "><subfield code="a">x4x-</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC50</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</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">Palladino, Dario</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logiche non classiche</subfield><subfield code="b">un'introduzione</subfield><subfield code="c">Dario Palladino ; Claudia Palladino</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Roma</subfield><subfield code="b">Carocci</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">186 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">Quality paperbacks</subfield><subfield code="v">194</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</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">Palladino, Claudia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Quality paperbacks</subfield><subfield code="v">194</subfield><subfield code="w">(DE-604)BV013869809</subfield><subfield code="9">194</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</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=015607963&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-015607963</subfield></datafield></record></collection> |
| id | DE-604.BV022399271 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T17:17:44Z |
| indexdate | 2024-07-09T20:56:45Z |
| institution | BVB |
| isbn | 9788843040025 |
| language | Italian |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015607963 |
| oclc_num | 122934926 |
| open_access_boolean | |
| owner | DE-29 |
| owner_facet | DE-29 |
| physical | 186 S. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Carocci |
| record_format | marc |
| series | Quality paperbacks |
| series2 | Quality paperbacks |
| spelling | Palladino, Dario Verfasser aut Logiche non classiche un'introduzione Dario Palladino ; Claudia Palladino 1. ed. Roma Carocci 2007 186 S. txt rdacontent n rdamedia nc rdacarrier Quality paperbacks 194 Logic Nichtklassische Logik (DE-588)4197462-1 gnd rswk-swf Nichtklassische Logik (DE-588)4197462-1 s DE-604 Palladino, Claudia Verfasser aut Quality paperbacks 194 (DE-604)BV013869809 194 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Palladino, Dario Palladino, Claudia Logiche non classiche un'introduzione Quality paperbacks Logic Nichtklassische Logik (DE-588)4197462-1 gnd |
| subject_GND | (DE-588)4197462-1 |
| title | Logiche non classiche un'introduzione |
| title_auth | Logiche non classiche un'introduzione |
| title_exact_search | Logiche non classiche un'introduzione |
| title_exact_search_txtP | Logiche non classiche un'introduzione |
| title_full | Logiche non classiche un'introduzione Dario Palladino ; Claudia Palladino |
| title_fullStr | Logiche non classiche un'introduzione Dario Palladino ; Claudia Palladino |
| title_full_unstemmed | Logiche non classiche un'introduzione Dario Palladino ; Claudia Palladino |
| title_short | Logiche non classiche |
| title_sort | logiche non classiche un introduzione |
| title_sub | un'introduzione |
| topic | Logic Nichtklassische Logik (DE-588)4197462-1 gnd |
| topic_facet | Logic Nichtklassische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV013869809 |
| work_keys_str_mv | AT palladinodario logichenonclassicheunintroduzione AT palladinoclaudia logichenonclassicheunintroduzione |