Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Logiche non classiche. Un'introduzione - Dario Palladino,Claudia Palladino - copertina
Logiche non classiche. Un'introduzione - Dario Palladino,Claudia Palladino - copertina
Dati e Statistiche
Wishlist Salvato in 99 liste dei desideri
Logiche non classiche. Un'introduzione
Disponibilità immediata
16,06 €
-5% 16,90 €
16,06 € 16,90 € -5%
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
16,06 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
16,90 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
16,90 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Multiservices
16,90 € + 7,50 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
16,06 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
16,90 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Bortoloso
16,90 € + 6,30 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Multiservices
16,90 € + 7,50 € Spedizione
disponibile in 5 giorni lavorativi disponibile in 5 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
Logiche non classiche. Un'introduzione - Dario Palladino,Claudia Palladino - copertina

Descrizione


Il testo costituisce un manuale di introduzione a vari sistemi logici che sono estensioni e/o alternative alla logica classica. La logica classica - detta anche "logica matematica" - infatti si fonda su alcuni presupposti che ne circoscrivono l'ambito di applicazione a una parte limitata del complesso dei ragionamenti umani. L'intento è offrire una panoramica di ampio respiro dei molteplici settori in cui oggi si articolano le ricerche logiche: le logiche modali, deontiche, epistemiche e temporali, le logiche polivalenti, paracoerenti e della rilevanza, la logica intuizionista, e alcune altre recentemente sviluppate nell'ambito dell'Intelligenza Artificiale.
Leggi di più Leggi di meno

Dettagli

2007
15 marzo 2007
Libro universitario
192 p., Brossura
9788843040025
Chiudi

Indice

Prefazione 1.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 2.La semantica di Kripke/Introduzione/ Strutture (Frames)/Interpretazioni e verità in strutture: modelli/Concetti semantici 3.La logica modale minimale/ Introduzione/ Formule valide/Formule non valide/Il calcolo K della logica modale minimale 4.Logiche modali aletiche/Introduzione/La logica modale aletica minimale KT/Il sistema KT4 (S4)/Il sistema KT5 (S5)/Le modalità nei tre sistemi logici/Logiche modali e implicazione stretta 5.Logiche deontiche/Introduzione/La logica deontica minimale KD/I sistemi D4 e D5/ Rapporti fra logiche aletiche e deontiche/ Considerazioni sulle logiche deontiche/Logica deontica e paradossi 6.Logiche epistemiche/Introduzione/La logica del sapere/La logica del credere e altri sistemi/Il problema dell’onniscienza logica/ Considerazioni sulle logiche epistemiche 7.Logiche temporali/Introduzione/ Linguaggio e semantica della logica temporale/ Formule valide in ogni struttura/La logica temporale minimale e le sue estensioni/ Considerazioni sulle logiche temporali / PARTE SECONDA. LOGICHE ALTERNATIVE ALLA LOGICA CLASSICA 8.Logiche polivalenti/Introduzione/La logica trivalente di ?ukasiewicz/La logica trivalente di Bochvar/La logica trivalente di Kleene/Altri sistemi polivalenti e conclusioni 9.Logiche della rilevanza/Introduzione /Il sistema R/Il paradosso negativo, la regola del sillogismo disgiuntivo e considerazioni sulle derivazioni rilevanti/Considerazioni semantiche e conclusioni 10.Logiche condizionali/Introduzione/Teorie consequenzialiste e compatibiliste/Il sistema LCS di Stalnaker/Il sistema LCL di Lewis/Altri sistemi di logica condizionale/Considerazioni sulle logiche condizionali 11.La logica intuizionista/Introduzione/ Alcune caratteristiche della logica intuizionista/Il calcolo proposizionale intuizionista/Ulteriori considerazioni sulla logica intuizionista 12.Logiche paracoerenti/Introduzione/Logiche paracoerenti di Da Costa/Atre logiche paracoerenti/ Considerazioni conclusive / PARTE TERZA. LOGICHE PER L’INTELLIGENZA ARTIFICIALE 13.Logiche non monotone/Introduzione/La negazione come fallimento/Logiche con default/ Logiche non monotone modali/Logiche circoscrittive/Semantica preferenziale e conclusioni 14.Logiche fuzzy/Introduzione/I connettivi nella logica fuzzy/Il paradosso del mucchio di grano 15.Logica lineare/Introduzione/Regole additive e moltiplicative/Le regole e i calcoli della logica lineare/Il significato dei connettivi lineari /

