Online research in philosophy

We investigate computational properties of propositional logics for dynamical systems. First, we consider logics for dynamic topological systems (W.f), fi, where W is a topological space and f a homeomorphism on W. The logics come with ‘modal’ operators interpreted by the topological closure and interior, and temporal operators interpreted along the orbits {w, f(w), f2 (w), ˙˙˙} of points w ε W. We show that for various classes of topological spaces the resulting logics are not recursively enumerable (and so not recursively axiomatisable). This gives a ‘negative’ solution to a conjecture of Kremer and Mints. Second, we consider logics for dynamical systems (W, f), where W is a metric space and f and isometric function. The operators for topological interior/closure are replaced by distance operators of the form ‘everywhere/somewhere in the ball of radius a, ‘for a ε Q +. In contrast to the topological case, the resulting logic turns out to be decidable, but not in time bounded by any elementary function.

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.

Trenton Merricks argues that on any reasonable account, warrant must entailtruth. I demonstrate three theses about the properties ofwarrant: (1) Warrant is not unique;there are many properties that satisfy the definition of warrant. (2) Warrant need not entail truth; there are some warrant properties that entailtruthand others that do not. (3) Warrant need not be closed under entailment, even if knowledge is. If knowledge satisfies closure, then some warrant properties satisfy closure while others do not;if knowledge violates closure, then allwarrant properties violate closure.

In our previous paper Algebraic Logic for Classical Conjunction and Disjunction we studied some relations between the fragmentL of classical logic having just conjunction and disjunction and the varietyD of distributive lattices, within the context of Algebraic Logic. The central tool in that study was a class of closure operators which we calleddistributive, and one of its main results was that for any algebraA of type (2,2) there is an isomorphism between the lattices of allD-congruences ofA and of all distributive closure operators overA. In the present paper we study the lattice structure of this last set, give a description of its finite and infinite operations, and obtain a topological representation. We also apply the mentioned isomorphism and other results to obtain proofs with a logical flavour for several new or well-known lattice-theoretical properties, like Hashimoto's characterization of distributive lattices, and Priestley's topological representation of the congruence lattice of a bounded distributive lattice.

This paper is a continuation of investigations on Galois connections from [1], [3], [10]. It is a continuation of [2]. We have shown many results that link properties of a given closure space with that of the dual space. For example: for every -disjunctive closure space X the dual closure space is topological iff the base of X generated by this dual space consists of the -prime sets in X (Theorem 2). Moreover the characterizations of the satisfiability relation for classical logic are shown. Roughly speaking our main result here is the following: a satisfiability relation in a logic L with, a countable language is a fragment of the classical one iff the compactness theorem for L holds (Theorems 3–8).

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).

In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If =0 or = or , then a closure space X is an absolute extensor for the category of , -closure spaces iff a contraction of X is the closure space of all , -filters in an , -semidistributive lattice.In the case when = and =, this theorem becomes Scott's theorem.

We give an idea of uniform approach to the problem of characterization of absolute extensors for categories of topological spaces [21], closure spaces [15], Boolean algebras [22], and distributive lattices [4]. In this characterization we use the notion of retract of the closure space of filters in the lattice of all subsets.

The main result of this paper is the following theorem: a closure space X has an , , Q-regular base of the power iff X is Q-embeddable in It is a generalization of the following theorems:(i) Stone representation theorem for distributive lattices ( = 0, = , Q = ), (ii) universality of the Alexandroff's cube for T 0-topological spaces ( = , = , Q = 0), (iii) universality of the closure space of filters in the lattice of all subsets for , -closure spaces (Q = 0). By this theorem we obtain some characterizations of the closure space given by the consequence operator for the classical propositional calculus over a formalized language of the zero order with the set of propositional variables of the power . In particular we prove that a countable closure space X is embeddable with finite disjunctions preserved into F iff X is a consistent closure space satisfying the compactness theorem and X contains a 0, -base consisting of -prime sets.

In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T 0-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T 0-closure spaces. By this theorem we obtain the following characterization of the consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X.