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.
Aditus ad logicam [[electronic resource] ] : In vsum eorum qui primò Academiam salutant. Autore S.S. Artium Magistro
| Aditus ad logicam [[electronic resource] ] : In vsum eorum qui primò Academiam salutant. Autore S.S. Artium Magistro |
| Autore | Smith Samuel <1587-1620.> |
| Pubbl/distr/stampa | [London, : [W. Stansby]], Anno Domini. 1613 |
| Descrizione fisica | 158 p |
| Soggetto topico | Logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISA-996388408403316 |
Smith Samuel <1587-1620.>
|
||
| [London, : [W. Stansby]], Anno Domini. 1613 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aditvs ad logicam [[electronic resource] ] : in vsvm eorvm qui primò academiam salutant / / autore Samuele Smith .
| Aditvs ad logicam [[electronic resource] ] : in vsvm eorvm qui primò academiam salutant / / autore Samuele Smith . |
| Autore | Smith Samuel <1587-1620.> |
| Edizione | [Editio septima.] |
| Pubbl/distr/stampa | Oxoniæ, : Excudebat Hen. Hall, impensis Rich. Davis, 1656 |
| Descrizione fisica | [6], 200, [1] p., [2] folded leaves of plates |
| Soggetto topico | Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISA-996386833903316 |
|
Smith Samuel <1587-1620.>
|
||
| Oxoniæ, : Excudebat Hen. Hall, impensis Rich. Davis, 1656 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Advancement of Learning [[electronic resource]]
| The Advancement of Learning [[electronic resource]] |
| Autore | Bacon Francis <1561-1626.> |
| Pubbl/distr/stampa | Auckland, : The Floating Press, 2010 |
| Descrizione fisica | 1 online resource (339 p.) |
| Disciplina | 121 |
| Soggetto topico |
Induction (Logic) -- Early works to 1800
Science -- Methodology -- Early works to 1800 Utopias -- Early works to 1800 Philosophy Philosophy & Religion Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-77651-288-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Contents; Introduction; The First Book of Francis Bacon; Of the Proficience and Advancement of Learning, Divine and Human; I; II; III; IV; V; VI; VII; VIII; The Second Book; I; II; III; IV; V; VI; VII; VIII; IX; X; XI; XII; XIII; XIV; XV; XVI; XVII; XVIII; XIX; XX; XXI; XXII; XXIII; XXIV; XXV; Endnotes |
| Record Nr. | UNINA-9910464510003321 |
|
Bacon Francis <1561-1626.>
|
||
| Auckland, : The Floating Press, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The advancement of learning / / Francis Bacon
| The advancement of learning / / Francis Bacon |
| Autore | Bacon Francis <1561-1626.> |
| Pubbl/distr/stampa | Auckland : , : The Floating Press, , 2010 |
| Descrizione fisica | 1 online resource (338 pages) |
| Disciplina | 121 |
| Soggetto topico |
Logic
Science - Methodology Utopias |
| ISBN | 1-77651-288-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Contents; Introduction; The First Book of Francis Bacon; Of the Proficience and Advancement of Learning, Divine and Human; I; II; III; IV; V; VI; VII; VIII; The Second Book; I; II; III; IV; V; VI; VII; VIII; IX; X; XI; XII; XIII; XIV; XV; XVI; XVII; XVIII; XIX; XX; XXI; XXII; XXIII; XXIV; XXV; Endnotes |
| Record Nr. | UNINA-9910788922303321 |
|
Bacon Francis <1561-1626.>
|
||
| Auckland : , : The Floating Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The advancement of learning / / Francis Bacon
| The advancement of learning / / Francis Bacon |
| Autore | Bacon Francis <1561-1626.> |
| Pubbl/distr/stampa | Auckland : , : The Floating Press, , 2010 |
| Descrizione fisica | 1 online resource (338 pages) |
| Disciplina | 121 |
| Soggetto topico |
Logic
Science - Methodology Utopias |
| ISBN | 1-77651-288-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Contents; Introduction; The First Book of Francis Bacon; Of the Proficience and Advancement of Learning, Divine and Human; I; II; III; IV; V; VI; VII; VIII; The Second Book; I; II; III; IV; V; VI; VII; VIII; IX; X; XI; XII; XIII; XIV; XV; XVI; XVII; XVIII; XIX; XX; XXI; XXII; XXIII; XXIV; XXV; Endnotes |
| Record Nr. | UNINA-9910816377503321 |
|
Bacon Francis <1561-1626.>
|
||
| Auckland : , : The Floating Press, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Natural Deduction [[electronic resource] ] : A Celebration of Dag Prawitz's Work / / edited by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva
| Advances in Natural Deduction [[electronic resource] ] : A Celebration of Dag Prawitz's Work / / edited by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (288 p.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 94-007-7548-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter -- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction Derivations for "Generally"; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M -- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P -- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo -- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria -- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi -- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst -- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag. |
| Record Nr. | UNINA-9910300152203321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in proof theory [[electronic resource] /] / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
| Advances in proof theory [[electronic resource] /] / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 511.3 |
| Collana | Progress in Computer Science and Applied Logic |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations |
| ISBN | 3-319-29198-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity. |
| Record Nr. | UNINA-9910254060903321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Proof-Theoretic Semantics / / edited by Thomas Piecha, Peter Schroeder-Heister
| Advances in Proof-Theoretic Semantics / / edited by Thomas Piecha, Peter Schroeder-Heister |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (vi, 283 pages) : digital file(s) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-319-22686-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama. |
| Record Nr. | UNINA-9910137163703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agency, norms, inquiry, and artifacts, essays in honor of Risto Hilpinen / / edited by Paul McNamara, Andrew J. I. Jones, and Mark A. Brown
| Agency, norms, inquiry, and artifacts, essays in honor of Risto Hilpinen / / edited by Paul McNamara, Andrew J. I. Jones, and Mark A. Brown |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto topico |
Logic
Logic, Symbolic and mathematical Modality (Logic) |
| ISBN | 3-030-90749-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Part I Branching Time, Causation, and Agency -- 1 Time and Actual Obligations -- 1.1 Theory and Practice -- 1.2 The CJ1 Lexicon and Semantics -- 1.3 Some Observations and Interpretation -- 1.3.1 Contexts -- 1.3.2 Norms and Obligations -- 1.3.3 Deliberation and Evaluation -- 1.3.4 Fulfillment and Violation -- 1.4 Bringing Time into the Picture -- 1.5 Comparing the Systems -- 1.6 Analysis of Some Scenarios -- 1.7 Conclusion -- References -- 2 Actual Cause and Chancy Causation in Stit: A PreliminaryAccount -- 2.1 Introduction -- 2.2 Formal Framework -- 2.3 Group Agency and Essential Contributors -- 2.4 Indeterminism and `Chancy Causation' -- 2.5 Causal Dependencies and Independence of Agents -- 2.6 Conclusion -- References -- Part II The Nature of Norms and Obligations -- 3 Deontic Logic and the Propositional Nature of Norms -- 3.1 Introduction -- 3.2 Two Typical Strategies -- 3.3 Norms and Norm-Propositions -- 3.4 Hilpinen's Solution to Jørgensen's Dilemma -- 3.5 Two Interpretations of Hilpinen's Ideas -- 3.6 Another Approach to the Logic of Norm-Propositions -- 3.7 Conclusions -- References -- 4 Imperative Foundations for the Metaphysics of Obligations -- 4.1 Introduction: Taking Obligations Seriously -- 4.2 The Satisfaction/Violation of Obligations and the Association Function -- 4.2.1 Prescriptions -- 4.2.2 The Satisfaction and the Violation of Obligations -- 4.2.3 The Association Function -- 4.2.4 The Correspondence Result -- 4.3 The Nature of Obligations and the Identity Thesis -- 4.3.1 The Identity Thesis -- 4.3.2 Obligation Phasalism and the Time-Indexed Identity Thesis -- 4.4 Conclusion -- A.1 Appendix: Moral Obligation Prescriptivism -- References -- Part III Varieties and Applications of Normative Logic -- 5 The Logic of ``Must'' and ``Have to'' -- 5.1 Introducing Aggregative Predicates -- 5.2 A Formal Representation.
5.3 The Origin-Compliance Dimension of Deontic Predicates -- 5.4 Connections with Moral Theory -- 5.5 Deontic Paradoxes -- 5.6 Prima Facie Requirements vs. Requirements All Things Considered -- 5.7 An Aggregative Permissive Predicate? -- 5.8 Conclusion -- References -- 6 On the Role of Normative Modalities in the Characterization of Emotions -- 6.1 Two Categories of Normative Modality -- 6.2 Approving and Wanting -- 6.3 The Mental Structure of Emotions -- 6.4 Unacceptability -- 6.5 A Reformulation of Pörn's Atomic Emotion Types -- References -- 7 A Natural Conditionalization of the DWE Framework -- 7.1 Introduction -- 7.2 Doing Well Enough (DWE) -- 7.2.1 Language and Logic -- 7.2.2 Semantics for DWE -- 7.2.3 A Modest Generalization of the DWE Framework -- 7.3 Conditionalizing the DWEG Framework -- 7.3.1 Motivating the Need to Do So -- 7.3.2 The Language and Formal Semantics for CDWEG -- 7.3.3 The CDWEG Logic -- 7.4 The Earlier Motivation Again and Conclusion -- Appendix -- References -- Part IV History of Deontic Logic -- 8 Ibn Ḥazm on Heteronomous Imperatives. A Landmark in the History of the Logical Analysis of Norms -- 8.1 Introduction -- 8.2 Ibn Ḥazm's Logic of Heteronomous Imperatives -- 8.2.1 The Main Definitions -- 8.2.2 Freedom and Heteronomy: Ought Presupposes Can -- 8.3 On Natural and Deontic Necessity -- 8.4 Deontic Imperatives and the CTT-Analysis of Hypotheticals -- 8.4.1 Quantifying Over Actions -- 8.4.2 Logical Analysis of Ibn Ḥazm's Heteronomous Imperatives -- 8.5 A Landmark in the History of the Logical Analysis of Norms. Natural and Deontic Modalities -- 8.6 Ibn Ḥazm's Parallelism, Qiyās, and the Inferential Structure of Imperatives -- 8.7 Beyond Ibn Ḥazm: Conclusions and the Work Ahead -- 8.7.1 Brief Remarks on Ibn Ḥazm's Heteronomous Imperatives and Deontic Logic. 8.7.2 On Normativity the Other Way Round and the Internalization of Nature -- References -- Part V Inquiry and Inference -- 9 Hilpinen's Theory of Inquiry -- 9.1 Introduction -- 9.2 The Semantics of Questions and the Theory of Inquiry (1986) -- 9.3 Inquiry, Argumentation and Knowledge (1991) -- 9.4 Belief Systems as Artifacts (1995) -- 9.5 Final Remarks -- References -- 10 Practical Inferences -- 10.1 Hilpinen on Practical Abduction, and His Instrumentalist Framing Assumptions -- 10.2 From Hilpinen's to a Broader Instrumentalism -- 10.3 Beyond Instrumentalism, I: Inference Versus Mere Association -- 10.3.1 The Taking Condition, or the Guise of the Normative -- 10.3.2 Taking One's Reasons to Be One's Reasons -- 10.3.3 Rules and the Form of an Inference -- 10.4 Beyond Instrumentalism, II: Practicality and Virtue -- 10.4.1 Desire and Motivation -- 10.4.2 What Instrumentalism Cannot Explain -- 10.5 Conclusion: A Non-instrumentalist Alternative -- References -- Part VI Artifacts -- 11 Artwork Authorship as a Sign-in-Action -- 11.1 Introduction -- 11.2 Peirce Semiotics as Process Semiotics -- 11.3 Authorship, Artifact and Semiotic Distributedness -- 11.4 Where to Go from Here … Some Implications -- 11.5 Conclusion -- References -- 12 The Primacy of Abstract Artifacts -- 12.1 Hilpinen's Theory of Artifacts - A Critical Diachronic Overview -- 12.2 The Primacy of Abstract Artifacts -- References -- About Risto Hilpinen -- Positions, Professional Service, and Honors -- Professor Hilpinen's Publications -- A. Monographs and Edited Books -- B. Articles and Reviews. |
| Record Nr. | UNINA-9910561297203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alexander of Aphrodisias on Aristotle, Prior analytics 1.1-7 / translated by Jonathan Barnes ... [and others]
| Alexander of Aphrodisias on Aristotle, Prior analytics 1.1-7 / translated by Jonathan Barnes ... [and others] |
| Autore | Alexander, of Aphrodisias |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London, : Duckworth, 1991 |
| Descrizione fisica | 1 online resource (257 p.) |
| Disciplina | 160.92 |
| Altri autori (Persone) | Aristotle |
| Collana | Ancient commentators on Aristotle |
| Soggetto topico |
Logic
Modality (Logic) Contingency (Philosophy) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-4725-5160-5
1-78093-454-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- Textual Emendations -- TRANSLATION -- Notes -- Bibliography English-Greek -- Glossary Greek-English Index -- Index of Passages Cited -- Subject -- Index |
| Record Nr. | UNINA-9910511798103321 |
|
Alexander, of Aphrodisias
|
||
| London, : Duckworth, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Logic
(1081)
- Mathematical logic (109)
- Mathematical Logic and Foundations (93)
- Reasoning (93)
- Philosophy (91)