Filter by
Inquisitive Logic: Consequence and Inference in the Realm of Questions
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefo…
- Edition
- Volume 60
- ISBN/ISSN
- 978-3-031-09705-8
- Collation
- XX, 272
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Foundations of Software Science and Computation Structures: 23rd Internationa…
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-45231-5
- Collation
- XV, 644
- Series Title
- -
- Call Number
- -
Physical (A)Causality: Determinism, Randomness and Uncaused Events
This open access book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of the questions that arise are the fo…
- Edition
- 1
- ISBN/ISSN
- 9783319708157
- Collation
- XIV, 219
- Series Title
- -
- Call Number
- -
Return to China One Day
This open access book is intended for common readers who are interested in the life story of Qian Xuesen (also know as Tsien Hsue-Shen). Based on a large number of original archives and historical materials, this book focuses on Qian Xuesen’s years of seeking knowledge from his birth in 1911 to his return to China in 1955 and describes how he grows into a world-known scientist from the aspect…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- XII, 190
Enrico Fermi the Obedient Genius
This biography explores the life and career of the Italian physicist Enrico Fermi, which is also the story of thirty years that transformed physics and forever changed our understanding of matter and the universe: nuclear physics and elementary particle physics were born, nuclear fission was discovered, the Manhattan Project was developed, the atomic bombs were dropped, and the era of “big sc…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3533-8
- Collation
- 51 b/w illustrations, 3 illustrations in colour
- Series Title
- -
- Call Number
- -
Why More Is Different Philosophical Issues in Condensed Matter Physics and C…
The physics of condensed matter, in contrast to quantum physics or cosmology, is not traditionally associated with deep philosophical questions. However, as science - largely thanks to more powerful computers - becomes capable of analysing and modelling ever more complex many-body systems, basic questions of philosophical relevance arise. Questions about the emergence of structure, the nature o…
- Edition
- -
- ISBN/ISSN
- 978-3-662-43911-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Psychoacoustic Foundations of Major-Minor Tonality
A fascinating interdisciplinary approach to how everyday Western music works, and why the tones, melodies, and chords combine as they do. Despite the cultural diversity of our globalized world, most Western music is still structured around major and minor scales and chords. Countless thinkers and scientists of the past have struggled to explain the nature and origin of musical structures. In…
- Edition
- Ed. 1
- ISBN/ISSN
- 9780262377362
- Collation
- -
- Series Title
- -
- Call Number
- 780.03 PAR p
Universe Unveiled The Cosmos in My Bubble Bath
The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub... Alfie is back. And so are George and other characters from the author’s previous book Einstein’s Enigma or Black Holes in My Bubble Bath. While the present book, Univers…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08213-4
- Collation
- -
- Series Title
- -
- Call Number
- -
The Physics of the Manhattan Project
The development of nuclear weapons during the Manhattan Project is one of the most significant scientific events of the twentieth century. This revised and updated 3rd edition explores the challenges that faced the scientists and engineers of the Manhattan Project. It gives a clear introduction to fission weapons at the level of an upper-year undergraduate physics student by examining the detai…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-43533-5
- Collation
- Fisika
- Series Title
- -
- Call Number
- 530
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography