The Metaphysics of Logical Consequence

2018 ◽  
Author(s):  
Alexandra Zinke
Keyword(s):  
Logical Consequence ◽  
Current Debate ◽  
Philosophy Of Logic ◽  
Logical Constants ◽  
Classical Definition ◽  
Central Notion ◽  
New Vision ◽  
Definition Of ◽  
Special Case

The book discusses the central notion of logic: the concept of logical consequence. It shows that the classical definition of consequence as truth preservation in all models must be restricted to all admissible models. The challenge for the philosophy of logic is therefore to supplement the definition with a criterion for admissible models. The problem of logical constants, so prominent in the current debate, constitutes but a special case of this much more general demarcation problem. The book explores the various dimensions of the problem of admissible models and argues that standard responses are unwarranted. As a result, it develops a new vision of logic, suggesting in particular that logic is deeply imbued with metaphysics.

Material Consequence and Formal Grounding

2020 ◽  
Vol 57 (2) ◽  
pp. 79-95
Author(s):  
Elena G. Dragalina-Chernaya ◽  
Keyword(s):  
Logical Consequence ◽  
Logical Relation ◽  
Fixed Domain ◽  
Classical Definition ◽  
Modal Force ◽  
Definition Of

According to Alfred Tarski’s classical definition, logical consequence is necessary and formal. This paper focuses on the question: In what sense (if any) is material consequence a logical relation? For Tarski, material consequence has no modal force. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction between logical and extra-logical terms for the definition of logical consequence. Historically, however, there have been different approaches to material consequences. This paper attempts to provide an investigation into the parallels between Tarski’s dichotomy of formal and material consequence and the modern

scholarly journals AB0677 REVISING THE DEFINITION OF REACTIVE ARTHRITIS AND DIFFERENTIATION FROM UNDIFFERENTIATED SPONDYLOARTHRITIS

2020 ◽  
Vol 79 (Suppl 1) ◽  
pp. 1633.2-1634
Author(s):  
F. Cosan ◽  
O. M. Gedar
Keyword(s):  
Causative Agent ◽  
Reactive Arthritis ◽  
Case Reports ◽  
Experimental Studies ◽  
Classification Criteria ◽  
General Definition ◽  
Parasitic Infections ◽  
Undifferentiated Spondyloarthritis ◽  
Classical Definition ◽  
Definition Of

Background:Reactive arthritis (ReA) is defined by 1999 ACR criteria as arthritis preceding a bacterial genitourinary (GUS) or gastrointestinal (GIS) infection in 3 days-6 weeks and evidence of triggering infection. Recently, ReA is classified as SpA and patients who do not fulfill SpA criteria are classified as undifferentiated spondyloarthritis (USpA) according to ASAS/EULAR SpA classification criteria.Objectives:In several case reports which are associated with other infective agents are reported and the definition is extended for some clinicians so that SpA which is occurred after any infection is called as ReA. On the other hand, some researchers still accept the classical definition of ReA. The problem with the heterogeneity of opinions and unstandardized definition of ReA hinders studies about pathogenesis and standardization of treatments. In this study, we aimed to determine the spectrum of the use of the definition of reactive arthritis in publications in PubMed between 2009-2019.Methods:The ReA keyword is searched in PubMed for the years between 2009-2019. 248 different publications have been identified and included in this research. 89 articles, 47 reviews, 108 case reports, 2 guidelines, and 2 editorials reviewed for the definition of ReA.Results:Only 42.7% (106 patients) of these publications meet the classical definition which suggests ReA after only GIS and GUS infections. In 4 (1.6%) of the publications ReA was defined after GIS, GUS and oropharyngeal infections; in 3 (1,2%) of the publications after any bacterial infection; in 9 (3.6%) of the publications after any infection. In 8 (3.2%) of the publications, ReA and USPA was used correspondingly. In 39 (15,7%) of the publications the term agent related, ReA was used without making a general definition for ReA. 79 publications (31,9%) have not defined ReA.According to causative agent and ReA relationship, in 64 (24,6%) general infective agents, in 75 (30,2%) classical agents, in 22 (8,9%) other bacterial agents, in 23 (9,3%) streptococcus, in 10(4%) intravesical BCG, in 6 (2.4%) HIV, in 6 (2.4%) tuberculosis, in 12 (4,8%) clostrudium difficle, in 2 (0.8%) parasites were reported. In 31 (12,5%) of the publications the causative agent for the ReA was unknown, the diagnosis was made clinically.Conclusion:In this study, it is aimed to draw attention terminology intricacy and the need for the standardization of the definition of ReA and USpA. It is clear that to standardize the definition of Rea and USpA is necessary. Between 2009-2019 there are reported cases diagnosed as ReA associated with bacterial infections (especially with Clostridium difficile, streptococcus and tuberculosis infections), and viral infections (by a majority with HIV), and parasitic infections. It is not clear if we need to define them classically or define them as USPA. Another important consideration is the necessity of extended laboratory investigations to find out the real causative agent even if the patient is clinically diagnosed with ReA. The requirement of the differentiation between ReA and USpA must be revealed for therapeutic researches.References:[1]A proposal for the classification of patients for clinical and experimental studies on reactive arthritis. Pacheco-Tena C, Burgos-Vargas R, Vázquez-Mellado J, Cazarín J, Pérez-Díaz JA. J Rheumatol. 1999 Jun;26(6):1338-46.[2]The Assessment of SpondyloArthritis International Society classification criteria for peripheral spondyloarthritis and for spondyloarthritis in general. Rudwaleit M, van der Heijde D, Landewé R, Akkoc N, Brandt J, Chou CT, Dougados M, Huang F, Gu J, Kirazli Y, et al. Ann Rheum Dis. 2011;70:25–31.Disclosure of Interests:None declared

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

