Modelli mentali : Verso una scienza cognitiva del linguaggio, dell'inferenza e della coscienza / Philip N. Johnson-Laird |
Autore | Johnson-Laird, Philip N. |
Pubbl/distr/stampa | Bologna : Il Mulino, c1983 |
Descrizione fisica | 756 p. ; 24 cm |
Disciplina | 510.1 |
Collana | Sistemi Intelligenti |
Soggetto non controllato | Logica |
ISBN | 88-15-03863-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001330700403321 |
Johnson-Laird, Philip N. | ||
Bologna : Il Mulino, c1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Il mondo come gioco matematico : John von Neumann, scienziato del novecento / Giorgio Israel ; Ana Millan Gasca |
Autore | Israel, Giorgio |
Pubbl/distr/stampa | Roma : La Nuova Italia Scientifica, c1995 |
Descrizione fisica | 158 p. ; 22 cm. |
Disciplina | 510.1 |
Altri autori (Persone) | Gasca, Ana Millan |
Collana | Studi superiori NIS. Scienze ; 249 |
Soggetto topico |
Matematica - Filosofia e teoria
Neumann, John : von - Saggio critico |
ISBN | 8843003194 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991003756809707536 |
Israel, Giorgio | ||
Roma : La Nuova Italia Scientifica, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Méthode axiomatique et formalisme : essai sur le problème du fondament des mathématiques / Jean Cavaillés |
Autore | Cavaillés, Jean |
Pubbl/distr/stampa | Paris : Hermann, 1981 |
Descrizione fisica | 196 p. ; 26 cm. |
Disciplina | 510.1 |
Soggetto topico | General logic |
ISBN | 2705659412 |
Classificazione | AMS 03B |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ||| |
Record Nr. | UNISALENTO-991001136029707536 |
Cavaillés, Jean | ||
Paris : Hermann, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
New directions in the philosophy of mathematics : an antology / ed. by Thomas Tymoczko |
Autore | Tymoczko, Thomas |
Pubbl/distr/stampa | Boston : Birkhauser, 1986 |
Descrizione fisica | xvii, 323 p. , 24 cm. |
Disciplina | 510.1 |
Soggetto topico |
Mathematics - Selected works
Philosophy of mathematics |
ISBN | 0817631631 |
Classificazione |
AMS 03A05
QA8.4.N48 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001166619707536 |
Tymoczko, Thomas | ||
Boston : Birkhauser, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
New essays on Tarski and philosophy [[electronic resource] /] / edited by Douglas Patterson |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (443 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | PattersonDouglas |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-82563-8
9786611825638 0-19-155907-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; List of Contributors; 1 Introduction; 2 Tarski and his Polish Predecessors on Truth; 3 Polish Axiomatics and its Truth: On Tarski's Leśniewskian Background and the Ajdukiewicz Connection; 4 Tarski's Conceptual Analysis of Semantical Notions; 5 Tarski's Theory of Definition; 6 Tarski's Convention T and the Concept of Truth; 7 Tarski's Conception of Meaning; 8 Tarski, Neurath, and Kokoszyńska on the Semantic Conception of Truth; 9 Tarski's Nominalism; 10 Truth, Meaning, and Translation; 11 Reflections on Consequence; 12 Tarski's Thesis
13 Are There Model-Theoretic Logical Truths that are not Logically True?14 Truth on a Tight Budget: Tarski and Nominalism; 15 Alternative Logics and the Role of Truth in the Interpretation of Languages; Index |
Record Nr. | UNINA-9910453568203321 |
Oxford ; ; New York, : Oxford University Press, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New essays on Tarski and philosophy [[electronic resource] /] / edited by Douglas Patterson |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (443 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | PattersonDouglas |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical - Philosophy |
ISBN |
0-19-160883-1
1-281-82563-8 9786611825638 0-19-155907-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; List of Contributors; 1 Introduction; 2 Tarski and his Polish Predecessors on Truth; 3 Polish Axiomatics and its Truth: On Tarski's Leśniewskian Background and the Ajdukiewicz Connection; 4 Tarski's Conceptual Analysis of Semantical Notions; 5 Tarski's Theory of Definition; 6 Tarski's Convention T and the Concept of Truth; 7 Tarski's Conception of Meaning; 8 Tarski, Neurath, and Kokoszyńska on the Semantic Conception of Truth; 9 Tarski's Nominalism; 10 Truth, Meaning, and Translation; 11 Reflections on Consequence; 12 Tarski's Thesis
13 Are There Model-Theoretic Logical Truths that are not Logically True?14 Truth on a Tight Budget: Tarski and Nominalism; 15 Alternative Logics and the Role of Truth in the Interpretation of Languages; Index |
Record Nr. | UNINA-9910782315603321 |
Oxford ; ; New York, : Oxford University Press, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New essays on Tarski and philosophy [[electronic resource] /] / edited by Douglas Patterson |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (443 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | PattersonDouglas |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical - Philosophy |
ISBN |
0-19-160883-1
1-281-82563-8 9786611825638 0-19-155907-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; List of Contributors; 1 Introduction; 2 Tarski and his Polish Predecessors on Truth; 3 Polish Axiomatics and its Truth: On Tarski's Leśniewskian Background and the Ajdukiewicz Connection; 4 Tarski's Conceptual Analysis of Semantical Notions; 5 Tarski's Theory of Definition; 6 Tarski's Convention T and the Concept of Truth; 7 Tarski's Conception of Meaning; 8 Tarski, Neurath, and Kokoszyńska on the Semantic Conception of Truth; 9 Tarski's Nominalism; 10 Truth, Meaning, and Translation; 11 Reflections on Consequence; 12 Tarski's Thesis
13 Are There Model-Theoretic Logical Truths that are not Logically True?14 Truth on a Tight Budget: Tarski and Nominalism; 15 Alternative Logics and the Role of Truth in the Interpretation of Languages; Index |
Record Nr. | UNINA-9910824439703321 |
Oxford ; ; New York, : Oxford University Press, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New perspectives on mathematical practices [[electronic resource] ] : essays in philosophy and history of mathematics : Brussels, Belgium, 26-28 March 2007 / / edited by Bart van Kerkhove |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2009 |
Descrizione fisica | 1 online resource (248 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | KerkhoveBart van |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-44097-7
9786612440977 981-281-223-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Editorial Preface; CONTENTS; On the Nature and Origin of Algebraic Symbolism Albrecht Hee er; Reading Diophantos Ad Meskens; What Did the Abbacus Teachers Aim at When They (Sometimes) Ended up Doing Mathematics? An Investigation of the Incentives and Norms of a Distinct Mathematical Practice Jens Høyrup; Philosophical Method and Galileo's Paradox of Infinity Matthew Parker; Representations as Means and Ends: Representability and Habituation in Mathematical Analysis During the First Part of the Nineteenth Century Henrik Kragh Sørensen
Nineteenth Century Analysis as Philosophy of Mathematics Jeremy J. GrayDedekind, Structural Reasoning, and Mathematical Understanding Erich H. Reck; A Mathematician and a Philosopher on the Science-Likeness of Mathematics: Klein's and Lakatos' Methodologies Compared Eduard Glas; An Enhanced Argument for Innate Elementary Geometric Knowledge and Its Philosophical Implications Helen De Cruz; The Serpent in Russell's Paradise Ronny Desmet; Bridging Theories with Axioms: Boole, Stone, and Tarski Dirk Schlimm |
Record Nr. | UNINA-9910456706203321 |
Singapore ; ; Hackensack, NJ, : World Scientific, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New perspectives on mathematical practices [[electronic resource] ] : essays in philosophy and history of mathematics : Brussels, Belgium, 26-28 March 2007 / / edited by Bart van Kerkhove |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2009 |
Descrizione fisica | 1 online resource (248 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | KerkhoveBart van |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
ISBN |
1-282-44097-7
9786612440977 981-281-223-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Editorial Preface; CONTENTS; On the Nature and Origin of Algebraic Symbolism Albrecht Hee er; Reading Diophantos Ad Meskens; What Did the Abbacus Teachers Aim at When They (Sometimes) Ended up Doing Mathematics? An Investigation of the Incentives and Norms of a Distinct Mathematical Practice Jens Høyrup; Philosophical Method and Galileo's Paradox of Infinity Matthew Parker; Representations as Means and Ends: Representability and Habituation in Mathematical Analysis During the First Part of the Nineteenth Century Henrik Kragh Sørensen
Nineteenth Century Analysis as Philosophy of Mathematics Jeremy J. GrayDedekind, Structural Reasoning, and Mathematical Understanding Erich H. Reck; A Mathematician and a Philosopher on the Science-Likeness of Mathematics: Klein's and Lakatos' Methodologies Compared Eduard Glas; An Enhanced Argument for Innate Elementary Geometric Knowledge and Its Philosophical Implications Helen De Cruz; The Serpent in Russell's Paradise Ronny Desmet; Bridging Theories with Axioms: Boole, Stone, and Tarski Dirk Schlimm |
Record Nr. | UNINA-9910781089203321 |
Singapore ; ; Hackensack, NJ, : World Scientific, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New perspectives on mathematical practices [[electronic resource] ] : essays in philosophy and history of mathematics : Brussels, Belgium, 26-28 March 2007 / / edited by Bart van Kerkhove |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2009 |
Descrizione fisica | 1 online resource (248 p.) |
Disciplina | 510.1 |
Altri autori (Persone) | KerkhoveBart van |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
ISBN |
1-282-44097-7
9786612440977 981-281-223-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Editorial Preface; CONTENTS; On the Nature and Origin of Algebraic Symbolism Albrecht Hee er; Reading Diophantos Ad Meskens; What Did the Abbacus Teachers Aim at When They (Sometimes) Ended up Doing Mathematics? An Investigation of the Incentives and Norms of a Distinct Mathematical Practice Jens Høyrup; Philosophical Method and Galileo's Paradox of Infinity Matthew Parker; Representations as Means and Ends: Representability and Habituation in Mathematical Analysis During the First Part of the Nineteenth Century Henrik Kragh Sørensen
Nineteenth Century Analysis as Philosophy of Mathematics Jeremy J. GrayDedekind, Structural Reasoning, and Mathematical Understanding Erich H. Reck; A Mathematician and a Philosopher on the Science-Likeness of Mathematics: Klein's and Lakatos' Methodologies Compared Eduard Glas; An Enhanced Argument for Innate Elementary Geometric Knowledge and Its Philosophical Implications Helen De Cruz; The Serpent in Russell's Paradise Ronny Desmet; Bridging Theories with Axioms: Boole, Stone, and Tarski Dirk Schlimm |
Record Nr. | UNINA-9910811169103321 |
Singapore ; ; Hackensack, NJ, : World Scientific, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|