Philosophy: logic Books
Springer Nonexistent Objects: Meinong and Contemporary
Book SynopsisIssues surrounding the status and nature of `nonexistent objects' constitute one of philosophy's oldest and densest thickets. In this book Perszyk takes his readers surefootedly through this thicket, informed both historically and at the level of contemporary discussion of relevant themes. His main aim is to develop a `bundle' or `set of properties' interpretation of Meinong's theory of nonexistent objects (as opposed to a set of properties neo-Meinongian metaphysics), and to defend this nonstandard interpretation against competing views in both the philosophical and scholarly literature on Meinong. The Meinong who emerges is neither the hero nor the villain his friends and foes have commonly led us to believe. This clearly written book is a valuable addition both to the literature on Meinong and to contemporary metaphysics of modality. It is written for students and professionals interested in these, and related, areas.Table of ContentsPreface. 1: Introductory Considerations. 1.1. The impasse. 1.2. What might the claim that there `are' nonexistent objects mean. 1.3. Methodological concerns. 2: Meinong's Theory of Objects. 2.1. The Independence and Indifference principles. 2.2. The Independence principle: initial reaction. 2.3. The Indifference principle: initial reaction. 2.4. Is there a third mode of being? 2.5. Meinong and his historical precursors. 3: The Nature of Meinong's Objects: Existent and Nonexistent. 3.1. Incomplete objects and the nature of existents. 3.2. Incomplete objects and the nature of nonexistents. 3.3. More on the particular-general and concrete-abstract distinctions. 4: Two Main Arguments for Nonexistents. 4.1. The argument from negative existentials. 4.2. The argument from intentionality. 5: Main Arguments against Nonexistents. 5.1. Definitions of object-possiblity and object-impossibility. 5.2. Theories of nonexistents are inconsistent or apt to infringe the law of non-contradiction. 5.3. Nonexistent aren't objects. 5.4. An existence objection. 5.5. There are no impossible worlds or individuals. Bibliography. List of Meinong's Writings Consulted. General Bibliography.
£123.49
Brepols Publishers English Logic and Semantics, from the End of the
Book Synopsis
£66.50
Brepols Publishers Aristotle's Peri Hermeneias in the Latin Middle
Book Synopsis
£66.50
Double 9 Books The Categories
Book SynopsisThe Categories is a foundational work in philosophy by the ancient Greek philosopher Aristotle. This collection of stories authored by Aristotle seeks to gather many of his Nonfiction, history, Classics concepts into a single draft and provide them at an inexpensive price so that everyone can read them. Some stories are fascinating and fantastic, while others sneak up on you and draw you in. This 4th century BCE work is a foundational examination of ontologythe study of the nature of being and existence. Aristotle's Categories is a brief treatise divided into short chapters, and categories, each of which addresses a distinct aspect of how language and mind categorize and describe reality. The book opens with a consideration of substance, highlighting the central importance of particular beings or substances in our conceptual framework. Aristotle divides substances into two categories: substances in and of themselves (particulars) and characteristics or qualities (universals). The story has so many twists and turns that can engage a reader. Some stories are gruesome and bizarre, while others softly creep up on you and pull you in. This book additionally dives into other categories, like quantity, relation, place and time, and other one action, to explain how these ideas impact our view of the world. Aristotle also investigates the concepts of potentiality and actuality, which serve as the foundation for his metaphysical theories.
£9.49
Springer Giving Reasons: A Linguistic-Pragmatic Approach to Argumentation Theory
Book SynopsisThis book provides a new, linguistic approach to Argumentation Theory. Its main goal is to integrate the logical, dialectical and rhetorical dimensions of argumentation in a model providing a unitary treatment of its justificatory and persuasive powers. This model takes as its basis Speech Acts Theory in order to characterize argumentation as a second-order speech act complex. The result is a systematic and comprehensive theory of the interpretation, analysis and evaluation of arguments. This theory sheds light on the many faces of argumentative communication: verbal and non-verbal, monological and dialogical, literal and non-literal, ordinary and specialized.The book takes into consideration the major current comprehensive accounts of good argumentation (Perelman’s New Rhetoric, Pragma-dialectics, the ARG model, the Epistemic Approach) and shows that these accounts have fundamental weaknesses rooted in their instrumentalist conception of argumentation as an activity oriented to a goal external to itself. Furthermore, the author addresses some challenging meta-theoretical questions such as the justification problem for Argumentation Theory models and the relationship between reasoning and arguing.Trade ReviewFrom the reviews:“Bermejo-Luque’s book Giving Reasons has the ambition of developing a new theoretical approach to argumentation that integrates logical, dialectical and rhetorical aspects. The author uses speech act theory to realize her ideal of ‘a linguistic-pragmatic approach’ to argumentation. … provide a coherent, systematic and comprehensive model for argument analysis and evaluation which overcomes the shortcomings of the current models and approaches to argumentation. … Giving Reasons will be of interest to argumentation theorists, as it raises some important issues.” (C. Andone, Argumentation, Vol. 26, 2012)Table of ContentsPreface.- I Argumentation and Its Study.- II Why Do We Need a New Theory of Argumentation?.- III Acts of Arguing.- IV The Logical Dimension of Argumentation.- V The Dialectical Dimension of Argumentation.- VI The Rhetorical Dimension of Argumentation.- VII Argumentation Appraisal.- References.
£85.49
Springer Philosophy of Mathematics Today
Book SynopsisMathematics is often considered as a body of knowledge that is essen tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe matics) deals with some results in logic and mathematics which reveal that certain notions are in general not invariant with respect to different choices of language and of coding processes. Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language dependency of verisimilitude; 3) The proof of the weak and strong anti inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). The requirements of logical rigour and consistency are not the only criteria for the acceptance and appreciation of mathematical proposi tions and theories.Table of ContentsGeneral Philosophical Perspectives.- Logic, Mathematics, Ontology.- From Certainty to Fallibility in Mathematics?.- Moderate Mathematical Fictionism.- Language and Coding-Dependency of Results in Logic and Mathematics.- What is a Profound Result in Mathematics?.- The Hylemorphic Schema in Mathematics.- Foundational Approaches.- Categorical Foundations of the Protean Character of Mathematics.- Category Theory and Structuralism in Mathematics: Syntactical Considerations.- Reflection in Set Theory. The Bernays-Levy Axiom System.- Structuralism and the Concept of Set.- Aspects of Mathematical Experience.- Logicism Revisited in the Propositional Fragment of Le?niewski’s Ontology.- The Applicability of Mathematics.- The Relation of Mathematics to the Other Sciences.- Mathematics and Physics.- The Mathematical Overdetermination of Physics.- Gödel’s Incompleteness Theorem and Quantum Thermodynamic Limits.- Mathematical Models in Biology.- The Natural Numbers as a Universal Library.- Mathematical Symmetry Principles in the Scientific World View.- Historical Considerations.- Mathematics and Logics. Hungarian Traditions and the Philosophy of Non-Classical Logic.- Umfangslogik, Inhaltslogik, Theorematic Reasoning.
£85.49
Leuven University Press Radulphus Brito. Quaestiones super Priora
Book SynopsisThe history of logic and its development during the medieval period. Radulphus Brito’s Quaestiones super Priora Analytica Aristotelis is a major work written in the early 1300s which treated Aristotle’s text devoted to the theory of the syllogism. Brito, perhaps one of the most influential medieval thinkers known as the Modistae, examines both categorical and hypothetical syllogisms. In his text, based on six known manuscripts which are complete or nearly complete, Brito was critical of many of the theories of his contemporary, Simon of Faversham. It should also be mentioned that Brito edited his work several times. There are at least two versions which indicate Brito returned to this material during his long career at the university in Paris. This volume is the first critical text edition of Brito’s Quaestiones super Priora Analytica Aristotelis and will therefore be of great interest to those studying the history of logic and its development during the medieval period.This publication is GPRC-labeled (Guaranteed Peer-Reviewed Content). Trade ReviewThis volume should be warmly welcomed as the first critical edition of a major work by Radulphus Brito (d. 1320), one of the most important logicians of the late thirteenth and early fourteenth centuries, who lectured at the University of Paris between 1296 and 1306.Paul Thom, Journal of the History of Philosophy, Volume 55, Number 4, October 2017, pp. 729-730 * Journal of the History of Philosophy *Insofar as Brito is generally considered to be one of the leading scholastics of his day, known as the ‘Modistae’, it is obvious that this edition is most significant from both a historical and doctrinal point of view.Jules Janssens, Tijdschrift voor Filosofie, 80/2018, doi: 10.2143/TVF.80.3.3285689Table of ContentsCONTENTS FOREWORD CRITICAL STUDY THE EDITIONS AND MANUSCRIPTS A. the editions B. the manuscripts THE AUTHORSHIP AND DATE THE MANUSCRIPT TRADITION A. THE QUESTIONS CONTAINED IN THE MANUSCRIPT 1. The Redactio communis and the redactio parisiensis 2. A Possible Intermediate Third Redaction B. THE COMMON AND UNIQUE ACCIDENTS 1. The Common Readings of the redactio communis and the Unique Readings in Paris, BnF. lat. 14705 2. The Common Readings of Osimo, Bibl. Campana, 39 and Paris, BnF. lat.14705 3. The Common Readings of Osimo, Bibl. Campana, 39, Paris, BnF. lat. 14705 and Venezia, Bibl. S. Marco, lat., VI, 150 (X.39) 4. A Historical Development of the Manuscript Models C. PRINCIPLES OF THE EDITION D. BRITO'S SOURCES TECHNIQUE OF THE EDITION STEMMA CODICUM SYMBOLS ABBREVIATIONS SIGLA CODICUM QUAESTIONES SUPER LIBROS PRIORUM ANALYTICORUM ARISTOTELIS LIBER I Prooemium Q. 1. Utrum de syllogismo possit esse scientia. Q. 2. Utrum syllogismus simpliciter sit subiectum in ista scientia. Q. 3. Utrum scientia libri Priorum sit inventiva vel iudicativa. Q. 4. Utrum dici de omni sit condicio subiecti vel praedicati. Q. 5. Utrum conversio sit possibilis. Q. 6. Utrum conversio sit species argumentationis. Q. 7. Utrum termini maneant idem in convertente et conversa. Q. 8. Utrum conversio sit passio terminorum vel propositionum. Q. 9. Utrum negatio praecedens terminum communem neget ipsum pro quolibet supposito. Q. 10. Utrum universalis negativa de inesse convertatur simpliciter. (redactio communis). (redactio Parisiensis). Q. 11. Utrum universalis affirmativa de inesse convertatur in particularem affirmativam; et utrum particularis affirmativa convertatur in particularem affirmativam. Q. 12. Utrum ista propositio sit vera ‘aliquis homo est species.’ Q. 13. Utrum particularis negativa de inesse convertatur simpliciter. Q. 14. Utrum universalis negativa de necessario convertatur simpliciter. Q. 15. Utrum sit aliqua propositio necessaria per accidens. Q. 16. Utrum sequatur ‘non de necessitate quoddam B est A, ergo non de necessitate quoddam A est B.’ Q. 17. Utrum ista propositio sit vera ‘omne grammaticum de necessitate est homo.’ Q. 18. Utrum possibile dicatur per unam rationem de necessario et non necessario. Q. 19. Utrum universalis negativa de contingenti pro possibili convertatur simpliciter. Q. 20. Utrum universalis negativa de contingenti ad utrumlibet convertatur simpliciter. Q. 21. Utrum particularis negativa de contingenti ad utrumlibet convertatur simpliciter. Q. 22. Utrum particularis affirmativa de contingenti ad utrumlibet convertatur simpliciter. Q. 23. Utrum sequatur ‘non contingit ad utrumlibet aliquod B esse A, ergo non contingit ad utrumlibet aliquod A esse B.’ Q. 24. Utrum dicendo ‘B contingit non esse A,’ negatio praecedens praedicatum removeat ipsum pro quolibet supposito a subiecto. Q. 25. Utrum sint tantum tres figurae syllogismorum. Q. 26. Utrum ex ambabus negativis in aliqua figura fiat syllogismus. Q. 27. Utrum ex ambabus particularibus sequatur aliquid. Q. 28. Utrum ex maiore particulari in prima figura sequatur aliquid; utrum ex minore negativa in eadem prima sequatur aliquid. Q. 29. Utrum in secunda et in tertia figura sit aliquis syllogismus in actu. Q. 30. Utrum syllogismus expositorius sit bonus syllogismus. Q. 31. Utrum singularis negativa habeat converti. Q. 32. Utrum haec sint verae: quod in secunda figura, si maior sit universalis affirmativa vel negativa et minor particularis eiusdem qualitatis cum maiore compatiens secum suam subcontrariam, non sequitur aliqua conclusio; et quod in tertia figura, si maior sit universalis affirmativa et minor particularis negativa, vel si ambae sint negativae ita quod maior sit universalis et minor particularis compatiens secum suam subcontrariam, non sequitur aliqua conclusio. Q. 33. Utrum ad habendum contradictionem in modalibus oporteat praeponere negationem figurae et modo. Q. 34. Utrum ex ambabus de necessario sequatur conclusio de necessario in primo modo primae figurae. Q. 35. Utrum mixtio sit possibilis in syllogismis; et utrum syllogismus in quo fit mixtio ex una de inesse et alia de necessario sit utilis. Q. 36. Utrum ex maiore de necessario et minore de inesse in prima figura sequatur conclusio de necessario. Q. 37. Utrum maiore existente de necessario et minore de inesse ut nunc sequatur conclusio de necessario. Q. 38. Utrum maiore existente de necessario et minore de inesse ut nunc sequatur conclusio de inesse. Q. 39. Utrum ex maiore existente de inesse simpliciter et minore de necessario in prima figura sequatur conclusio de necessario. Q. 40. Utrum maiore existente universali affirmativa de inesse et minore universali negativa de necessario sequatur conclusio de necessario in secunda figura; et utrum maiore vel minore universali affirmativa de necessario et altera negativa de inesse sequatur conclusio de necessario in tertia figura. Q. 41. Utrum in quarto secundae figurae valeat mixtio ad conclusionem de necessario, supposito quod maior sit universalis affirmativa de inesse et minor particularis negativa de necessario. Q. 42. Utrum definitio contingentis sit bene assignata. Q. 43. Utrum propositiones de contingenti ad utrumlibet convertantur per oppositam qualitatem. Q. 44. Utrum ad veritatem istius propositionis, ‘de necessario homo canescit,’ exigatur entitas extremorum. Q. 45. Utrum ‘quod contingit esse B contingit esse A’ et ‘quod est actu Bcontingit esse A’ sint diversae causae veritatis istius propositionis ‘B contingit esse A’ vel sint diversi sensus multiplicitatis. Q. 46. Utrum praedicatum possit restringere subiectum vel etiam ampliare. Q. 47. Utrum terminus communis secundum unam rationem et aequaliter se habeat ad supposita in actu et in potentia sive ad supposita praesentia, praeterita, et futura. Q. 48. Utrum ex ambabus de contingenti sequatur conclusio. Q. 49. Utrum maiore de contingenti et minore de inesse in prima figura sequatur conclusio de contingenti. Q. 50. Utrum maiore de inesse et minore de contingenti sequatur conclusio de contingenti. Q. 51. Utrum maiore de inesse et minore de contingenti ad utrumlibet sequatur conclusio de contingenti ad utrumlibet in modo affirmativo. Q. 52. Utrum ex maiore negativa de inesse simpliciter et minore de contingenti sequatur conclusio de inesse. Q. 53. Utrum ex maiore de contingenti et minore de necessario sequatur conclusio de contingenti. Q. 54. Utrum maiore de necessario et minore de contingenti sequatur conclusio de contingenti. Q. 55. Utrum maiore affirmativa de necessario et minore de contingenti sequatur conclusio de inesse; utrum maiore de necessario negativa et minore de contingenti sequatur conclusio de inesse. Q. 56. Utrum ex ambabus de contingenti in secunda figura sequatur conclusio de contingenti. Q. 57. Utrum hoc sit verum quod quaedam sunt quae de nullo alio praedicantur, sicut sunt individua. Q. 58. Utrum termino singulari possit addi signum universale. Q. 59. Utrum signum universale possit addi praedicato. Q. 60. Utrum quod ad concludendum universalem affirmativam oportet inspicere ad consequens subiecti et antecedens praedicati sit verum. Q. 61. Utrum ista ‘contingit aliquod sanum esse aegrum,’ quae est contradictoria ‘de necessitate nullum sanum est aegrum,’ sit vera. Q. 62. Utrum ista sit vera, ‘homo potest esse asinus.’ Q. 63. Utrum obliquus possit esse subiectum alicuius propositionis. Q. 64. Utrum syllogismus possit fieri ex obliquis. Q. 65. Utrum signum universale positum ad obliquum possit distribuere rectum. Q. 66. Utrum ex maiore in recto et minore in obliquo fiat bonus syllogismus in prima figura. Q. 67. Utrum maiore in obliquo et minore in recto sequatur conclusio. Q. 68. Utrum ambabus praemissis in obliquo et duplici recto existente in maiore sequatur conclusio in recto, sicut dicendo ‘cuius est disciplina hoc est genus; boni est disciplina; ergo bonum est genus.’ Q. 69. Utrum praemissis ambabus existentibus in obliquo sine hoc quod in maiore sint duo recti sit bonus syllogismus, sic arguendo ‘cuius est disciplina eius est genus; boni est disciplina; ergo boni est genus.’ Q. 70. Utrum propositiones in quibus signum universale negativum additur obliquo sint negativae sicut dicendo ‘nullius hominis asinus currit.’ Q. 71. Utrum eodem modo in prima figura contingat syllogizare ex obliquis in propositionibus negativis sicut affirmativis. Q. 72. Utrum in secunda figura et tertia possit esse syllogismus ex obliquis. Q. 73. Utrum nota reduplicationis debeat poni ad praedicatum vel ad subiectum. Q. 74. Utrum reduplicatio dicat causam praedicati in subiecto. Q. 75. Utrum ad negativam de praedicato finito sequatur affirmativa de praedicato infinito dicendo ‘non est aequale, ergo est non aequale.’ LIBER II Q. 1. Utrum omnis syllogismus sit ex hypothesi. Q. 2. Utrum aliquis syllogismus possit concludere plures conclusiones. Q. 3. Utrum sumendo sub medio contingat syllogizare in secunda figura. Q. 4. Utrum quod ex veris non potest syllogizari falsum habeat veritatem. Q. 5. Utrum ex falsis sequatur conclusio vera. Q. 6. Utrum syllogismus ex falsis sit bonus syllogismus. Q. 7. Utrum hoc sit verum: ad idem affirmatum et negatum non sequitur idem. Q. 8. Utrum syllogismus circularis sit bonus. Q. 9. Utrum syllogismus circularis pertineat ad demonstratorem vel ad prioristam, vel ad dialecticum, vel ad aliquem alium artificem. Q. 10. Utrum ‘cui nulli inest B, huic omni inest A; sed C nulli inest B; ergo C omni inest A’ sit bonus syllogismus, et utrum conversio ‘nullum B est A’ ‘cui nulli inest B, huic omni inest A’ sit bona; et utrum haec conversio, ‘nullum B est A; ergo cui nulli inest A, huic omni inest B,’ sit possibilis. Q. 11. Utrum syllogismus conversivus differat a syllogismis aliarum potestatum, scilicet a syllogismo ex falsis et a syllogismo per impossibile; utrum talis syllogismus sit possibilis; et ad quem artificem spectet consideratio talis syllogismi. Q. 12. Utrum syllogismus ad impossibile sit bonus. Q. 13. Utrum de syllogismo ad impossibile pertineat considerare quantum ad prioristam vel quantum ad dialecticum vel ad demonstratorem. Q. 14. Utrum universalis affirmativa poterit syllogizari per impossibile in prima figura. Q. 15. Utrum syllogismus ex oppositis sit bonus. Q. 16. Utrum syllogismus ex oppositis pertineat ad demonstratorem. Q. 17. Utrum syllogismus ex oppositis possit fieri in prima figura; et utrum conclusio syllogismi ex oppositis sit possibilis. Q. 18. Utrum ad prioristam spectet considerare de petitione principii. Q. 19. Utrum petitio principii peccet contra syllogismum simpliciter. Q. 20. Utrum debeat in ista scientia determinari de ‘non propter hoc accidere falsum.’ Q. 21. Utrum sit possibile opinari propositionem universalem et ignori suam singularem; utrum aliquis possit opinari duas oppositas praemissas in diversis syllogismis; et utrum aliquis possit opinari duas praemissas unius syllogismi et unam alterius syllogismi. Q. 22. Utrum fallacia opinionis sit possibilis. APPENDIX I QUAESTIONES NOVAE Q. 1. Utrum syllogismus expositorius sit bonus. Q. 2. Utrum syllogismus simpliciter habeat probare suam conclusionem. APPENDIX II QUAESTIONES DUBIAE Q. 1. Utrum propositio syllogistica sit genus ad propositionem dialecticam et demonstrativam. Q. 2. Utrum in secunda figura contingat syllogizare ex obliquis. Q. 3. Utrum duae contradictoriae simul possint esse vera; et utrum ad negativam de praedicato finito sequatur de praedicato infinito. TABLES I. Works Cited by Brito (and by the editor in the apparatus) II. Onomastic Tables III. Manuscripts Cited IV. Quoted Publications
£90.00
www.bnpublishing.com A Treatise on Probability
£17.99
World Scientific Publishing Co Pte Ltd Essays On Non-classical Logic
Book SynopsisThis book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.Table of ContentsFine-Grained Theories of Time (P Blackburn); Revision Sequences and Computers with an Infinite Amount of Time (B Lowe); On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman); Truthmakers, Entailment and Necessity (S Read); Global Definability in Basic Modal Logic (M de Rijke & H Sturm); Ackermann's Implication for Typefree Logic (K Robering); Why Dialogical Logic? (H Ruckert); Semantics for Constructive Negations (Y Shramko); Recent Trends in Paraconsistent Logic (M Urchs); Obligations, Authorities, and History Dependence (H Wansing).
£68.40
Springer Verlag, Singapore Ordinal Analysis with an Introduction to Proof
Book SynopsisThis book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.Trade Review“Arai's book represents an important contribution to the field of ordinal analysis, and is recommended to any mathematician interested in the classification of the proof-theoretic strength of mathematical theories. … the book is well written, well organized, and concise … . Arai is to be commended for this significant resource for anyone who wishes to study ordinal analysis, and gain a better understanding of the proof-theoretic strength of theories.” (Matthew Jura, Mathematical Reviews, December, 2023)Table of ContentsIntroduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
£52.24
World Scientific Publishing Co Pte Ltd Advances In Modal Logic, Volume 3
Book SynopsisAdvances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on “Advances in Modal Logic”, held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.Table of ContentsFrom description to hybrid logics, and back, C. Areces and M. de Rijke; homophonic theory of truth for tense logic, Torben Brauner; weak necessity on weak Kleene matrices, F. Correia; bimodal logics for reasoning about continuous dynamics, J.M. Davoren and R.P. Gore; from bisimulation quantifiers to classifying toposes, S. Ghilardi and M. Zawadowski; normal products of modal logics, Y. Hasimoto; a tableau algorithm for the clique guarded fragment, C. Hirsch and S. Tobies; the complexity of reasoning with Boolean modal logics, C. Lutz and U. Sattler; outline of a logic of action, K. Segerberg; belief, names, and modes of presentation, R. Ye and M. Fitting. (Part contents)
£117.00
World Scientific Publishing Co Pte Ltd Analogies In Physics And Life: A Scientific
Book SynopsisAnalogies play a fundamental role in science. To understand how and why, at a given moment, a certain analogy was used, one has to know the specific, historical circumstances under which the new idea was developed. This historical background is never presented in scientific articles and quite rarely in books. For the general reader, the undergraduate or graduate student who learns the subject for the first time, but also for the practitioner who looks for inspiration or who wants to understand what his colleague working in another field does, these historical circumstances can be fascinating and useful.This book discusses a series of analogy effects in subatomic physics, the prediction and theory of which the author has contributed to in the last 50 years. These phenomena are presented at a level accessible to the non-specialist, without formulae but with emphasis on the personal and historical background: memoirs of meetings, discussions and correspondence with collaborators and colleagues. As such, besides its scientific aspects, the book constitutes an absorbing witness account of a holocaust survivor who subsequently illegally crossed the Iron Curtain to escape communist persecution.Table of Contents1930-1945: My Countries, My Languages, My Family; Premonition of War; Nazism versus Communism; 1945-1969: The Role of Analogy in Science; Prediction of the Isometric Shift; Anticipating Electroweak Unification? Bosonic Leptons: Anticipating Grand Unified Theories?; 1969-1974: CERN; Statistical Concepts in High Energy Physics and Phase Transitions; Bonn: Looking for a Job, Citizenship, Ethnicity; USA: Indiana University - Superfluidity of Hadronic Matter; London: Imperial College - Prediction of Hot Spots in Elementary Particles; 1974-1995: Professor at the Philipps Universitat, Marburg; Hydrodynamics in High-Energy Reactions; Solitons; Anticipating Strongly Interacting Quark Matter; Quantum Optical Analogies in Particle Physics; Bose-Einsten Correlations; Germany Coping with Its Past; The Marburg Einstein scandal; 1995-present: Moving to Paris; Germany versus France; Anti-Semitism; Schools and Religion; and other chapters.
£100.80