Valutazioni e recensioni

3,67/5
Recensioni: 4/5
(3)
Scrivi una recensione Scrivi una recensione
5
(1)
4
(0)
3
(2)
2
(0)
1
(0)

Recensioni pubblicate senza verifica sull'acquisto del prodotto.

pir
Recensioni: 5/5

Agile manualetto che presenta, con la chiarezza tipica dei testi di Palladino, le varie forme di logiche non classiche elaborate negli ultimi decenni, come estensioni o alternative alla logica classica, limitata dai suoi stessi presupposti a una porzione molto limitata del ragionamento e della realtà. Dopo un veloce ripasso del linguaggio e dei caratteri della logica classica, vengono introdotti i vari sistemi logici non classici in 3 distinte sezioni: logiche cheestendono la logica classica (logica modale, con ampia illustrazione della semantica kripkiana dei mondi possibili, logiche epistemiche, logiche temporali), logiche che costuiscono alternative alla logica classica e rinunciano ad almeno uno dei suoi principi cardine (logiche polivalenti, della rilevanza, condizionali, intuizionista, paracoerenti), e infine logiche implementate nei sistemi di Intelligenza Artificiale (logiche non monotone, logiche fuzzy, logica lineare).

Leggi di più Leggi di meno
a.s.
Recensioni: 3/5

non male, anche se un po' disorganico

Leggi di più Leggi di meno
vitaliano bacchi
Recensioni: 3/5

Un libro di logica ha sempre una aspetto ostico, tanto come un testo di analisi matematica; l'incapacità di scrivere testi in questo ambito senza ricorrere al fastidioso quanto inutile simbolismo operativo è il carattere che distingue l'autentico filosofo della matematica e cioè il logico dal matematico tout court, figura cui non va grande stima in campo filosofico e cioè nella campo della Ragione-intelligenza autentica, cioè metafisica. Il testo dei Paladino non è certo senza simboli ed è in questo senso un manuale operativo per il computer, ma l'eccezionale importanza del suo tema lo rende imprescindibile per la ricerca scientifica e, soprattutto giudiziaria. Il formalismo è la condizione del ragionamento puro, convergente, ma ci sono ambiti di ricerca in cui l'inferenza logica classica non risolve, anzi complica razionalizzando in modo improprio. La ragione della crisi dei linguaggi giuridici e della aberrazione dell'errore giudiziario che ne consegue è esattamente in ciò; nella difficoltà a matematizzare l'inferenza normativa rendendola rigorosa e tassonomica come quella della matematica e le logiche non classiche presentate nel testo costituiscono un ampliamento della funzione logica proprio nell'indagine giudiziaria. "Nautilus" il sistema che elaborando i testi dei notiziari di Al Jaazera ha approssimato l'intorno del punto di nascondiglio di Bin Laden, ne è una dimostrazione. Con logiche classiche, l'elaborazione del testo non avrebbe approssimato il punto y con altrettale convergenza : il contributo di logiche aletiche, modali, stocastiche, quelle esaminate nel libro, invece ha fatto il miracolo. Questo non significa che la logica classica si riduca ormai ad una operatività solo per sillogismo o che funzioni solo nel gioco degli scacchi: significa invece che ci sono fonti di informazione e linguaggi settoriali, come l'inferenza nell'insight della psicoanalisi, che richiedono logiche non classiche, per risolvere la nevrosi e per scoprire il colpevole.

Leggi di più Leggi di meno
Chiudi

Recensioni

3,67/5
Recensioni: 4/5
Scrivi una recensione Scrivi una recensione
5
(1)
4
(0)
3
(2)
2
(0)
1
(0)

Recensioni pubblicate senza verifica sull'acquisto del prodotto.

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi