Online research in philosophy

The paper is devoted to applications of algebraic logic to databases. In databases a query is represented by a formula of first order logic. The same query can be associated with different formulas. Thus, a query is a class of equivalent formulae: equivalence here being similar to that in the transition to the Lindenbaum-Tarski algebra. An algebra of queries is identified with the corresponding algebra of logic. An algebra of replies to the queries is also associated with algebraic logic. These (...) relations lie at the core of the applications.In this paper it is shown how the theory of Halmos (polyadic) algebras (a notion introduced by Halmos as a tool in the algebraization of the first order predicate calculus) is used to create the algebraic model of a relational data base. The model allows us, in particular, to solve the problem of databases equivalence as well as develop a formal algebraic definition of a database's state description. In this paper we use the term "state description" for the logical description of the model. This description is based on the notion of filters in Halmos algebras. When speaking of a state description, we mean the description of a function which realizes the symbols of relations as real relations in the given system of data. (shrink)

I examine the branch of evolutionary epistemology which tries to account for the character of cognitive mechanisms in animals and humans by extending the biological theory of evolution to the neurophysiological substrates of cognition. Like Plotkin, I construe this branch as a struggling science, and attempt to characterize the sort of theory one might expect to find this truly interdisciplinary endeavor, an endeavor which encompasses not only evolutionary biology, cognitive psychology, and developmental neuroscience, but also and especially, the computational (...) modeling of artificial life programming; I suggest that extending Schaffner''s notion of interlevel theories to include both horizontal and vertical levels of abstraction best fits the theories currently being developed in cognitive science. Finally, I support this claim with examples drawn from computational modeling data using the genetic algorithm. (shrink)