From stimulus to science [[electronic resource] /] / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Pubbl/distr/stampa | Cambridge, Mass., : Harvard University Press, 1998, c1995 |
Descrizione fisica | vi, 114 p |
Disciplina | 191 |
Soggetto topico | Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04247-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- I. DAYS OF YORE -- II. NATURALISM -- III. REIFICATION -- IV. CHECKPOINTS AND EMPIRICAL CONTENT -- V. LOGIC AND MATHEMATICS -- VI. DENOTATION AND TRUTH -- VII. SEMANTIC AGREEMENT -- VIII. THINGS OF THE MIND -- APPENDIX: PREDICATE FUNCTORS -- REFERENCES -- INDEX |
Record Nr. | UNINA-9910455410303321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, Mass., : Harvard University Press, 1998, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
From stimulus to science [[electronic resource] /] / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Pubbl/distr/stampa | Cambridge, Mass., : Harvard University Press, 1998, c1995 |
Descrizione fisica | vi, 114 p |
Disciplina | 191 |
Soggetto topico | Philosophy |
ISBN | 0-674-04247-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- I. DAYS OF YORE -- II. NATURALISM -- III. REIFICATION -- IV. CHECKPOINTS AND EMPIRICAL CONTENT -- V. LOGIC AND MATHEMATICS -- VI. DENOTATION AND TRUTH -- VII. SEMANTIC AGREEMENT -- VIII. THINGS OF THE MIND -- APPENDIX: PREDICATE FUNCTORS -- REFERENCES -- INDEX |
Record Nr. | UNINA-9910778014003321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, Mass., : Harvard University Press, 1998, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
From stimulus to science / / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Pubbl/distr/stampa | Cambridge, Mass., : Harvard University Press, 1998, c1995 |
Descrizione fisica | vi, 114 p |
Disciplina | 191 |
Soggetto topico | Philosophy |
ISBN | 0-674-04247-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- I. DAYS OF YORE -- II. NATURALISM -- III. REIFICATION -- IV. CHECKPOINTS AND EMPIRICAL CONTENT -- V. LOGIC AND MATHEMATICS -- VI. DENOTATION AND TRUTH -- VII. SEMANTIC AGREEMENT -- VIII. THINGS OF THE MIND -- APPENDIX: PREDICATE FUNCTORS -- REFERENCES -- INDEX |
Record Nr. | UNINA-9910818292903321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, Mass., : Harvard University Press, 1998, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical logic [[electronic resource] /] / by Willard Van Orman Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Rev. ed.] |
Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, c1981 |
Descrizione fisica | xii, 346 p |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04246-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects |
Record Nr. | UNINA-9910455194003321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, MA, : Harvard University Press, c1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical logic / / Willard Van Orman Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Revised edition.] |
Pubbl/distr/stampa | Cambridge, Mass. : , : Harvard University Press, , 1981 |
Descrizione fisica | 1 online resource (xii, 346 pages) |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
ISBN | 0-674-04246-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects |
Record Nr. | UNINA-9910778448903321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, Mass. : , : Harvard University Press, , 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical logic / / by Willard Van Orman Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Rev. ed.] |
Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, c1981 |
Descrizione fisica | 1 online resource (xii, 346 pages) |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
ISBN | 0-674-04246-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 1. Conjunction, Alternation, and Denial -- 2. The Conditional -- 3. Iterated Composition -- 4. Use versus Mention -- 5. Statements about Statements -- 6. Quasi-Quotation -- 7. Parentheses and Dots -- 8. Reduction to Three Primitives -- 9. Reduction to One Primitive -- 10. Tautology -- 11. Selected Tautologous Forms -- CHAPTER TWO. Quantification -- 12. The Quantifier -- 13. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. Theorems -- 17. Metatheorems -- 18. Substitutivity of the Biconditional -- 19. Existential Quantification -- 20. Distribution of Quantifiers -- 21. Alphabetic Variance -- CHAPTER THREE. Terms -- 22. Class and Member -- 23. Logical Formulae -- 24. Abstraction -- 25. Identity -- 26. Abstraction Resumed -- 27. Descriptions and Names -- CHAPTER FOUR. Extended Theory of Classes -- 28. Stratification -- 29. Further Axioms of Membership -- 30. Substitutivity of Identity -- 31. Substitution for Variables -- 32. Further Consequences -- 33. Logical Product, Sum, Complement -- 34. Inclusion -- 35. Unit Classes -- CHAPTER FIVE. Relations -- 36. Pairs and Relations -- 37. Abstraction of Relations -- 38. Converse, Image, Relative Product -- 39. The Ancestral -- 40. Functions -- 41. Abstraction of Functions -- 42. Identity and Membership as Relations -- CHAPTER SIX. Number -- 43. Zero, One, Successor -- 44. Natural Numbers -- 45. Counter Sets -- 46. Finite and Infinite -- 47. Powers of Relations -- 48. Arithmetical Sum, Product, Power -- 49. Familiar Identities of Arithmetic -- 50. Ratios -- 51. Real Numbers -- 52. Further Extensions -- CHAPTER SEVEN. Syntax -- 53. Formality -- 54. The Syntactical Primitive -- 55. Protosyntax -- 56. Formula and Matrix Defined -- 57. Axioms of Quantification Defined -- 58. Theorem Defined -- 59. Protosyntax Self-Applied -- 60. Incompleteness -- APPENDIX. Theorem versus Metatheorem -- List of Definitions -- List of Theorems and Metatheorems -- Bibliographical References -- Index of Proper Names -- Index of Subjects |
Record Nr. | UNINA-9910812920903321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, MA, : Harvard University Press, c1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of logic [[electronic resource] /] / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1986 |
Descrizione fisica | ix, 109 p |
Disciplina | 160 |
Soggetto topico |
Logic
Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04244-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910455370703321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, MA, : Harvard University Press, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of logic / / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [Second edition.] |
Pubbl/distr/stampa | Cambridge, Mass. : , : Harvard University Press, , 1986 |
Descrizione fisica | 1 online resource (ix, 109 pages) |
Disciplina | 160 |
Soggetto topico |
Logic
Philosophy |
ISBN | 0-674-04244-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910778176403321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, Mass. : , : Harvard University Press, , 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of logic / / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1986 |
Descrizione fisica | 1 online resource (ix, 109 pages) |
Disciplina | 160 |
Soggetto topico |
Logic
Philosophy |
ISBN | 0-674-04244-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- PREFACE, 1886 -- CONTENTS -- 1 MEANING AND TRUTH -- 2 GRAMMAR -- 3 TRUTH -- 4 LOGICAL TRUTH -- 5 THE SCOPE OF LOGIC -- 6 DEVIANT LOGICS -- 7 THE GROUND OF LOGICAL TRUTH -- For further reading -- INDEX |
Record Nr. | UNINA-9910812741203321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, MA, : Harvard University Press, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Quiddities [[electronic resource] ] : an intermittently philosophical dictionary / / W.V. Quine |
Autore | Quine W. V (Willard Van Orman) |
Pubbl/distr/stampa | Cambridge, MA, : Belknap Press of Harvard University Press, c1987 |
Descrizione fisica | 249 p |
Disciplina | 103/.2 |
Soggetto topico |
Philosophy
Philosophy, Modern |
Soggetto genere / forma | Electronic books. |
ISBN | 0-674-04243-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface -- Contents -- A -- B -- C -- D -- E -- F -- G -- I -- K -- L -- M -- N -- P -- R -- S -- T -- U -- V -- Z -- Index |
Record Nr. | UNINA-9910455431203321 |
Quine W. V (Willard Van Orman) | ||
Cambridge, MA, : Belknap Press of Harvard University Press, c1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|