Essays on Frege's conception of truth [[electronic resource] /] / edited by Dirk Greimann |
Pubbl/distr/stampa | Amsterdam ; ; New York, : Rodopi, 2007 |
Descrizione fisica | 1 online resource (257 p.) |
Disciplina | 146/.4 |
Altri autori (Persone) | GreimannDirk |
Collana | Grazer philosophische Studien |
Soggetto topico |
Analysis (Philosophy)
Logic, Symbolic and mathematical Semantics (Philosophy) Truth |
Soggetto genere / forma | Electronic books. |
ISBN |
94-012-0402-0
1-4356-1256-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Essays on Frege's Conception of Truth; TABLE OF CONTENTS; INTRODUCTION; TRUTH AND THE IMPERFECTION OF LANGUAGE; FREGE AND SEMANTICS; STRIVING FOR TRUTH IN THE PRACTICE OF MATHEMATICS: KANT AND FREGE1; FREGE'S USE OF FUNCTION-ARGUMENT ANALYSIS AND HIS INTRODUCTION OF TRUTH-VALUES AS OBJECTS; DID FREGE REALLY CONSIDER TRUTH AS AN OBJECT?; FREGE ON TRUTH, JUDGMENT, AND OBJECTIVITY; EVIDENCE, JUDGMENT AND TRUTH; THE TRUTH OF THOUGHTS: VARIATIONS ON FREGEAN THEMES; FREGEAN PROPOSITIONS, BELIEF PRESERVATION AND COGNITIVE VALUE; JOHANN GOTTLIEB FICHTE |
Record Nr. | UNINA-9910452097503321 |
Amsterdam ; ; New York, : Rodopi, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on Frege's conception of truth [[electronic resource] /] / edited by Dirk Greimann |
Pubbl/distr/stampa | Amsterdam ; ; New York, : Rodopi, 2007 |
Descrizione fisica | 1 online resource (257 p.) |
Disciplina | 146/.4 |
Altri autori (Persone) | GreimannDirk |
Collana | Grazer philosophische Studien |
Soggetto topico |
Analysis (Philosophy)
Logic, Symbolic and mathematical Semantics (Philosophy) Truth |
ISBN |
94-012-0402-0
1-4356-1256-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Essays on Frege's Conception of Truth; TABLE OF CONTENTS; INTRODUCTION; TRUTH AND THE IMPERFECTION OF LANGUAGE; FREGE AND SEMANTICS; STRIVING FOR TRUTH IN THE PRACTICE OF MATHEMATICS: KANT AND FREGE1; FREGE'S USE OF FUNCTION-ARGUMENT ANALYSIS AND HIS INTRODUCTION OF TRUTH-VALUES AS OBJECTS; DID FREGE REALLY CONSIDER TRUTH AS AN OBJECT?; FREGE ON TRUTH, JUDGMENT, AND OBJECTIVITY; EVIDENCE, JUDGMENT AND TRUTH; THE TRUTH OF THOUGHTS: VARIATIONS ON FREGEAN THEMES; FREGEAN PROPOSITIONS, BELIEF PRESERVATION AND COGNITIVE VALUE; JOHANN GOTTLIEB FICHTE |
Record Nr. | UNINA-9910778356903321 |
Amsterdam ; ; New York, : Rodopi, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on Frege's conception of truth / / edited by Dirk Greimann |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam ; ; New York, : Rodopi, 2007 |
Descrizione fisica | 1 online resource (257 p.) |
Disciplina | 146/.4 |
Altri autori (Persone) | GreimannDirk |
Collana | Grazer philosophische Studien |
Soggetto topico |
Analysis (Philosophy)
Logic, Symbolic and mathematical Semantics (Philosophy) Truth |
ISBN |
94-012-0402-0
1-4356-1256-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Essays on Frege's Conception of Truth; TABLE OF CONTENTS; INTRODUCTION; TRUTH AND THE IMPERFECTION OF LANGUAGE; FREGE AND SEMANTICS; STRIVING FOR TRUTH IN THE PRACTICE OF MATHEMATICS: KANT AND FREGE1; FREGE'S USE OF FUNCTION-ARGUMENT ANALYSIS AND HIS INTRODUCTION OF TRUTH-VALUES AS OBJECTS; DID FREGE REALLY CONSIDER TRUTH AS AN OBJECT?; FREGE ON TRUTH, JUDGMENT, AND OBJECTIVITY; EVIDENCE, JUDGMENT AND TRUTH; THE TRUTH OF THOUGHTS: VARIATIONS ON FREGEAN THEMES; FREGEAN PROPOSITIONS, BELIEF PRESERVATION AND COGNITIVE VALUE; JOHANN GOTTLIEB FICHTE |
Record Nr. | UNINA-9910823701903321 |
Amsterdam ; ; New York, : Rodopi, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on Wittgenstein's Tractatus / / edited by Irving M. Copi and Robert W. Beard |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2006 |
Descrizione fisica | 1 online resource (725 p.) |
Disciplina | 164 |
Altri autori (Persone) |
BeardRobert W
CopiIrving M |
Collana | Routledge Library Editions: Wittgenstein |
Soggetto topico |
Logic, Symbolic and mathematical
Language and languages - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN |
0-415-61101-6
1-315-82327-6 1-317-83137-3 1-317-83138-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Half Title; Title Page; Copyright Page; Original Title Page; Original Copyright Page; Table of Contents; Introduction; Ludwig Wittgenstein; Review of 'Tractatus'; Review of 'Tractatus'; Some Remarks on Logical Form; Logical Constructions (I); An Epistle; Are there Ultimate Simples?; Structure in Sentence and in Fact; Some Problems Connected with Language; The Picture Theory of Meaning; 'Tractatus' 3.1432; Pictures and form in Wittgenstein's 'Tractatus'; On Wittgenstein's 'Solipsism'; 'Tractatus' 5.542; Objects, Properties, and Relations in the 'Tractatus'
Mr Copi on Objects, Properties, and Relations in the 'Tractatus''Tractatus' 6.3751; About 'aRb'; Scientific Laws and Scientific Objects in the 'Tractatus'; Professor Stenius On the 'Tractatus'; Wittgenstein's Three Languages; Naming and Saying; Wittgenstein's Picture-Theory of Language; Wittgenstein's Notion of an Object; On the Picture Theory of Language: Excerpts from a Review; Wittgenstein's Picture-Theory; The 'Tractatus': Nominalistic or Realistic?; The Glory and the Misery of Ludwig Wittgenstein; Wittgenstein's Philosophy of the Mystical; Wittgenstein's Picture Theory of Language BibliographyIndex of Proper Names; Index of 'Tractatus' References |
Record Nr. | UNINA-9910453365003321 |
London ; ; New York : , : Routledge, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on Wittgenstein's Tractatus / / edited by Irving M. Copi and Robert W. Beard |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2006 |
Descrizione fisica | 1 online resource (725 p.) |
Disciplina | 164 |
Altri autori (Persone) |
BeardRobert W
CopiIrving M |
Collana | Routledge Library Editions: Wittgenstein |
Soggetto topico |
Logic, Symbolic and mathematical
Language and languages - Philosophy |
ISBN |
0-415-61101-6
1-315-82327-6 1-317-83137-3 1-317-83138-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Half Title; Title Page; Copyright Page; Original Title Page; Original Copyright Page; Table of Contents; Introduction; Ludwig Wittgenstein; Review of 'Tractatus'; Review of 'Tractatus'; Some Remarks on Logical Form; Logical Constructions (I); An Epistle; Are there Ultimate Simples?; Structure in Sentence and in Fact; Some Problems Connected with Language; The Picture Theory of Meaning; 'Tractatus' 3.1432; Pictures and form in Wittgenstein's 'Tractatus'; On Wittgenstein's 'Solipsism'; 'Tractatus' 5.542; Objects, Properties, and Relations in the 'Tractatus'
Mr Copi on Objects, Properties, and Relations in the 'Tractatus''Tractatus' 6.3751; About 'aRb'; Scientific Laws and Scientific Objects in the 'Tractatus'; Professor Stenius On the 'Tractatus'; Wittgenstein's Three Languages; Naming and Saying; Wittgenstein's Picture-Theory of Language; Wittgenstein's Notion of an Object; On the Picture Theory of Language: Excerpts from a Review; Wittgenstein's Picture-Theory; The 'Tractatus': Nominalistic or Realistic?; The Glory and the Misery of Ludwig Wittgenstein; Wittgenstein's Philosophy of the Mystical; Wittgenstein's Picture Theory of Language BibliographyIndex of Proper Names; Index of 'Tractatus' References |
Record Nr. | UNINA-9910790737403321 |
London ; ; New York : , : Routledge, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on Wittgenstein's Tractatus / / edited by Irving M. Copi and Robert W. Beard |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 2006 |
Descrizione fisica | 1 online resource (725 p.) |
Disciplina |
164
160 |
Altri autori (Persone) |
BeardRobert W
CopiIrving M |
Collana | Routledge Library Editions: Wittgenstein |
Soggetto topico |
Logic, Symbolic and mathematical
Language and languages - Philosophy |
ISBN |
0-415-61101-6
1-315-82327-6 1-317-83137-3 1-317-83138-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Half Title; Title Page; Copyright Page; Original Title Page; Original Copyright Page; Table of Contents; Introduction; Ludwig Wittgenstein; Review of 'Tractatus'; Review of 'Tractatus'; Some Remarks on Logical Form; Logical Constructions (I); An Epistle; Are there Ultimate Simples?; Structure in Sentence and in Fact; Some Problems Connected with Language; The Picture Theory of Meaning; 'Tractatus' 3.1432; Pictures and form in Wittgenstein's 'Tractatus'; On Wittgenstein's 'Solipsism'; 'Tractatus' 5.542; Objects, Properties, and Relations in the 'Tractatus'
Mr Copi on Objects, Properties, and Relations in the 'Tractatus''Tractatus' 6.3751; About 'aRb'; Scientific Laws and Scientific Objects in the 'Tractatus'; Professor Stenius On the 'Tractatus'; Wittgenstein's Three Languages; Naming and Saying; Wittgenstein's Picture-Theory of Language; Wittgenstein's Notion of an Object; On the Picture Theory of Language: Excerpts from a Review; Wittgenstein's Picture-Theory; The 'Tractatus': Nominalistic or Realistic?; The Glory and the Misery of Ludwig Wittgenstein; Wittgenstein's Philosophy of the Mystical; Wittgenstein's Picture Theory of Language BibliographyIndex of Proper Names; Index of 'Tractatus' References |
Record Nr. | UNINA-9910818619003321 |
London ; ; New York : , : Routledge, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An examination of a decision procedure / / by Francis C. Oglesby |
Autore | Oglesby Francis C. |
Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1962 |
Descrizione fisica | 1 online resource (152 p.) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Logic, Symbolic and mathematical
Calculus |
Soggetto genere / forma | Electronic books. |
ISBN | 0-8218-9988-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""Â 1. The First Order Predicate Calculus""; ""Â 2. Validity and Satisfiability""; ""Â 3. The Decision Problem""; ""CHAPTER 2""; ""Â 4. Stanleyf's Procedure""; ""Â 5. SP and the AE Predicate Calculus""; ""CHAPTER 3""; ""Â 6. Distributive Normal Forms""; ""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?""
""Â 11. Ackermann's Suggestion and the Class Î?""""Â 12. A Modification of SP for the Class Î?""; ""CHAPTER 5""; ""Â 13. NP Zero Order Constituents of Types 0 through 6""; ""Â 14. Transformations T[sub(1)] through T[sub(5)]""; ""Â 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; ""Â 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
Record Nr. | UNINA-9910480762503321 |
Oglesby Francis C. | ||
Providence : , : American Mathematical Society, , 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An examination of a decision procedure / / Francis C. Oglesby |
Autore | Oglesby Francis C. |
Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
Descrizione fisica | 1 online resource (152 pages) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
ISBN | 0-8218-9988-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
Record Nr. | UNINA-9910788610103321 |
Oglesby Francis C. | ||
Providence, R.I. : , : American Mathematical Society, , 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An examination of a decision procedure / / Francis C. Oglesby |
Autore | Oglesby Francis C. |
Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
Descrizione fisica | 1 online resource (152 pages) |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
ISBN | 0-8218-9988-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
Record Nr. | UNINA-9910828784203321 |
Oglesby Francis C. | ||
Providence, R.I. : , : American Mathematical Society, , 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The exoteric square of opposition : the sixth World Congress on the Square of Opposition / / Jean-Yves Beziau and Ioannis Vandoulakis, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
Descrizione fisica | 1 online resource (480 pages) |
Disciplina | 110 |
Collana | Studies in universal logic |
Soggetto topico |
Opposition, Theory of
Logic, Symbolic and mathematical Teoria de l'oposició |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-030-90823-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996485661503316 |
Cham, Switzerland : , : Birkhäuser, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|