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.
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science / / by Andrea Iacona
| LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science / / by Andrea Iacona |
| Autore | Iacona Andrea |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (228 pages) |
| Disciplina | 160 |
| Collana | Springer Undergraduate Texts in Philosophy |
| Soggetto topico |
Philosophy
Language and languages - Philosophy Philosophy of Language |
| ISBN | 3-030-64811-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Basic notion -- 2 Validity -- 3 Formality -- 4 The symbols of propositional logic -- 5 The language L -- 6 Logical consequence in L -- 7 The system Sn -- 8 Derivability in Sn -- 9 The system Sa -- 10 Consistency, soundness, completeness -- 11 Quantification -- 12 The symbols of predicate logic. |
| Record Nr. | UNINA-9910483596303321 |
Iacona Andrea
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical Form : Between Logic and Natural Language / / by Andrea Iacona
| Logical Form : Between Logic and Natural Language / / by Andrea Iacona |
| Autore | Iacona Andrea |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (viii, 133 p.) |
| Disciplina | 160 |
| Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Soggetto topico |
Logic
Semantics Language and languages—Philosophy Philosophy Mathematical logic Philosophy of Language History of Philosophy Mathematical Logic and Formal Languages |
| ISBN |
9783319741543
3-319-74154-3 3-319-74153-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. The early history of logical form -- 2. The ideal of logical perfection -- 3. Formal languages and natural languages -- 4. Logical form and syntactic structure -- 5. Logical form and truth conditions -- 6. Logical knowledge vs knowledge of logical form -- 7. Validity -- 8. Quanti ed sentences -- 9. Further issues concerning quanti cation -- Afterword. |
| Record Nr. | UNINA-9910300629203321 |
|
Iacona Andrea
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||