Die neue Logik : Lateinisch-Deutsch / textkritisch herausgegeben von Charles Lohr ; übersetzt von Vittorio Hösle und Walburga Büchel ; mit einer Einführung von Vittorio Hösle = Logica nova / Raimundus Lullus |
Autore | Lull, Ramón |
Pubbl/distr/stampa | Hamburg : Meiner, c1985 |
Descrizione fisica | xciv, 317 p. ; 19 cm. |
Disciplina | 160 |
Altri autori (Persone) |
Lohr, Charles H.author
Hösle, Vittorio |
Collana | Philosophische Bibliothek ; Bd. 379 |
Soggetto topico | Logica |
ISBN | 3787306358 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISALENTO-991003821009707536 |
Lull, Ramón | ||
Hamburg : Meiner, c1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Neutrosophic sets and systems |
Pubbl/distr/stampa | Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- |
Disciplina | 160 |
Soggetto topico |
Logic, Symbolic and mathematical
Logic |
Soggetto genere / forma |
Trivia and miscellanea
Periodicals. |
Soggetto non controllato | Logic |
ISSN | 2331-6055 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | NSS |
Record Nr. | UNISA-996452245503316 |
Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Neutrosophic sets and systems |
Pubbl/distr/stampa | Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- |
Disciplina | 160 |
Soggetto topico |
Logic, Symbolic and mathematical
Logic Logique symbolique et mathématique |
Soggetto genere / forma |
Trivia and miscellanea
Periodicals. |
Soggetto non controllato | Logic |
ISSN | 2331-6055 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | NSS |
Record Nr. | UNINA-9910516098003321 |
Gallup, NM : , : Department of Mathematics and Science, University of New Mexico, , [2013]- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell |
Autore | Hughes G. E (George Edward), <1918-, > |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1996 |
Descrizione fisica | 1 online resource (408 p.) |
Disciplina | 160 |
Altri autori (Persone) | CresswellM. J |
Soggetto topico | Modality (Logic) |
Soggetto genere / forma | Electronic books. |
ISBN |
9786610110865
1-134-80028-2 1-280-11086-4 0-203-02810-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
Record Nr. | UNINA-9910450057203321 |
Hughes G. E (George Edward), <1918-, > | ||
London ; ; New York : , : Routledge, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A new introduction to modal logic / / G.E. Hughes, M.J. Cresswell |
Autore | Hughes G. E (George Edward), <1918-, > |
Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1996 |
Descrizione fisica | 1 online resource (x, 421 pages) : illustrations |
Disciplina | 160 |
Altri autori (Persone) | CresswellM. J |
Soggetto topico | Modality (Logic) |
ISBN |
1-134-80027-4
9786610110865 1-134-80028-2 1-280-11086-4 0-203-02810-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
Record Nr. | UNINA-9910782957803321 |
Hughes G. E (George Edward), <1918-, > | ||
London ; ; New York : , : Routledge, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A new introduction to modal logic / / G.E. Hughes and M.J. Cresswell |
Autore | Hughes G. E (George Edward), <1918-> |
Edizione | [1st ed.] |
Pubbl/distr/stampa | London ; ; New York, : Routledge, 1996 |
Descrizione fisica | 1 online resource (x, 421 pages) : illustrations |
Disciplina | 160 |
Altri autori (Persone) | CresswellM. J |
Soggetto topico | Modality (Logic) |
ISBN |
1-134-80027-4
9786610110865 1-134-80028-2 1-280-11086-4 0-203-02810-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index; |
Record Nr. | UNINA-9910816102103321 |
Hughes G. E (George Edward), <1918-> | ||
London ; ; New York, : Routledge, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
Autore | Bos Egbert P. |
Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 160 |
Collana | Bochumer Studien zur Philosophie |
Soggetto topico |
Logic, Medieval
Logic, Ancient |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
Record Nr. | UNINA-9910480896903321 |
Bos Egbert P. | ||
Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
Autore | Bos Egbert P. |
Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 160 |
Altri autori (Persone) |
Nicholas, of Amsterdam, |
Collana | Bochumer Studien zur Philosophie |
Soggetto topico |
Logic, Medieval
Logic, Ancient |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
Record Nr. | UNINA-9910798647603321 |
Bos Egbert P. | ||
Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Nicholas of Amsterdam : commentary on The old logic : critical edition with introduction and indexes / / Egbert P. Bos |
Autore | Bos Egbert P. |
Pubbl/distr/stampa | Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 |
Descrizione fisica | 1 online resource (439 p.) |
Disciplina | 160 |
Altri autori (Persone) |
Nicholas, of Amsterdam, |
Collana | Bochumer Studien zur Philosophie |
Soggetto topico |
Logic, Medieval
Logic, Ancient |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface and acknowledgments; Introduction; 1. Preliminary remarks; 2. Nicholas of Amsterdam: life and works ; 2.1 Life ; 2.2 Works ; 2.3 Date of Nicholas' commentary on the ars vetus ; 3. Curriculum of the philosophical faculty of the University of Rostock ; 4. Form of the questions ; 5. The commentary as an exercitium ('exercise') ; 6. Principles of Nicholas' philosophy in his Commentary on the ars vetus ; 6.1 Nicholas as a conceptualist ; 6.2 Speaking in terms of reality or in terms of logic ; 6.3 Limitations of human knowledge ; 6.4 Semantics ; 6.4.1 Conventional language
6.5 On 'individual' 6.5.1 Singular concepts ; 6.5.2 Relation of individual terms with the imagination ; 7. Equivocal concepts ; 8. Category of quantity ; 8.1 Status of quantity ; 8.2 Nicholas' solution ; 9. Nicholas of Amsterdam on modal propositions ; 10. Principle of non-contradiction ; 10.1 Aristotle ; 10.2 John Buridan and Marsilius of Inghen ; 10.3 Nicholas' solution ; 11. Conclusions ; 12. Manuscript Munich, Bayerische Staatsbibliothek Clm 500 ; 12.1 Nicholas' Quaestiones logicales on the old logic ; 12.1.1 Exercitium in Porphyrium ; 12.1.2 Exercitium super Praedicamenta Aristotelis (15) Quaeritur decimo quinto, utrum definitio proprii sit bona in qua dicitur 'proprium est... |
Record Nr. | UNINA-9910816653803321 |
Bos Egbert P. | ||
Amsterdam, [Netherlands] ; ; Philadelphia, [Pennsylvania] : , : John Benjamins Publishing Company, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Nome e necessita / Saul Kripke |
Autore | KRIPKE, Saul |
Pubbl/distr/stampa | Torino, : Boringhieri, 1982 |
Descrizione fisica | 162 p., [1] c. di tav. : ritr. ; 23 cm. |
Disciplina | 160(Logica) |
Soggetto topico | LOGICA |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNIOR-UON00487833 |
KRIPKE, Saul | ||
Torino, : Boringhieri, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. L'Orientale | ||
|