2015 ◽  
Vol 8 (2) ◽  
pp. 296-305 ◽  
Author(s):  
NISSIM FRANCEZ
Keyword(s):  
Natural Deduction ◽  
Proof System ◽  
Logical Constants ◽  
Local Completeness ◽  
Definition Of ◽  
The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

scholarly journals The Structure of n Harmonic Points and Generalization of Desargues’ Theorems

Mathematics ◽  
2021 ◽  
Vol 9 (9) ◽  
pp. 1018
Author(s):  
Xhevdet Thaqi ◽  
Ekrem Aljimi
Keyword(s):  
Fourth Harmonic ◽  
New Findings ◽  
Rank 2 ◽  
Definition Of ◽  
Special Case

: In this paper, we consider the relation of more than four harmonic points in a line. For this purpose, starting from the dependence of the harmonic points, Desargues’ theorems, and perspectivity, we note that it is necessary to conduct a generalization of the Desargues’ theorems for projective complete n-points, which are used to implement the definition of the generalization of harmonic points. We present new findings regarding the uniquely determined and constructed sets of H-points and their structure. The well-known fourth harmonic points represent the special case (n = 4) of the sets of H-points of rank 2, which is indicated by P42.

Removing the Nationality Paradigm from Herodotus’ Histories

2018 ◽  
Vol 10 (2) ◽  
pp. 306-323
Author(s):  
Salvatore Tufano
Keyword(s):  
Case Studies ◽  
Final Section ◽  
Fifth Century ◽  
Test Cases ◽  
Persian Wars ◽  
Classical Definition ◽  
Mixed Language ◽  
Archaic Greece ◽  
The Common ◽  
Definition Of

Abstract The present paper suggests that the recurring appeal to kinship diplomacy undermines a fixed idea of ‘nation’ in Archaic Greece, especially in the first two decades of the fifth century BC. It aims to present a series of test cases in Herodotus that explain why contemporary patterns and theories on ancient ethnicity can hardly explain the totality of the historical spectrum. Blood ties could sometimes fortify ethnic relationships, as in the case of Aristagoras’ mission to Sparta (Hdt. 5.49.3), since the common Greekness could elicit the Spartan to help to the Ionians. In other times, the same blood ties were applied to divine genealogies, and they could also be used to show the feeble devotion of cities like Argos to the Greek cause (7.150.2: Xerxes expects the Argives to join the Persian cause, since they descend from Perses). Habits and traditions, often taken as indicia of national feeling, could be thought of as clues of ancient migrations (so the Trojans became Maxyes in Lybia: 4.191). Even language might not help in justifying ethnic relationships: for instance, the Greeks living in the Scythian Gelonus spoke a mixed language (4.108). These few case studies may shed a different light on the classical definition of Greekness (to hellenikon) in terms of blood, language, cults, and habits, all given by Herodotus (8.144). Far from being a valid label for all the Greeks of the fifth century, this statement owes much to a specific variety of the language of kinship diplomacy. The final section argues for the opportunity to avoid the later and misleading idea of nation when studying Herodotus and the age of the Persian Wars, which are instead characterized by various and contrasting strategies. Greek groups and ethne can be better described as networks of lightly defined communities.

scholarly journals Synthesizing Argumentation Frameworks from Examples

