Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others]
| Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others] |
| Autore | Ficara Elena |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 |
| Descrizione fisica | 1 online resource (232 p.) |
| Disciplina | 111 |
| Collana | Berlin Studies in Knowledge Research |
| Soggetto topico | Contradiction |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-037686-5
3-11-034082-8 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Acknowledgements -- Contents -- Introduction / Ficara, Elena -- Part I: Logic -- Contradictory Concepts / Priest, Graham -- Rapunzel Shaves Pinocchio's Beard / Beall, JC -- Paradoxes and the Reality of Contradictions / D'Agostini, Franca -- Logic, Ontological Neutrality, and the Law of Non-Contradiction / Varzi, Achille C. -- Representing the Contradictory / Berto, Francesco -- Part II: History -- Objections to Aristotle's Defence of the Principle of Non-Contradiction / Berti, Enrico -- The Justice of Contradiction / Nuzzo, Angelica -- Limit and Contradiction in Hegel / Illetterati, Luca -- Zur Logik moralischer Urteile / Vieweg, Klaus -- Part III: Actuality -- Insuperable Contradictions / Vattimo, Gianni -- A Disenchanted Reenchantment -- Wie wir auf Konsistenz aus sind - und warum / Welsch, Wolfgang -- List of Contributors -- Index of Names -- Subject Index |
| Record Nr. | UNINA-9910459750103321 |
Ficara Elena
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others]
| Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others] |
| Autore | Ficara Elena |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 |
| Descrizione fisica | 1 online resource (232 p.) |
| Disciplina | 111 |
| Collana | Berlin Studies in Knowledge Research |
| Soggetto topico | Contradiction |
| Soggetto non controllato | Irreducibility, reality |
| ISBN |
3-11-037686-5
3-11-034082-8 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Acknowledgements -- Contents -- Introduction / Ficara, Elena -- Part I: Logic -- Contradictory Concepts / Priest, Graham -- Rapunzel Shaves Pinocchio's Beard / Beall, JC -- Paradoxes and the Reality of Contradictions / D'Agostini, Franca -- Logic, Ontological Neutrality, and the Law of Non-Contradiction / Varzi, Achille C. -- Representing the Contradictory / Berto, Francesco -- Part II: History -- Objections to Aristotle's Defence of the Principle of Non-Contradiction / Berti, Enrico -- The Justice of Contradiction / Nuzzo, Angelica -- Limit and Contradiction in Hegel / Illetterati, Luca -- Zur Logik moralischer Urteile / Vieweg, Klaus -- Part III: Actuality -- Insuperable Contradictions / Vattimo, Gianni -- A Disenchanted Reenchantment -- Wie wir auf Konsistenz aus sind - und warum / Welsch, Wolfgang -- List of Contributors -- Index of Names -- Subject Index |
| Record Nr. | UNINA-9910786801603321 |
|
Ficara Elena
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others]
| Contradictions : logic, history, actuality / / Elena Ficara ; contributors, J. C. Beall [and twelve others] |
| Autore | Ficara Elena |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 |
| Descrizione fisica | 1 online resource (232 p.) |
| Disciplina | 111 |
| Collana | Berlin Studies in Knowledge Research |
| Soggetto topico | Contradiction |
| Soggetto non controllato | Irreducibility, reality |
| ISBN |
3-11-037686-5
3-11-034082-8 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Acknowledgements -- Contents -- Introduction / Ficara, Elena -- Part I: Logic -- Contradictory Concepts / Priest, Graham -- Rapunzel Shaves Pinocchio's Beard / Beall, JC -- Paradoxes and the Reality of Contradictions / D'Agostini, Franca -- Logic, Ontological Neutrality, and the Law of Non-Contradiction / Varzi, Achille C. -- Representing the Contradictory / Berto, Francesco -- Part II: History -- Objections to Aristotle's Defence of the Principle of Non-Contradiction / Berti, Enrico -- The Justice of Contradiction / Nuzzo, Angelica -- Limit and Contradiction in Hegel / Illetterati, Luca -- Zur Logik moralischer Urteile / Vieweg, Klaus -- Part III: Actuality -- Insuperable Contradictions / Vattimo, Gianni -- A Disenchanted Reenchantment -- Wie wir auf Konsistenz aus sind - und warum / Welsch, Wolfgang -- List of Contributors -- Index of Names -- Subject Index |
| Record Nr. | UNINA-9910812596603321 |
|
Ficara Elena
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen
| Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| Pubbl/distr/stampa | Boston : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (424 p.) |
| Disciplina | 511.3 |
| Collana | Ontos mathematical logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra, Boolean Quasi-metric spaces Petri nets Set theory |
| Soggetto non controllato |
Computability theory
descriptive set theory non-classical logic |
| ISBN |
1-61451-940-4
1-61451-804-1 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX |
| Record Nr. | UNINA-9910787095703321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen
| Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
| Pubbl/distr/stampa | Boston : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (424 p.) |
| Disciplina | 511.3 |
| Collana | Ontos mathematical logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Algebra, Boolean Quasi-metric spaces Petri nets Set theory |
| Soggetto non controllato |
Computability theory
descriptive set theory non-classical logic |
| ISBN |
1-61451-940-4
1-61451-804-1 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX |
| Record Nr. | UNINA-9910824174603321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minds and computers [[electronic resource] ] : an introduction to the philosophy of artificial intelligence / / Matt Carter
| Minds and computers [[electronic resource] ] : an introduction to the philosophy of artificial intelligence / / Matt Carter |
| Autore | Carter Matt <1975-> |
| Pubbl/distr/stampa | Edinburgh, : Edinburgh University Press, c2007 |
| Descrizione fisica | 1 online resource (232 p.) |
| Disciplina | 006.31 |
| Soggetto topico |
Artificial intelligence - Philosophy
Philosophy of mind |
| ISBN |
0-7486-2930-0
1-280-76244-6 9786610762446 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
COVER; COPYRIGHT; CONTENTS; ACKNOWLEDGEMENTS; CHAPTER 1 INTRODUCTION; CHAPTER 2 DUALISM; CHAPTER 3 BEHAVIOURISM; CHAPTER 4 NEUROANATOMY; CHAPTER 5 AUSTRALIAN MATERIALISM; CHAPTER 6 FUNCTIONALISM; CHAPTER 7 FORMAL SYSTEMS; CHAPTER 8 COMPUTABILITY; CHAPTER 9 UNIVERSAL MACHINES; CHAPTER 10 COMPUTATIONALISM; CHAPTER 11 SEARCH; CHAPTER 12 GAMES; CHAPTER 13 MACHINE REASONING; CHAPTER 14 MACHINES AND LANGUAGE; CHAPTER 15 HUMAN REASONING; CHAPTER 16 HUMAN LANGUAGE; CHAPTER 17 MEANING; CHAPTER 18 REPRESENTATION; CHAPTER 19 ARTIFICIAL NEURAL NETWORKS; CHAPTER 20 MINDS AND COMPUTERS
APPENDIX I: SUGGESTIONS FOR FURTHER READINGAPPENDIX II: GLOSSARY OF TERMS; INDEX |
| Record Nr. | UNINA-9910784807803321 |
|
Carter Matt <1975->
|
||
| Edinburgh, : Edinburgh University Press, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonlinear integral operators and applications [[electronic resource] /] / Carlo Bardaro, Julian Musielak, Gianluca Vinti
| Nonlinear integral operators and applications [[electronic resource] /] / Carlo Bardaro, Julian Musielak, Gianluca Vinti |
| Autore | Bardaro Carlo |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2003 |
| Descrizione fisica | 1 online resource (213 p.) |
| Disciplina | 515/.723 |
| Altri autori (Persone) |
MusielakJulian <1928->
VintiGianluca |
| Collana | De Gruyter series in nonlinear analysis and applications |
| Soggetto topico |
Integral operators
Nonlinear operators |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-19474-7
9786612194740 3-11-019927-0 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Chapter 1. Kernel functionals and modular spaces -- Chapter 2. Absolutely continuous modulars and moduli of continuity -- Chapter 3. Approximation by convolution type operators -- Chapter 4. Urysohn integral operators with homogeneous kernel functions. Applications to nonlinear Mellin-type convolution operators -- Chapter 5. Summability methods by convolution-type operators -- Chapter 6. Nonlinear integral operators in the space BVϕ -- Chapter 7. Application to nonlinear integral equations -- Chapter 8. Uniform approximation by sampling type operators. Applications in signal analysis -- Chapter 9. Modular approximation by sampling type operators -- Back matter |
| Record Nr. | UNINA-9910451751403321 |
|
Bardaro Carlo
|
||
| Berlin ; ; New York, : Walter de Gruyter, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonlinear integral operators and applications [[electronic resource] /] / Carlo Bardaro, Julian Musielak, Gianluca Vinti
| Nonlinear integral operators and applications [[electronic resource] /] / Carlo Bardaro, Julian Musielak, Gianluca Vinti |
| Autore | Bardaro Carlo |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2003 |
| Descrizione fisica | 1 online resource (213 p.) |
| Disciplina | 515/.723 |
| Altri autori (Persone) |
MusielakJulian <1928->
VintiGianluca |
| Collana | De Gruyter series in nonlinear analysis and applications |
| Soggetto topico |
Integral operators
Nonlinear operators |
| ISBN |
1-282-19474-7
9786612194740 3-11-019927-0 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Chapter 1. Kernel functionals and modular spaces -- Chapter 2. Absolutely continuous modulars and moduli of continuity -- Chapter 3. Approximation by convolution type operators -- Chapter 4. Urysohn integral operators with homogeneous kernel functions. Applications to nonlinear Mellin-type convolution operators -- Chapter 5. Summability methods by convolution-type operators -- Chapter 6. Nonlinear integral operators in the space BVϕ -- Chapter 7. Application to nonlinear integral equations -- Chapter 8. Uniform approximation by sampling type operators. Applications in signal analysis -- Chapter 9. Modular approximation by sampling type operators -- Back matter |
| Record Nr. | UNINA-9910782193703321 |
|
Bardaro Carlo
|
||
| Berlin ; ; New York, : Walter de Gruyter, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The space of mathematics : philosophical, epistemological, and historical explorations / / edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann
| The space of mathematics : philosophical, epistemological, and historical explorations / / edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann |
| Edizione | [Reprint 2012] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1992 |
| Descrizione fisica | 1 online resource (440 pages) : illustrations |
| Disciplina | 510 |
| Altri autori (Persone) |
EcheverríaJavier
IbarraAndoni MormannThomas <1951-> |
| Collana | Grundlagen der Kommunikation und Kognition =Foundations of communication and cognition |
| Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-087029-0 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Acknowledgments -- Introductory afterthoughts -- The Protean Character of Mathematics -- Categories of Space and of Quantity -- Structural Analogies Between Mathematical and Empirical Theories -- Reduction and Explanation: Science vs. Mathematics -- Reality, Truth, and Confirmation in Mathematics – Reflections on the Quasi-Empiricist Programme -- Tacit Knowledge in Mathematical Theory -- Structure-Similarity as a Cornerstone of the Philosophy of Mathematics -- Applying Mathematics and the Indispensability Argument -- Mathematical Structures and Physical Necessity -- The Role of Mathematics in Physical Science -- The Status of Set-theoretic Axioms in Empirical Theories -- Suppes Predicates for Classical Physics -- Mathematics in Philosophy -- Are There Revolutions in Mathematics? -- Observations, Problems and Conjectures in Number Theory – The History of the Prime Number Theorem -- Historical Aspects of the Foundations of Error Theory -- A Structuralist View of Lagrange’s Algebraic Analysis and the German Combinatorial School -- Constructivism and Objects of Mathematical Theory -- Turing’s “Oracle”: From Absolute to Relative Computability – and Back -- Computers and Mathematics: The Search for a Discipline of Computer Science -- Theories and the Flow of Information -- Structuralism and Scientific Discovery -- Towards a Typology of Intertheoretical Relations -- Index of Names -- 423-424 |
| Record Nr. | UNINA-9910464778403321 |
| Berlin ; ; New York : , : W. de Gruyter, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The space of mathematics : philosophical, epistemological, and historical explorations / / edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann
| The space of mathematics : philosophical, epistemological, and historical explorations / / edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann |
| Edizione | [Reprint 2012] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1992 |
| Descrizione fisica | 1 online resource (440 pages) : illustrations |
| Disciplina | 510 |
| Altri autori (Persone) |
EcheverríaJavier
IbarraAndoni MormannThomas <1951-> |
| Collana | Grundlagen der Kommunikation und Kognition =Foundations of communication and cognition |
| Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
| ISBN | 3-11-087029-0 |
| Classificazione | CC 2600 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Acknowledgments -- Introductory afterthoughts -- The Protean Character of Mathematics -- Categories of Space and of Quantity -- Structural Analogies Between Mathematical and Empirical Theories -- Reduction and Explanation: Science vs. Mathematics -- Reality, Truth, and Confirmation in Mathematics – Reflections on the Quasi-Empiricist Programme -- Tacit Knowledge in Mathematical Theory -- Structure-Similarity as a Cornerstone of the Philosophy of Mathematics -- Applying Mathematics and the Indispensability Argument -- Mathematical Structures and Physical Necessity -- The Role of Mathematics in Physical Science -- The Status of Set-theoretic Axioms in Empirical Theories -- Suppes Predicates for Classical Physics -- Mathematics in Philosophy -- Are There Revolutions in Mathematics? -- Observations, Problems and Conjectures in Number Theory – The History of the Prime Number Theorem -- Historical Aspects of the Foundations of Error Theory -- A Structuralist View of Lagrange’s Algebraic Analysis and the German Combinatorial School -- Constructivism and Objects of Mathematical Theory -- Turing’s “Oracle”: From Absolute to Relative Computability – and Back -- Computers and Mathematics: The Search for a Discipline of Computer Science -- Theories and the Flow of Information -- Structuralism and Scientific Discovery -- Towards a Typology of Intertheoretical Relations -- Index of Names -- 423-424 |
| Record Nr. | UNINA-9910788714603321 |
| Berlin ; ; New York : , : W. de Gruyter, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||