Recursos de colección
Project Euclid (Hosted at Cornell University Library) (202.070 recursos)
Notre Dame Journal of Logic
Notre Dame Journal of Logic
Bonnay, Denis; Engström, Fredrik
The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in $\mathscr{L}_{\infty\infty}$ so as to cover the cases (quantifiers, logics without equality) that are of interest in the logicality debates, getting McGee’s theorem about quantifiers invariant under all permutations and definability in pure $\mathscr{L}_{\infty\infty}$ as a particular case. We also...
Belanger, David R.; Shore, Richard A.
We consider the set of jumps below a Turing degree, given by $\mathsf{JB}(\mathbf{a})=\{\mathbf{x}':\mathbf{x}\leq\mathbf{a}\}$ , with a focus on the problem: Which recursively enumerable (r.e.) degrees $\mathbf{a}$ are uniquely determined by $\mathsf{JB}(\mathbf{a})$ ? Initially, this is motivated as a strategy to solve the rigidity problem for the partial order $\mathcal{R}$ of r.e. degrees. Namely, we show that if every high ${}_{2}$ r.e. degree $\mathbf{a}$ is determined by $\mathsf{JB}(\mathbf{a})$ , then $\mathcal{R}$ cannot have a nontrivial automorphism. We then defeat the strategy—at least in the form presented—by constructing pairs $\mathbf{a}_{0}$ , $\mathbf{a}_{1}$ of distinct r.e. degrees such that $\mathsf{JB}(\mathbf{a}_{0})=\mathsf{JB}(\mathbf{a}_{1})$ within any possible...
Pambuccian, Victor
By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852. We also present some comments on possible intuitionistic approaches.
Cook, Roy T.; Linnebo, Øystein
It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that a fix proposed by Heck fails but we analyze the interesting idea on which it is based, namely that an acceptable abstraction has to “generate” the objects that it requires. We also correct and complete the classification of proposed criteria for acceptable abstraction.
Lange, Karen; Miller, Russell; Steiner, Rebecca M.
Let $\mathcal{K}$ be a family of structures, closed under isomorphism, in a fixed computable language. We consider effective lists of structures from $\mathcal{K}$ such that every structure in $\mathcal{K}$ is isomorphic to exactly one structure on the list. Such a list is called a computable classification of $\mathcal{K}$ , up to isomorphism. Using the technique of Friedberg enumeration, we show that there is a computable classification of the family of computable algebraic fields and that with a $\mathbf{0'}$ -oracle, we can obtain similar classifications of the families of computable equivalence structures and of computable finite-branching trees. However, there is no...
Heck Jr., Richard G.
This paper investigates a set of issues connected with the so-called conservativeness argument against deflationism. Although I do not defend that argument, I think the discussion of it has raised some interesting questions about whether what I call “compositional principles,” such as “a conjunction is true iff its conjuncts are true,” have substantial content or are in some sense logically trivial. The paper presents a series of results that purport to show that the compositional principles for a first-order language, taken together, have substantial logical strength, amounting to a kind of abstract consistency statement.
Schroeder-Heister, Peter; Tranchini, Luca
Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of...
Conant, Gabriel
For $n\geq3$ , define $T_{n}$ to be the theory of the generic $K_{n}$ -free graph, where $K_{n}$ is the complete graph on $n$ vertices. We prove a graph-theoretic characterization of dividing in $T_{n}$ and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, $T_{n}$ provides a counterexample to a question of Chernikov and Kaplan.
Button, Tim
There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships...
Melnikov, Alexander G.
We show that for every computable ordinal of the form $\beta=\delta+2n+1\gt 1$ , where $\delta$ is zero or a limit ordinal and $n\in\omega$ , there exists a torsion-free abelian group having an $X$ -computable copy if and only if $X$ is nonlow $_{\beta}$ .
Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland
The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result...