2019 ◽  
Vol 66 ◽  
pp. 503-554 ◽  
Author(s):  
Andreas Niskanen ◽  
Johannes Wallner ◽  
Matti Järvisalo
Keyword(s):  
Natural Extension ◽  
Research Abstract ◽  
Expressive Power ◽  
Synthesis Problem ◽  
Constraint Optimization ◽  
Abstract Argumentation ◽  
Central Notion ◽  
Definition Of ◽  
The Given ◽  
Representation Formalism

Argumentation is today a topical area of artificial intelligence (AI) research. Abstract argumentation, with argumentation frameworks (AFs) as the underlying knowledge representation formalism, is a central viewpoint to argumentation in AI. Indeed, from the perspective of AI and computer science, understanding computational and representational aspects of AFs is key in the study of argumentation. Realizability of AFs has been recently proposed as a central notion for analyzing the expressive power of AFs under different semantics. In this work, we propose and study the AF synthesis problem as a natural extension of realizability, addressing some of the shortcomings arising from the relatively stringent definition of realizability. In particular, realizability gives means of establishing exact conditions on when a given collection of subsets of arguments has an AF with exactly the given collection as its set of extensions under a specific argumentation semantics. However, in various settings within the study of dynamics of argumentation---including revision and aggregation of AFs---non-realizability can naturally occur. To accommodate such settings, our notion of AF synthesis seeks to construct, or synthesize, AFs that are semantically closest to the knowledge at hand even when no AFs exactly representing the knowledge exist. Going beyond defining the AF synthesis problem, we study both theoretical and practical aspects of the problem. In particular, we (i) prove NP-completeness of AF synthesis under several semantics, (ii) study basic properties of the problem in relation to realizability, (iii) develop algorithmic solutions to NP-hard AF synthesis using the constraint optimization paradigms of maximum satisfiability and answer set programming, (iv) empirically evaluate our algorithms on different forms of AF synthesis instances, as well as (v) discuss variants and generalizations of AF synthesis.

An Overview of the Proof

2019 ◽  
pp. 3-22
Author(s):  
Christian Haesemeyer ◽  
Charles A. Weibel
Keyword(s):  
Motivic Cohomology ◽  
Norm Residue ◽  
Cohomology Operations ◽  
Definition Of ◽  
Special Case

This chapter provides the main steps in the proof of Theorems A and B regarding the norm residue homomorphism. It also proves several equivalent (but more technical) assertions in order to prove the theorems in question. This chapter also supplements its approach by defining the Beilinson–Lichtenbaum condition. It thus begins with the first reductions, the first of which is a special case of the transfer argument. From there, the chapter presents the proof that the norm residue is an isomorphism. The definition of norm varieties and Rost varieties are also given some attention. The chapter also constructs a simplicial scheme and introduces some features of its cohomology. To conclude, the chapter discusses another fundamental tool—motivic cohomology operations—as well as some historical notes.

Dust storm episodes at the aerodromes in the Asian part of Russia

2021 ◽  
Vol 2 ◽  
pp. 20-42
Author(s):  
A.R. Ivanova ◽  
◽  
E.N. Skriptunova ◽  
N.I. Komasko ◽  
A.A. Zavialova ◽  
...  
Keyword(s):  
Seasonal Variation ◽  
Dust Storm ◽  
Trajectory Analysis ◽  
Dust Storms ◽  
Strong Wind ◽  
Dust Transport ◽  
Air Masses ◽  
Classical Definition ◽  
Dust Events ◽  
Definition Of

Dust storm episodes at the aerodromes in the Asian part of Russia / Ivanova A.R., Skriptunova E.N., Komasko N.I., Zavialova A.A.// Hydrometeorological Research and Forecasting, 2021, no. 2 (380), pp. 20-42. According to 2001-2020 METAR data, episodes of dust storms at 26 international aerodromes in the Asian Russia causing poor visibility are studied. The conditions for issuing reports on dust storms, their correspondence to the definition of a dust storm are discussed. It was found that out of 337 reports describing dust transport by strong wind, only 7 episodes registered at the aerodromes of Irkutsk, Abakan, Omsk, and Blagoveshchensk corresponded to the classical definition. The others detected at 15 of 26 aerodromes may be defined as “dust events” – the episodes of dust transfer causing the nonessential visibility reduction. The seasonal variation in such episodes and its connection with changes in visibility are studied. The characteristics of dusty air masses and the direction of their advection are given. Keywords: dust storm, dust events, aerodromes of Asian Russia, seasonal variation, trajectory analysis

Sign in / Sign up

Export Citation Format

Share Document