1,000 research outputs found
Does Ought Imply Ought Ought?
Knows-knows principles in epistemology say that if you know some proposition, then you are in a position to know that you know it. This paper examines the viability of analogous principles in ethics, which I call ought-ought principles. Several epistemologists have recently offered new defences of KK principles and of other related principles, and there has recently been an increased interest in examining analogies between ethics and epistemology, and so it seems natural to examine whether defences of KK and related principles carry over to OO principles. In this paper, I introduce two OO principles, and I show how some arguments in favour of KK carry over to them. Then I show how these OO principles can be used to shed light on a much-discussed case in ethics, that of Professor Procrastinate
Knowledge-to-fact arguments can deliver knowledge
In a recent paper, Murali Ramachandran endorses a principle that he thinks can help us
solve the surprise test puzzle and cause problems for a Williamsonian argument against KK principles. But in this paper I argue that his principle is false and as a result it cannot do either
The Threshold Problem, the Cluster Account, and the Significance of Knowledge
The threshold problem is the task of adequately answering the question: “Where does the threshold lie between knowledge and lack thereof?” I start this paper by articulating two conditions for solving it. The first is that the threshold be neither too high nor too low; the second is that the threshold accommodate the significance of knowledge. In addition to explaining these conditions, I also argue that it is plausible that they can be met. Next, I argue that many popular accounts of knowledge cannot meet them. In particular, I lay out a number of problems that standard accounts of knowledge face in trying to meet these conditions. Finally, near the end of this paper, I argue that there is one sort of account that seems to evade these problems. This sort of account, which is called a cluster account of knowledge, says that knowledge is to be accounted for in terms of truth, belief and a cluster of epistemic properties and also that knowledge doesn’t require having all members of the cluster, but merely some subset
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
It is well-known that every first-order property on words is expressible
using at most three variables. The subclass of properties expressible with only
two variables is also quite interesting and well-studied. We prove precise
structure theorems that characterize the exact expressive power of first-order
logic with two variables on words. Our results apply to both the case with and
without a successor relation. For both languages, our structure theorems show
exactly what is expressible using a given quantifier depth, n, and using m
blocks of alternating quantifiers, for any m \leq n. Using these
characterizations, we prove, among other results, that there is a strict
hierarchy of alternating quantifiers for both languages. The question whether
there was such a hierarchy had been completely open. As another consequence of
our structural results, we show that satisfiability for first-order logic with
two variables without successor, which is NEXP-complete in general, becomes
NP-complete once we only consider alphabets of a bounded size
On tractability and congruence distributivity
Constraint languages that arise from finite algebras have recently been the
object of study, especially in connection with the Dichotomy Conjecture of
Feder and Vardi. An important class of algebras are those that generate
congruence distributive varieties and included among this class are lattices,
and more generally, those algebras that have near-unanimity term operations. An
algebra will generate a congruence distributive variety if and only if it has a
sequence of ternary term operations, called Jonsson terms, that satisfy certain
equations.
We prove that constraint languages consisting of relations that are invariant
under a short sequence of Jonsson terms are tractable by showing that such
languages have bounded relational width
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in
aleph-zero categorical structures. In particular, we define and study a
construction which we call the periodic power of a structure, and define a
periomorphism of a structure to be a homomorphism from the periodic power of
the structure to the structure itself. Our preservation theorem states that,
over an aleph-zero categorical structure, a relation is positive Horn definable
if and only if it is preserved by all periomorphisms of the structure. We give
applications of this theorem, including a new proof of the known complexity
classification of quantified constraint satisfaction on equality templates
Descriptive Complexity of Deterministic Polylogarithmic Time and Space
We propose logical characterizations of problems solvable in deterministic
polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We
introduce a novel two-sorted logic that separates the elements of the input
domain from the bit positions needed to address these elements. We prove that
the inflationary and partial fixed point vartiants of this logic capture
PolylogTime and PolylogSpace, respectively. In the course of proving that our
logic indeed captures PolylogTime on finite ordered structures, we introduce a
variant of random-access Turing machines that can access the relations and
functions of a structure directly. We investigate whether an explicit predicate
for the ordering of the domain is needed in our PolylogTime logic. Finally, we
present the open problem of finding an exact characterization of
order-invariant queries in PolylogTime.Comment: Submitted to the Journal of Computer and System Science
- …