SEARCH RESULTS

The search has found 26 titles

Francesco Nappo

L'analogia nell'indagine scientifica

A difesa della funzione induttiva

Il testo analizza il potere propulsivo dell’analogia nell’indagine scientifica, esplorando diverse modalità con cui essa è impiegata per formulare ipotesi, interpretare dati e generare modelli. Inteso come contributo alla filosofia della scienza e all’epistemologia contemporanea, il volume si rivolge a chiunque intenda approfondire le dinamiche cognitive e metodologiche che soggiacciono al processo di scoperta scientifica.

cod. 490.115

Paolo Artuso

Argomentare

Tra logica, retorica e scienze cognitive

Saper argomentare correttamente è una competenza necessaria per comunicare a qualsiasi livello, dal dibattito pubblico alla semplice discussione tra amici. Il libro ha lo scopo di aiutare il lettore a valutare autonomamente la correttezza delle tesi in una discussione e a difendersi dagli pseudoargomenti. Logica, retorica, dialettica, pragmatica del linguaggio e alcuni principi di psicologia cognitiva sono gli strumenti utilizzati per capire il funzionamento di un’argomentazione efficace.

cod. 244.1.95

Erik J. Larson

Il mito dell'intelligenza artificiale

Perché i computer non possono pensare come noi

I futurologi sono convinti che l’intelligenza artificiale eclisserà a breve le capacità delle mente umana più dotata. Che speranza abbiamo dunque contro le macchine superintelligenti? Erik Larson sostiene senza mezzi termini e con argomenti stringenti che in realtà non siamo sulla strada giusta per sviluppare macchine intelligenti. Anzi, in effetti non sappiamo nemmeno dove si trovi quella strada.

cod. 1802.20

Nicolò Fazioni

Il problema della contingenza.

Logica e politica in Hegel

Una lettura originale della filosofia di Hegel tesa a dimostrare come il problema della contingenza agisca a livello dell’architettura stessa del sistema, offrendoci un prezioso strumento per capirne la dimensione logica, quella politica e per leggere la fondamentale articolazione che unisce queste ultime.

cod. 499.30

A 100 anni dalla nascita, il logico e matematico Alan Mathison Turing, figura geniale ed eclettica, chiave risolutiva per l’intelligence britannica, rimane ancora un’equazione irrisolta. Il testo, frutto di una giornata di studi a lui dedicata, intende ricordarlo nella sua interezza, per il suo lavoro, le sue intuizioni, la sua vita.

cod. 1200.34

Evandro Agazzi

Ragioni e limiti del formalismo.

Saggi di filosofia della logica e della matematica

Una raccolta di alcuni dei principali saggi di Evandro Agazzi (difficilmente reperibili perché apparsi su riviste o in volumi collettivi, pubblicati, in parte, in lingua straniera), che hanno scandito la riflessione dell’autore sull’egemonia del formalismo e sulle ragioni dell’impossibilità di assolutizzarlo.

cod. 490.100

Luca Tambolo

Meta e Metodo

Il dibattito metametodologico a partire dall'opera di Larry Laudan

Nell’ambito della filosofia della scienza del Novecento, sono state sviluppate concezioni del metodo (metodologie) fra loro molto differenti. Si pone dunque il problema, per ciascun metodologo, di dimostrare che le sue norme metodologiche sono funzionali al raggiungimento dei fini della scienza. L’analisi di tale problema va oggi sotto il nome di metametodologia, coniato da Larry Laudan. Il volume affronta alcuni aspetti del dibattito metametodologico contemporaneo prendendo le mosse, appunto, dall’opera di Laudan.

cod. 495.212

Massimo Panzarella

Logica dei quantificatori dipendenti e indipendenti

Saggio critico-introduttivo alla logica filo-indipendente di Hintikka

A differenza della logica tradizionale, in questa prima monografia italiana sulla logica filo-indipendente di Jaakko Hintikka, la verità logica non è la conclusione di una dimostrazione affidata a regole deduttive, ma il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). Gli strumenti introdotti da Hintikka e Sandu per la descrizione della verità sono i quantificatori dipendenti e indipendenti, l’uso di due negazioni (una duale e una contraddittoria), nonché un raffinato concetto di esistenza.

cod. 490.95

Raffaele Bruno

Logiche della corporeità

Seminario di studi

Nato da un seminario tenutosi presso l’Università di Cassino, il volume propone una logica della corporeità come logica non stricto sensu razionalista, bensì aperta alle ragioni del “sentire”, del patire, dell’essere-vivente. Il corpo di cui si parla in questo libro è dunque il corpo vivente – Leib – soggetto senziente, energia originaria, conatus, altro dal corpo/cosa – Körper – oggetto di osservazione, analisi scientifica, misurazione.

cod. 284.35

Evandro Agazzi, Nicla Vassallo

George Boole

Filosofia, logica, matematica

cod. 490.62