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.
The Argumentative Turn in Policy Analysis [[electronic resource] ] : Reasoning about Uncertainty / / edited by Sven Ove Hansson, Gertrude Hirsch Hadorn
| The Argumentative Turn in Policy Analysis [[electronic resource] ] : Reasoning about Uncertainty / / edited by Sven Ove Hansson, Gertrude Hirsch Hadorn |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 353 p. 13 illus., 6 illus. in color.) |
| Disciplina | 320.6 |
| Collana | Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences |
| Soggetto topico |
Philosophy and science
Social policy Game theory Ethics Philosophy of Science Social Policy Game Theory, Economics, Social and Behav. Sciences |
| ISBN | 3-319-30549-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Summary; Sven Ove Hansson and Gertrude Hirsch Hadorn -- The argumentative turn; Sven Ove Hansson and Gertrude Hirsch Hadorn -- Part I. Argumentative strategies -- Choosing among the uncertainties; Sven Ove Hansson -- Accounting for possibilities; Gregor Betz -- Framing; Till Grüne-Yanoff -- Timing strategies; Gertrude Hirsch Hadorn -- Setting and revising goals; Karin Edvardsson Björnberg -- Value uncertainty; Niklas Möller -- Ethical orientations for policy decisions; Rafaela Hillerbrand, Pieter van Gelder, and Genserik Reniers -- Participation as a means to better argumentation; Jeroen van den Hoven, Alessandra Palmigiano, and Francis M Brazier -- Argumentative roads to agreement; Georg Brun and Gregor Betz -- Part II Argumentation in practice -- Climate geoengineering; Kevin Elliott -- Water governance; Neelke Doorn -- Synthetic biology; Armin Grunwald -- Nuclear waste; Kristin Shrader-Frechette -- Financial markets; Michael Schefczyk. |
| Record Nr. | UNINA-9910255341603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Belief Change [[electronic resource] ] : Introduction and Overview / / by Eduardo Fermé, Sven Ove Hansson
| Belief Change [[electronic resource] ] : Introduction and Overview / / by Eduardo Fermé, Sven Ove Hansson |
| Autore | Fermé Eduardo |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (128 pages) |
| Disciplina | 153 |
| Collana | SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics |
| Soggetto topico |
Artificial intelligence
Logic Artificial Intelligence |
| ISBN | 3-319-60535-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Motivation -- History -- The AGM Model -- Belief Sets -- Equivalent Characterizations -- Safe and Kernel Contraction -- Criticism of the Model -- Belief Bases -- Iterated Change -- Multiple Change -- Extended Representations of Belief States -- Alternative Operators of Change -- Multiagent Belief Change -- Applications and Connections -- Implementations -- Conclusions -- References. |
| Record Nr. | UNINA-9910299459503321 |
Fermé Eduardo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
David Makinson on classical methods for non-classical problems [[electronic resource] /] / edited by Sven Ove Hansson
| David Makinson on classical methods for non-classical problems [[electronic resource] /] / edited by Sven Ove Hansson |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (432 p.) |
| Disciplina | 511.3 |
| Collana | Outstanding Contributions to Logic |
| Soggetto topico |
Logic
Mathematical logic Linguistics Mathematical Logic and Formal Languages Mathematical Logic and Foundations Theoretical Linguistics |
| ISBN | 94-007-7759-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Contributors -- Introductory -- Chapter 1. Sven Ove Hansson: Preview -- Chapter 2. Sven Ove Hansson and Peter Gärdenfors: David Makinson and the extension of classical logic -- Chapter 3. David Makinson: A tale of five cities -- I. Logic of Belief Change -- Chapter 4. Hans Rott and Sven Ove Hansson: Safe contraction revisited -- Chapter 5. Pavlos Peppas: A panorama of iterated revision -- Chapter 6. Wolfgang Spohn: AGM, ranking theory and the many ways to cope with examples -- Chapter 7. Edwin Mares: Liars, lotteries and prefaces: two paraconsistent theories of belief revision -- Chapter 8. Rohit Parikh: Epistemic reasoning in life and literature -- II. Uncertain Reasoning -- Chapter 9. James Hawthorne: New Horn rules for probabilistic consequence: Is O+ enough? -- Chapter 10. Karl Schlechta: Non-monotonic logic: preferential vs. algebraic semantics -- Chapter 11. Hykel Hosni: Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics -- III. Normative Systems -- Chapter 12. Audun Stolpe: Abstract interfaces of input/output logic -- Chapter 13. Xavier Parent, Dov Gabbay and Leendert van der Torre: Intuitionistic basis for input/output logic -- Chapter 14. Jörg Hansen: Reasoning about permission and obligation -- Chapter 15. John Horty: Norm change in the common law -- IV. Classical Resources -- Chapter 16. David Makinson: Intelim rules for classical connectives -- Chapter 17. David Makinson: Relevance logic as a conservative extension of classical logic -- V. Responses -- Chapter 18. David Makinson: Reflections on contributions -- Bibliographical -- David Makinson’s publications -- Index. |
| Record Nr. | UNINA-9910484846003321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Formal Philosophy [[electronic resource] /] / edited by Sven Ove Hansson, Vincent F. Hendricks
| Introduction to Formal Philosophy [[electronic resource] /] / edited by Sven Ove Hansson, Vincent F. Hendricks |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 733 p. 531 illus.) |
| Disciplina | 001.42 |
| Collana | Springer Undergraduate Texts in Philosophy |
| Soggetto topico |
Analysis (Philosophy)
Mathematical logic Mathematical physics Ethics Analytic Philosophy Mathematical Logic and Formal Languages Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Moral Philosophy |
| ISBN | 3-319-77434-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: The scope and methods of formal philosophy -- Chapter 1. Formalization (Sven Ove Hansson) -- Part II: Reasoning and inference -- Chapter 2. Non-monotonic reasoning (Alex Bochman) -- Chapter 3. Argument (Henry Prakken) -- Chapter 4. Induction (Rafal Urbaniak and Diderik Batens) -- Chapter 5. Bivalence and future contingency (François Rivenc, Carlo Proietti, and Gabriel Sandu) -- Chapter 6. Conditionals (John Cantwell) -- Chapter 7. Neural network models for conditionals (Hannes Leitgeb) -- Chapter 8. Proof theory (Jeremy Avigad) -- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh Novaes) -- Part III: Metaphysics and philosophy of language -- Chapter 10. Theory of concepts (Erich Rast) -- Chapter 11. Categories (Jean-Pierre Marquis) -- Chapter 12. Necessity and possibility (Melvin Fitting) -- Chapter 13. Reference and denotation (Robert van Rooy) -- Chapter 14. Indexicals (Philippe Schlenker) -- Chapter 14. Can natural language be captured in a formal system? (Martin Stokhof) -- Part IV: Epistemology -- Chapter 15. Knowledge representation for philosophers (Richmond H. Thomason) -- Chapter 16. Epistemic logic and epistemology (Wesley H. Holliday) -- Chapter 16. Belief change (Sven Ove Hansson) -- Chapter 17. Coherence (Sven Ove Hansson) -- Chapter 18. Probability theory (Darrell P. Rowbottom) -- Chapter 19. Bayesian epistemology (Erik J. Olsson). Part V: Philosophy of science -- Chapter 20. Models of the development of scientific theories (Gerhard Schurz) -- Chapter 21. Computational models in science and philosophy (Paul Thagard) -- Chapter 22. Space and time (John Manchak) -- Chapter 23. A formal theory of causation (Richard Scheines) -- Part VI: Axiology and moral philosophy -- Chapter 24. Formal investigations of value (Sven Ove Hansson) -- Chapter 25. Value theory (axiology) (Erik Carlson) -- Chapter 26. Preference and choice (Sven Ove Hansson) -- Chapter 27. Preference Change (Fenrong Liu) -- Deontic logic (Sven Ove Hansson) -- Chapter 28. Action theories, Andreas Herzig (Emiliano Lorini, and Nicolas Troquard) -- Part VII: Decision theory and social philosophy -- Chapter 29. Decision theory: A formal philosophical introduction (Richard Bradley) -- Chapter 30. Bayesian decision theory (Jeffrey Helzner) -- Chapter 31. Representing uncertainty (Sven Ove Hansson) -- Money-pumps (Sven Ove Hansson) -- Chapter 32. Causal decision theory (Brad Armendt) -- Dynamic decision theory (Katie Steele) -- Chapter 33. Logical approaches to law (John Woods) -- Chapter 34. Judgement aggregation (Philippe Mongin) -- Chapter 35. Social choice and voting (Prasanta K. Pattanaik). |
| Record Nr. | UNINA-9910300632503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Norms in Technology [[electronic resource] /] / edited by Marc J de Vries, Sven Ove Hansson, Anthonie W.M. Meijers
| Norms in Technology [[electronic resource] /] / edited by Marc J de Vries, Sven Ove Hansson, Anthonie W.M. Meijers |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (237 p.) |
| Disciplina | 607 |
| Collana | Philosophy of Engineering and Technology |
| Soggetto topico |
Philosophy
Epistemology Ethics Philosophy of Technology |
| ISBN |
1-283-86567-X
94-007-5243-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction -- Part I. Normativity in Technological Knowledge and Action.-Chapter 1. Extending the scope of technological knowledge: Anthonie W.M. Meijers and Peter Kroes -- Chapter 2. Rules, plans and the normativity of technological knowledge: Wybo Houkes -- Chapter 3. Beliefs, acceptances and technological knowledge: Marc J. de Vries and Anthonie W.M. Meijers -- Chapter 4. Policy objectives and the functions of transport systems: Holger Rosencrantz -- Chapter 5. Rational Goals in Engineering Design: The Venice Dams Case: Karin Edvardsson Björnberg -- Part 2. Normativity and Artefact Norms -- Chapter 6. Valuation of Artefacts and the Normativity of Technology: Sven Ove Hansson -- Chapter 7. Artifactual norms: Krist Vaesen -- Chapter 8. Instrumental Artifact Functions and Normativity: Jesse Hughes -- Chapter 9. The goodness and kindness of artefacts: Maarten Franssen -- Part 3. Normativity and Technological Risks -- Chapter 10. The Non-Reductivity of Normativity in Risks: Niklas Möller -- Chapter 11. Risk and Degrees of Rightness: Martin Peterson and Nicolas Espinoza -- Chapter 12. Naturalness, Artifacts, and Value: Per Sandin -- Chapter 13. Trust in Technological Systems: Philip J. Nickel -- Index. . |
| Record Nr. | UNINA-9910438336203321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Role of Technology in Science: Philosophical Perspectives [[electronic resource] /] / edited by Sven Ove Hansson
| The Role of Technology in Science: Philosophical Perspectives [[electronic resource] /] / edited by Sven Ove Hansson |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (261 p.) |
| Disciplina | 601 |
| Collana | Philosophy of Engineering and Technology |
| Soggetto topico |
Philosophy
Philosophy and science History Economic policy Philosophy of Technology Philosophy of Science History of Science R & D/Technology Policy |
| ISBN | 94-017-9762-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Contributors -- Part I. Introductory -- Preview; Sven Ove Hansson -- Chapter 1. Science and technology. What they are and why their relation matters; Sven Ove Hansson.-Part II. The technological origins of science -- Chapter 2. Technological thinking in science; David F. Channell -- Chapter 3. The scientific use of technological instruments; Mieke Boon -- Chapter 4. Experiments before science. What science learned from technological experiments Sven Ove Hansson -- Part III. Modern technology shapes modern science -- Chapter 5. Iteration unleashed. Computer technology in science; Johannes Lenhard -- Chapter 6. Computer simulations: a new mode of scientific inquiry?; Stéphanie Ruphy -- Chapter 7. Adopting a technological stance toward the living world. Promises, pitfalls and perils; Russell Powell -- Part IV. Reflections on a complex relationship -- Chapter 8. Goal rationality in science and technology. An epistemological perspective; Erik J. Olsson -- Chapter 9. Reflections on rational goals in science and technology. A comment on Olsson; Peter Kroes -- Chapter 10. The naturalness of the naturalistic fallacy and the ethics of nanotechnology; Maoro Dorato -- Chapter 11. Human well-being, nature and technology; Ibo van de Poel -- Chapter 12. Philosophy of science and philosophy of technology: one or two philosophies of one or two objects?; Maarten Franssen. |
| Record Nr. | UNINA-9910483963803321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Technology and Mathematics [[electronic resource] ] : Philosophical and Historical Investigations / / edited by Sven Ove Hansson
| Technology and Mathematics [[electronic resource] ] : Philosophical and Historical Investigations / / edited by Sven Ove Hansson |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 510.1 |
| Collana | Philosophy of Engineering and Technology |
| Soggetto topico |
Philosophy
History Logic Mathematics Computers Philosophy of Technology History of Science History of Mathematical Sciences History of Computing Theory of Computation |
| ISBN | 3-319-93779-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I. Introductory -- 1. Preview (Sven Ove Hansson) -- 2. Introduction (Sven Ove Hansson) -- Part II. The historical connection -- 3. The mathematics of craftspeople (TBD) -- 4. Mathematics and Mechanical Computation (Doron Swade) -- 5. The concept of computation in the medieval and modern era (Sara Uckelman) -- 6. Leibniz and the calculus ratiocinator (Wolfgang Lenzen) -- 7. The impact of WWII cryptology on post-war mathematics (Sandy L. Zabell) -- 8. The mathematical origins of modern computing (Mark Priestley) -- Part III. Technological uses of mathematics -- 9. Mathematical optimization in technology (Serkan Kiranyaz) -- 10. Mathematics at technological universities (Sven Ove Hansson) -- 11. Mathematical models of technological and social complexity (Ronald R. Kline) -- Part IV. Technological and mathematical computability -- 12. The Epistemology of Computer-Mediated Proofs (Selmer Bringsjord) -- 13. The physical Church-Turing thesis (Sven Ove Hansson) -- 14. Quantum information (Laura Felline) -- 15. Quantum Reflections on Computational Complexity (Michael Cuffaro) -- Part V. Philosophical reflections on the connection -- 16. What the applicability of mathematics tells us about its philosophy (Phillip L. Wilson) -- 17. The unreasonable effectiveness of mathematics in technology (Tor Sandqvist) -- 18. Practical limits to the effectiveness of mathematics (Johannes Lenhard). |
| Record Nr. | UNINA-9910300622603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The vision zero handbook : theory, technology and management for a zero casualty policy / / edited by Karin Edvardsson Björnberg, Sven Ove Hansson, Matts-Åke Belin, Claes Tingvall
| The vision zero handbook : theory, technology and management for a zero casualty policy / / edited by Karin Edvardsson Björnberg, Sven Ove Hansson, Matts-Åke Belin, Claes Tingvall |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource : (219 illus., 185 illus. in color. eReference.) |
| Disciplina | 320.6 |
| Soggetto topico | Traffic safety - Government policy - Sweden |
| ISBN | 3-030-76505-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Ideas and Principles -- Part 2: Vision Zero – an International Movement for Traffic Safety -- Part 3: Management and Leadership for Vision Zero -- Part 4: Tools and Technologies for Vision Zero -- Part 5: Vision Zero in Other Areas. |
| Record Nr. | UNINA-9910632869203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Vision Zero Handbook [[electronic resource] ] : Theory, Technology and Management for a Zero Casualty Policy / / edited by Karin Edvardsson Björnberg, Matts-Åke Belin, Sven Ove Hansson, Claes Tingvall
| The Vision Zero Handbook [[electronic resource] ] : Theory, Technology and Management for a Zero Casualty Policy / / edited by Karin Edvardsson Björnberg, Matts-Åke Belin, Sven Ove Hansson, Claes Tingvall |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (Approx. 1000 p.) |
| Disciplina | 320.6 |
| Soggetto topico |
Political planning
Medical policy Operations research Decision making Management Industrial management Social policy Public Policy Health Policy Operations Research/Decision Theory Innovation/Technology Management Social Policy |
| ISBN | 3-030-23176-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Ideas and Principles -- Part 2: Vision Zero – an International Movement for Traffic Safety -- Part 3: Management and Leadership for Vision Zero -- Part 4: Tools and Technologies for Vision Zero -- Part 5: Vision Zero in Other Areas. |
| Record Nr. | UNINA-9910523008603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||