In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical (...) extension of a frame and model, and prove a preservation result inspired from Fitting's canonical model argument in [FIT 92a]. The analog of a complex algebra and of a principal ultrafilter is defined and the embedding of a frame into its canonical extension is presented. (shrink)

It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes, which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier is, at least in general and within the conceptual framework of category theory, (...) not appropriately defined. For this purpose, I first analyze the standard notion of a subobject classifier, show its connection with the representability of the functor Sub via the Yoneda lemma, recall some other properties of the internal structure of a topos and, based on these, I critically comment on the notion of a complement-classifier. (shrink)

[The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...) intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. (shrink)

Classical modal logics, based on the neighborhood semantics of Scott and Montague, provide a generalization of the familiar normal systems based on Kripke semantics. This paper defines AGM revision operators on several first-order monotonic modal correspondents, where each first-order correspondence language is defined by Marc Pauly’s version of the van Benthem characterization theorem for monotone modal logic. A revision problem expressed in a monotone modal system is translated into first-order logic, the revision is performed, and the new belief set is (...) translated back to the original modal system. An example is provided for the logic of Risky Knowledge that uses modal AGM contraction to construct counter-factual evidence sets in order to investigate robustness of a probability assignment given some evidence set. A proof of correctness is given. (shrink)

modality , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L by interpreting L in dynamic topological systems, i.e. ordered pairs X, f , where X is a topological space and f is a..

The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

In the paper we discuss the problem of limitations of freedom in mathematics and search for criteria which would differentiate the new concepts stemming from the historical ones from the new concepts that have opened unexpected ways of thinking and reasoning. We also investigate the emergence of category theory and its origins. In particular we explore the origins of the term functor and present the strong evidence that Eilenberg and Carnap could have learned the term from Kotarbiński and Tarski.

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

Given the frequency of human error, it seems rational to believe that some of our own rational beliefs are false. This is the axiom of epistemic modesty. Unfortunately, using standard propositional quantification, and the usual relational semantics, this axiom is semantically inconsistent with a common logic for rational belief, namely KD45. Here we explore two alternative semantics for KD45 and the axiom of epistemic modesty. The first uses the usual relational semantics and bisimulation quantifiers. The second uses a topological semantics (...) and standard propositional quantification. We show the two different semantics validate many of the same formulas, though we do not know whether they validate exactly the same formulas. Along the way we address various philosophical concerns. (shrink)

The Aleph Zero or Zero Dichotomy is a strong version of Zeno's Dichotomy II which being entirely derived from the topological successiveness of the w-order comes to the same Zeno's absurdity.

In this paper a general mathematical model of the World will be constructed. I will show that a number of important theories in Physics are particularizations of the World Theory presented here. In particular, the worlds described by the Classical Mechanics, the Theory of Relativity and the Quantum Mechanics are examples of worlds according to this definition, but also some theories attempting to unify gravity and QM, like String Theory. This mathematical model is not a Unified Theory of Physics, it (...) will not try to be a union of all the results. By contrary, it tries to keep only what is common and general to most of these theories. Special attention will be payed to the space, time, matter, and the physical laws. What do we know about the laws governing the Universe? What are the most general assumptions one can make about the Physical World? Each theory in Physics and each philosophical system came with its own vision trying to describe or explain the World, at least partially. In the following, I will try to keep the essential, and to establish a mathematical context, for all these visions. The purpose of this distillation is to provide a mathematical common background to both physical and metaphysical discussions about the various theories of the World. The mathematical object named World is defined using the locally homogeneous sheaves and sheaf selection which are introduced in the appendices. (shrink)

In the present paper I argue that the formalism of Newtonian mechanics stems directly from the general principle to be called the principle of microlevel reducibility which physical systems obey in the realm of classical physics. This principle assumes, first, that all the properties of physical systems must be determined by their states at the current moment of time, in a slogan form it is ``only the present matters to physics.'' Second, it postulates that any physical system is nothing but (...) an ensemble of structureless particles arranged in some whose interaction obeys the superposition principle. I substantiate this statement and demonstrate directly how the formalism of differential equations, the notion of forces in Newtonian mechanics, the concept of phase space and initial conditions, the principle of least actions, etc. result from the principle of microlevel reducibility. The philosophical concept of thick presentism and the introduction of two dimensional time-physical time and meta-time that are mutually independent on infinitesimal scales-are the the pivot points in these constructions. (shrink)

The notion of that information is relative to a context is important in many different ways. The idea that the context is small — that is, not necessarily a consistent and complete possible world — plays a role not only in situation theory, but it is also an enlightening perspective from which to view other areas, such as modal logics, relevant logics, categorial grammar and much more. In this article we will consider these areas, and focus then on one further (...) question: How can we account for information about one thing giving us information about something else? This is a question addressed by channel theory. We will look at channel theory and then see how the issues of information flow and conditionality play a role in each of the different domains we have examined. (shrink)

Bifurcated supertasks entail the actual infinite division of time (accelerated system of reference) as well as the existence of half-curves of infinite length (supertask system of reference). This paper analyzes both issues from a critique perspective. It also analyzes a conflictive case of hypercomputation performed by means of a bifurcated supertask. The results of these analyzes suggest the convenience of reviewing certain foundational aspects of infinitist theories.

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.

In this work we study the functions, which are the polynomials of conditional algebra. The notion of conditional algebra is based on the procedural semantics of the conditional operator “if A then B else C” – one of the most usable operators of programming languages.