相关论文: Aristotle and Gautama on Logic and Physics
This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the…
This book represents a continuation, an elaboration, and possibly a clear explanation of the ideas which were expounded in the previous book Time and Methods in Environmental Interfaces Modeling (henceforth abbreviated as TM, Mihailovic et…
In this paper, it is argued that theoretical physics is more akin to an organism than to a rigid structure.It is in this sense that the epithet, "sick", applies to it. It is argued that classical physics is a model of a healthy science, and…
Logic $L$ was introduced by Lewitzka [7] as a modal system that combines intuitionistic and classical logic: $L$ is a conservative extension of CPC and it contains a copy of IPC via the embedding $\varphi\mapsto\square\varphi$. In this…
Computability logic is a formal theory of (interactive) computability in the same sense as classical logic is a formal theory of truth. This approach was initiated very recently in "Introduction to computability logic" (Annals of Pure and…
Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.
Metascientific criteria used for explaining or constraining physical space dimensionality and their historical relationship to prevailing causal systems are discussed. The important contributions by Aristotle, Kant and Ehrenfest to the…
My purpose is to examine some concepts of mathematical logic, which have been studied by Carlo Cellucci. Today the aim of classical mathematical logic is not to guarantee the certainty of mathematics, but I will argue that logic can help us…
This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…
In this paper we intend to connect two different strands of research concerning the origin of what I shall loosely call "formal" ideas: firstly, the relation between logic and rhetoric - the theme of the 2006 Cambridge conference to which…
Despite ongoing calls for inclusive and culturally responsive pedagogy in computing education, the teaching of algorithms remains largely decontextualized. Foundational computer science courses often present algorithmic thinking as purely…
Theories of decoherence come in two flavors---Platonic and Aristotelian. Platonists grant ontological primacy to the concepts and mathematical symbols by which we describe or comprehend the physical world. Aristotelians grant it to the…
It has been shown at other occasions that recent results of modern physics can be used to shed some more light onto the foundations of the world, provided the actual task of philosophy is being re-interpreted in terms of a theory which is…
The development of logic has largely been through the 'deductive' paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual…
The development of a mathematics for living systems is one of the most challenging prospects of this century. The search began with the pioneering contribution of Ilia Prigogine, who developed methods from statistical physics to describe…
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controversy. The intuitionist advocates for a strict notion of…
Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as…
The cultural infrastructure that let Galileo invent the modern physics is discussed. The key new element of modern physics was firm belief in its fundamental structure, which could be expressed in the double postulate: 1) There are…
Our understanding of the four basic concepts of Physics -- space, time, matter and force -- has undergone radical change in the course of work on unification, starting with Maxwell's unification of electricity with magnetism, all the way to…
In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver…