Logica dei quantificatori dipendenti e indipendenti. Saggio critico-introduttivo alla logica filo-indipendente di Hintikka - 9788856807813

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 è piuttosto il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). In tal modo Hintikka sviluppa un linguaggio logico con una semantica basata sulla teoria dei giochi di von Neumann e Morgenstern che è in grado di descrivere, attraverso un 'dialogo' tra un proponente ed un opponente, l'ontologia del mondo. Che cos'è allora la verità? È forse la capacità di possedere una strategia vincente contro un opponente secondo l'attività di socratica memoria del cercare e trovare prove? In questo approccio assunto come 'rivoluzionario', 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. Tra le novità, non solo Hintikka corregge l''errore' della notazione Frege-Russell, la quale non prevede la possibilità di esprimere relazioni di indipendenza informativa tra quantificatori universali ed esistenziali, ma ambisce anche ad esorcizzare la maledizione di Tarski (Tarski's curse), cioè l'impossibilità di definire il predicato 'vero' per il linguaggio in sé.
Unlike the traditional logic, in this first Italian monograph on Logic Pro-independent of Jaakko Hintikka, truth, logic is not the end of a demonstration by deductive rules, but is rather the result of contention dialogue between a forger (Abelard) and a verifier (Heloise). Thus logical language semantics Hintikka developed based on the game theory of von Neumann and Morgenstern which is able to describe, through a ' dialogue ' between a proponent and opponent, the ontology of the world. What then is the truth? And perhaps the ability to own a winning strategy against an opposing second Socratic activity memory of seek and find proof? In this approach as ' revolutionary ', the tools introduced by Hintikka and Sandu for describing the truths are dependent and independent quantifiers, using two negatives (a dual and a contradictory), and a fine concept of existence. Among the changes, not only Hintikka corrects ' error ' Frege-Russell notation, which does not provide for the possibility to express independence relations between universal and existential quantifiers statement, but aims also to exorcise the curse of Tarski (Tarski's curse), namely the inability to define the predicate ' true ' for the language itself.