English
Related papers

Related papers: Infinity and the Sublime

200 papers

The relationship between mathematics and physics has long been an area of interest and speculation. Subscribing to the recent definition by Tegmark, we present a mathematical structure involving the only division rings - the real,…

General Physics · Physics 2009-08-17 Lester C. Welch

There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…

Artificial Intelligence · Computer Science 2014-04-25 Ryuta Arisaka

This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's work. The study addresses challenges in understanding how…

Logic · Mathematics 2023-10-23 Ukyo Suzuki , Yoriyuki Yamagata

A lively ongoing debate is taking place, since the extraordinary emergence of Large Language Models (LLMs) with regards to their capability to understand the world and capture the meaning of the dialogues in which they are involved.…

Computation and Language · Computer Science 2025-05-09 Daniel N. Nissani

Impact of academic research onto the non-academic world is of increasing importance as authorities seek return on public investment. Impact opens new opportunities for what are known as "professional services": as scientometrical tools…

History and Philosophy of Physics · Physics 2020-05-26 R. Kenna

The most important problems for society are describable only in vague terms, dependent on subjective positions, and missing highly relevant data. This thesis is intended to revive and further develop the view that giving non-trivial,…

Logic in Computer Science · Computer Science 2018-09-27 Robert Dustin Wehr

The purpose of this essay is to trace the historical development of geometry while focusing on how we acquired mathematical tools for describing the "shape of the universe." More specifically, our aim is to consider, without a claim to…

History and Overview · Mathematics 2019-04-04 Toshikazu Sunada

Questions concerning origin of mathematical knowledge and roles of language and intuition (imagery) in mathematical thoughts are long standing and widely debated. By introspection, mathematicians usually have some beliefs regarding these…

Neurons and Cognition · Quantitative Biology 2019-10-02 Manouchehr Zaker

The issues related to bringing together the principles of general relativity and quantum theory are discussed. After briefly summarising the points of conflict between the two formalisms I focus on four specific themes in which some contact…

General Relativity and Quantum Cosmology · Physics 2014-11-17 T. Padmanabhan

In his Discourse on the Method of Rightly Conducting the Reason, and Seeking Truth in the Sciences, Rene Descartes sought ``clear and certain knowledge of all that is useful in life.'' Almost three centuries later, in ``The foundations of…

Other Computer Science · Computer Science 2007-05-23 Michael J. O'Donnell

I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy,…

History and Overview · Mathematics 2015-07-19 Luis Urtubey

We propose a system of information-theoretic axioms from which we derive the formalism of quantum theory. Part I is devoted to the conceptual foundations of the information-theoretic approach. We argue that this approach belongs to the…

Quantum Physics · Physics 2016-09-08 Alexei Grinbaum

A sketch of some of the fundamental notions related to the nature of knowledge is offered, with special focus on the role of mathematics and my own opinions. No single idea exposed here is entirely original; indeed, this topic has been…

History and Overview · Mathematics 2023-10-23 Daniel Canarutto

I would like to consider the Beginning of space-time in this paper. First of all, we do consideration historical thought. A lot of philosophers have considered the relation between this real phenomenal world and the basic world in which the…

History and Philosophy of Physics · Physics 2011-03-07 Tadashi Fujimoto

A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, computer science, and logic. The goal of the following dialog…

Artificial Intelligence · Computer Science 2024-09-24 Yuri Gurevich , Andreas Blass

This paper undertakes a re-examination of Sir William Hamilton's doctrine of the quantification of the predicate. Hamilton's doctrine comprises two theses. First, the predicates of traditional syllogistic sentence-forms contain implicit…

Logic in Computer Science · Computer Science 2024-04-24 Ian Pratt-Hartmann

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a…

Logic in Computer Science · Computer Science 2014-11-27 Richard Prideaux Evans , Martin Berger

Conceptual consequences of recent results in loop quantum gravity are collected and discussed here in view of their implications for a modern philosophy of science which is mainly understood as one that totalizes scientific insight so as to…

General Physics · Physics 2007-05-23 Rainer E. Zimmermann

Abraham Robinson's philosophical stance has been the subject of several recent studies. Erhardt following Gaifman claims that Robinson was a finitist, and that there is a tension between his philosophical position and his actual…

History and Overview · Mathematics 2025-09-23 Mikhail G. Katz , Karl Kuhlemann , Sam Sanders , David Sherry

This invited paper is a passionate pitch for the significance of logic in scientific education. Logic helps focus on the essential core to identify the foundations of ideas and provides corresponding longevity with the resulting approach to…

Logic in Computer Science · Computer Science 2024-09-16 André Platzer