144,522 research outputs found
Weak truth table degrees of structures
We study the weak truth table (wtt) degree spectra of first-order relational structures. We prove a dichotomy among the possible wtt degree spectra along the lines of Knight's upward-closure theorem for Turing degree spectra. We prove new results contrasting the wtt degree spectra of finite-and infinite-signature structures. We show that, as a method of defining classes of reals, the wtt degree spectrum is, except for some trivial cases, strictly more expressive than the Turing degree spectrum
Fuzzy Maximum Satisfiability
In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to
{\L}ukasiewicz logic. The MaxSAT problem for a set of formulae {\Phi} is the
problem of finding an assignment to the variables in {\Phi} that satisfies the
maximum number of formulae. Three possible solutions (encodings) are proposed
to the new problem: (1) Disjunctive Linear Relations (DLRs), (2) Mixed Integer
Linear Programming (MILP) and (3) Weighted Constraint Satisfaction Problem
(WCSP). Like its Boolean counterpart, the extended fuzzy MaxSAT will have
numerous applications in optimization problems that involve vagueness.Comment: 10 page
The prospects for mathematical logic in the twenty-first century
The four authors present their speculations about the future developments of
mathematical logic in the twenty-first century. The areas of recursion theory,
proof theory and logic for computer science, model theory, and set theory are
discussed independently.Comment: Association for Symbolic Logi
Justifying Inference to the Best Explanation as a Practical Meta-Syllogism on Dialectical Structures
This article discusses how inference to the best explanation (IBE) can be justified as a practical meta-argument. It is, firstly, justified as a *practical* argument insofar as accepting the best explanation as true can be shown to further a specific aim. And because this aim is a discursive one which proponents can rationally pursue in--and relative to--a complex controversy, namely maximising the robustness of one's position, IBE can be conceived, secondly, as a *meta*-argument. My analysis thus bears a certain analogy to Sellars' well-known justification of inductive reasoning (Sellars 1969); it is based on recently developed theories of complex argumentation (Betz 2010, 2011)
A bounded jump for the bounded Turing degrees
We define the bounded jump of A by A^b = {x | Exists i <= x [phi_i (x)
converges and Phi_x^[A|phi_i(x)](x) converges} and let A^[nb] denote the n-th
bounded jump. We demonstrate several properties of the bounded jump, including
that it is strictly increasing and order preserving on the bounded Turing (bT)
degrees (also known as the weak truth-table degrees). We show that the bounded
jump is related to the Ershov hierarchy. Indeed, for n > 1 we have X <=_[bT]
0^[nb] iff X is omega^n-c.e. iff X <=_1 0^[nb], extending the classical result
that X <=_[bT] 0' iff X is omega-c.e. Finally, we prove that the analogue of
Shoenfield inversion holds for the bounded jump on the bounded Turing degrees.
That is, for every X such that 0^b <=_[bT] X <=_[bT] 0^[2b], there is a Y
<=_[bT] 0^b such that Y^b =_[bT] X.Comment: 22 pages. Minor changes for publicatio
Categorical invariance and structural complexity in human concept learning
An alternative account of human concept learning based on an invariance measure of the categorical\ud
stimulus is proposed. The categorical invariance model (CIM) characterizes the degree of structural\ud
complexity of a Boolean category as a function of its inherent degree of invariance and its cardinality or\ud
size. To do this we introduce a mathematical framework based on the notion of a Boolean differential\ud
operator on Boolean categories that generates the degrees of invariance (i.e., logical manifold) of the\ud
category in respect to its dimensions. Using this framework, we propose that the structural complexity\ud
of a Boolean category is indirectly proportional to its degree of categorical invariance and directly\ud
proportional to its cardinality or size. Consequently, complexity and invariance notions are formally\ud
unified to account for concept learning difficulty. Beyond developing the above unifying mathematical\ud
framework, the CIM is significant in that: (1) it precisely predicts the key learning difficulty ordering of\ud
the SHJ [Shepard, R. N., Hovland, C. L.,&Jenkins, H. M. (1961). Learning and memorization of classifications.\ud
Psychological Monographs: General and Applied, 75(13), 1-42] Boolean category types consisting of three\ud
binary dimensions and four positive examples; (2) it is, in general, a good quantitative predictor of the\ud
degree of learning difficulty of a large class of categories (in particular, the 41 category types studied\ud
by Feldman [Feldman, J. (2000). Minimization of Boolean complexity in human concept learning. Nature,\ud
407, 630-633]); (3) it is, in general, a good quantitative predictor of parity effects for this large class of\ud
categories; (4) it does all of the above without free parameters; and (5) it is cognitively plausible (e.g.,\ud
cognitively tractable)
- …