Related papers: The formal roots of Platonism
This draft introduces the technical machinery of a semantic framework for potentialist truthmaking based on our innovation of intentic states, which are structured partial models accounting for our distinction between non-hypothetical and…
We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure we show that the semantics of various natural language…
An indeterministic interpretation of classical physics has been proposed recently, in which the argument relies on attacking an alleged unwarranted metaphysical hidden assumption of the standard deterministic interpretation. This short…
In this note we suggest that difficulties encountered in natural language semantics are, for the most part, due to the use of mere symbol manipulation systems that are devoid of any content. In such systems, where there is hardly any link…
Human knowledge is made up of the conceptual structures of many communities of interest. In order to establish coherence in human knowledge representation, it is important to enable communication between the conceptual structures of…
Metaphysics is traditionally conceived as aiming at the truth -- indeed, the most fundamental truths about the most general features of reality. Philosophical naturalists, urging that philosophical claims be grounded on science, have often…
Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the…
The notion of argumentation and the one of belief stand in a problematic relation to one another. On the one hand, argumentation is crucial for belief formation: as the outcome of a process of arguing, an agent might come to (justifiably)…
A number of writers(Joseph Halpern and Fahiem Bacchus among them) have offered semantics for formal languages in which inferences concerning probabilities can be made. Our concern is different. This paper provides a formalization of…
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another…
In Outline of a Theory of Truth, Kripke introduces some of the central concepts of the logical study of truth and paradox. He informally defines some of these -- such as groundedness and paradoxicality -- using modal locutions. We introduce…
This paper presents a plausible reasoning system to illustrate some broad issues in knowledge representation: dualities between different reasoning forms, the difficulty of unifying complementary reasoning styles, and the approximate nature…
A description of physical reality in which wholeness is the foundation is discussed along with the motivation for such an attempt. As a possible mathematical framework within which a physical theory based on wholeness may be expressed,…
The Aristotelian syllogistic cannot account for the validity of many inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a)…
Several recent results bring into focus the superintuitionistic nature of most notions of proof-theoretic validity, but little work has been done evaluating the consequences of these results. Proof-theoretic validity claims to offer a…
It is argued that the traditional "realist" methodology of physics, according to which human concepts, laws and theories can grasp the essence of reality, is incompatible with the most fruitful interpretation of quantum formalism. The proof…
I offer an analysis of the Principle of Sufficient Reason and its relevancy for the scientific endeavour. I submit that the world is not, and cannot be, rational - only some brained beings are. The Principle of Sufficient Reason is not a…
Article purpose is the analysis of a question of possibility of technologization of philosophical knowledge. We understand the organization of cognitive activity which is guided by the set of methods guaranteed bringing to successful (i.e.…
From a general abstract system theoretical perspective, a quantum-like system description in the spirit of a generalized Quantum Theory may appear to be simpler and more natural than a classically inspired description. We investigate the…
Modern data systems must support accountability across persistent legal, political, and analytic disagreement. This requirement imposes strict constraints on the design of any ontology intended to function as a shared substrate. We…