A Note on Hjorth's oscillation theorem

2010 ◽  
Vol 75 (4) ◽  
pp. 1359-1365 ◽  
Author(s):  
Julien Melleray
Keyword(s):  
Order Logic ◽  
Point Of View ◽  
First Order Logic ◽  
Continuous Logic ◽  
Oscillation Theorem ◽  
First Order

AbstractWe reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than, Hjorth's original one. The point of view presented here clarifies the relation between Hjorth's theorem and first-order logic.

scholarly journals The Road to Modern Logic—An Interpretation

2001 ◽  
Vol 7 (4) ◽  
pp. 441-484 ◽  
Author(s):  
José Ferreirós
Keyword(s):  
Order Logic ◽  
Point Of View ◽  
First Order Logic ◽  
Theoretical Point ◽  
Primary Role ◽  
Philosophical Discussion ◽  
Modern Logic ◽  
Core System ◽  
First Order ◽  
The Road

AbstractThis paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.Mathematical logic is what logic, through twenty-five centuries and a few transformations, has become today. (Jean van Heijenoort)

scholarly journals Stability and stable groups in continuous logic

2010 ◽  
Vol 75 (3) ◽  
pp. 1111-1136 ◽  
Author(s):  
Itaï Ben Yaacov
Keyword(s):  
Global Stability ◽  
Order Logic ◽  
First Order Logic ◽  
Continuous Logic ◽  
Local And Global Stability ◽  
First Order ◽  
Definable Groups ◽  
Study Type

AbstractWe develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.

Logical Methods for Self-Configuration of Network Devices

2011 ◽  
pp. 189-216 ◽  
Author(s):  
Sylvain Hallé ◽  
Roger Villemaire ◽  
Omar Cherkaoui
Keyword(s):  
Mathematical Logic ◽  
Order Logic ◽  
Point Of View ◽  
First Order Logic ◽  
Declarative Languages ◽  
First Order ◽  
User Intervention

The goal of self-configuration consists of providing appropriate values for parameters that modulate the behaviour of a device. In this chapter, self-configuration is studied from a mathematical logic point of view. In contrast with imperative means of generating configurations, characterized by scripts and templates, the use of declarative languages such as propositional or first-order logic is argued. In that setting, device configurations become models of particular logical formulæ, which can be generated using constraint solvers without any rigid scripting or user intervention.

scholarly journals Conservative Intensional Extension of Tarski's Semantics

2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Zoran Majkić
Keyword(s):  
Free Algebra ◽  
Possible Worlds ◽  
Order Logic ◽  
Point Of View ◽  
Relational Algebra ◽  
First Order Logic ◽  
Cylindric Algebras ◽  
Possible World ◽  
Logic Formula ◽  
First Order

We considered an extension of the first-order logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term “intension” derives from the traditional logical Frege-Russell doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the “extension” of an idea consists of the subjects to which the idea applies, and the “intension” consists of the attributes implied by the idea. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In the case of standard FOL, we obtain a commutative homomorphic diagram, which is valid in each given possible world of an intensional FOL: from a free algebra of the FOL syntax, into its intensional algebra of concepts, and, successively, into an extensional relational algebra (different from Cylindric algebras). Then we show that this composition corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.

scholarly journals SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE

2019 ◽  
pp. 1-38
Author(s):  
MARCELO E. CONIGLIO ◽  
G.T. GOMEZ-PEREIRA ◽  
MARTÍN FIGALLO
Keyword(s):  
Classical Model ◽  
Paraconsistent Logic ◽  
Order Logic ◽  
Point Of View ◽  
First Order Logic ◽  
First Order ◽  
Inconsistent Databases ◽  
Partial Structures ◽  
Classical Negation ◽  
Semantic Notion

Abstract The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs.

First-Order Logic Reasoning Support for the Semantic Web

2009 ◽  
Vol 19 (12) ◽  
pp. 3091-3099 ◽  
Author(s):  
Gui-Hong XU ◽  
Jian ZHANG
Keyword(s):  
Semantic Web ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Logic Reasoning

Boolean-valued structures

2018 ◽  
Author(s):  
Tim Button ◽  
Sean Walsh
Keyword(s):  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Rules ◽  
Mathematical Concepts ◽  
Semantic Framework ◽  
First Order ◽  
Standard Models ◽  
Boolean Valued Model ◽  
Semantic Values

Chapters 6-12 are driven by questions about the ability to pin down mathematical entities and to articulate mathematical concepts. This chapter is driven by similar questions about the ability to pin down the semantic frameworks of language. It transpires that there are not just non-standard models, but non-standard ways of doing model theory itself. In more detail: whilst we normally outline a two-valued semantics which makes sentences True or False in a model, the inference rules for first-order logic are compatible with a four-valued semantics; or a semantics with countably many values; or what-have-you. The appropriate level of generality here is that of a Boolean-valued model, which we introduce. And the plurality of possible semantic values gives rise to perhaps the ‘deepest’ level of indeterminacy questions: How can humans pin down the semantic framework for their languages? We consider three different ways for inferentialists to respond to this question.

scholarly journals Extensions in graph normal form

2020 ◽  
Author(s):  
Michał Walicki
Keyword(s):  
Normal Form ◽  
Fixed Points ◽  
Propositional Logic ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Special Cases

Abstract Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. Graphs are particularly well suited for studying circularity, and we provide some general means for verifying that circular or apparently circular extensions are conservative. Traditional syntactic means of ensuring conservativity, like definitional extensions or positive occurrences guaranteeing exsitence of fixed points, emerge as special cases.

Relational Chase Procedures Interpreted as Resolution with Paramodulation1

1991 ◽  
Vol 15 (2) ◽  
pp. 123-138
Author(s):  
Joachim Biskup ◽  
Bernhard Convent
Keyword(s):  
Alternative Interpretation ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Problem ◽  
First Order ◽  
Inference Problems ◽  
The One ◽  
The Relationship ◽  
Theoretical Foundations ◽  
Insight Into

In this paper the relationship between dependency theory and first-order logic is explored in order to show how relational chase procedures (i.e., algorithms to decide inference problems for dependencies) can be interpreted as clever implementations of well known refutation procedures of first-order logic with resolution and paramodulation. On the one hand this alternative interpretation provides a deeper insight into the theoretical foundations of chase procedures, whereas on the other hand it makes available an already well established theory with a great amount of known results and techniques to be used for further investigations of the inference problem for dependencies. Our presentation is a detailed and careful elaboration of an idea formerly outlined by Grant and Jacobs which up to now seems to be disregarded by the database community although it definitely deserves more attention.

Sign in / Sign up

Export Citation Format

Share Document