Functions and Generality of Logic : Reflections on Dedekind's and Frege's Logicisms / / by Hourya Benis-Sinaceur, Marco Panza, Gabriel Sandu |
Autore | Benis-Sinaceur Hourya |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (145 p.) |
Disciplina | 511.324 |
Collana | Logic, Epistemology, and the Unity of Science |
Soggetto topico |
Logic
Mathematics History Science - Philosophy History of Mathematical Sciences Philosophy of Science |
ISBN | 3-319-17109-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions; Marco Panza -- Chapter 3: Frege, Russell, Ramsey on arbitrary functions; Gabriel Sandu. |
Record Nr. | UNINA-9910484659703321 |
Benis-Sinaceur Hourya | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics / / edited by Hans van Ditmarsch, Gabriel Sandu |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (634 pages) : illustrations |
Disciplina | 160 |
Collana | Outstanding Contributions to Logic |
Soggetto topico |
Logic
Mathematical logic Game theory Semantics Mathematics—Philosophy Mathematical Logic and Foundations Game Theory Philosophy of Mathematics |
ISBN | 3-319-62864-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Short overview of the development of Hintikka’s work in logic -- From Pictures to Semantical Games: Hintikka's Journey through Semantic Representationalism -- Is natural semantics possible? – ordinary English, formal deformationscum-reformations and the limits of model theory -- Knowing-who in quantified epistemic logic -- Group Knowledge in Interrogative Epistemology -- Known Unknowns: Time bounds and Knowledge of Ignorance -- Topological Subset Space Models for Public Announcements -- Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic -- Playing Cards with Hintikka -- On Semantic Games for Lukasiewicz Logic -- Hintikka and Frege on Quantifiers -- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions -- Logical Dialogues with Explicit Preference Profiles and Strategy Selection -- Hintikka’s Knowledge and Belief in Flux -- Possible worlds semantics based on observation and communication -- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic -- Borel Sets in the Generalized Baire Space and Infinitary Languages -- Questions of Epistemic Logic in Hintikka -- The Proof Theory of Common Knowledge -- Knowability and a New Paradox of Happiness -- Some Tools for Analyzing Strategic Games of Independence-Friendly Logic and Their Applications -- Beyond knowing that: A new generation of epistemic logics -- Epistemic Logic with Evidence and Relevant Alternatives. |
Record Nr. | UNINA-9910300620403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Romanian Studies in Philosophy of Science / / edited by Ilie Pȃrvu, Gabriel Sandu, Iulian D. Toader |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (295 p.) |
Disciplina | 501 |
Collana | Boston Studies in the Philosophy and History of Science |
Soggetto topico |
Philosophy and science
Logic Philosophy Biology—Philosophy Philosophy of Science Philosophy of Technology Philosophy of Biology |
ISBN | 3-319-16655-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | PART A: SCIENTIFIC PRACTICES AND PHILOSOPHICAL TRADITIONS -- Chapter 1: The Tradition of Scientific Philosophy in Romania; Ilie Pârvu -- Chapter 2: What Ought to be Done and What is Forbidden: Rules of Scientific Research as Categorical or Hypothetical Imperatives; Mircea Flonta -- PART B: MIND, LANGUAGE, AND TECHNOLOGY -- Chapter 3: Memory as Window on the Mind; Radu Bogdan -- Chapter 4: A Momentous Triangle: Ontology, Methodology and Phenomenology in the Philosophy of Language; Manuela Ungureanu -- Chapter 5: On Rule Embedding Artifacts; Gheorghe Ştefanov -- Chapter 6: Issues in Modeling Open-Ended Evolution; Andreea Eșanu -- PART C: LOGIC, SEMANTICS, AND SOCIAL CHOICE -- Chapter 7: On a Combination of Truth and Probability: Probabilistic Independence-Friendly Logic; Gabriel Sandu -- Chapter 8: A Remark on a Relational Version of Robinson’s Arithmetic Q; Mihai Ganea -- Chapter 9: The Simple Majority Rule in a Three-Valued Logic Framework; Adrian Miroiu -- Chapter 10: A Free Logic for Fictionalism; Mircea Dumitru -- PART D: QUANTUM PHENOMENA, SCIENTIFIC REALISM, AND EMERGENCE -- Chapter 11:Quantum Mechanics: Knocking at the Gates of Mathematical Foundations; Radu Ionicioiu -- Chapter 12: The Quantum Vacuum; Sorin Paraoanu -- Chapter 13: Structural Pluralism and S-dualities: A Project in String Realism; Ioan Muntean -- Chapter 14: The Prospects for Fusion Emergence; Alexandru Manafu -- PART E: EXPLANATION, MODELS, AND MECHANISMS -- Chapter 15: Scientific Progress, Understanding, and Unification; Sorin Bangu -- Chapter 16: When is a Mechanistic Explanation Satisfactory? Reductionism and Antireductionism in the Context of Mechanistic Explanations; Tudor Baetu -- Chapter 17: Causal and Mechanistic Explanations, and a Lesson from Ecology; Viorel Pâslaru -- Chapter 18: Against Harmony: Infinite Idealization and Causal Explanation; Iulian D. Toader. |
Record Nr. | UNINA-9910484830703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|