Logical Consequence Revisited

1997 ◽  
Vol 3 (2) ◽  
pp. 216-241 ◽  
Author(s):  
José M. Sagüillo

Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes. My discussion contains four sections: (1) terminological and conceptual preliminaries, (2) Tarski's definition of the concept of logical consequence, (3) Tarski's discussion of omega-incomplete theories, and (4) concluding remarks concerning the kind of conception that Tarski's definition was intended to explicate. The third section involves subsidiary issues, such as Tarski's discussion concerning the distinction between material and formal consequence and the important question ofthe criterion for distinguishing between logical and non-logical terms.§1. Preliminaries. In this paper an argument is a two-part system composed of a set of propositions P (the premise-set) and a single proposition c (the conclusion). The expression ‘c is a [logical] consequence of P’ is used with the same meaning as the expression ‘c is [logically] implied by P’. The expressions ‘is a logical consequence of’ and the converse ‘implies’ are relational. Often, I shall be talking in the same sense of validity of an argument. Validity is a property of arguments; an argument with premise-set P and conclusion c is valid if and only if P implies c; i.e., c is a logical consequence of P. Notice that this notion of argument is strictly ontic; it does not involve any agent that thinks, determines or establishes that a given proposition is or is not a consequence of a given set of propositions.

2016 ◽  
Vol 1 ◽  
pp. 1-9
Author(s):  
Zoe Sebastien

The scope of the Theory of Scientific Change (TSC) encompasses any and all changes that occur in a given scientific mosaic, the set of all methods employed and theories accepted at a given time by a given scientific community. Currently, theory is defined as a set of propositions that attempts to describe something. This definition excludes normative propositions from the scope of the TSC. Normative theories, such as those of methodology or ethics, have been excluded since including them appears to give rise to a destructive paradox first identified by Joel Burkholder. There are many historical cases where employed scientific methods are known to conflict with professed methodologies. This seems to violate the third and zeroth laws of scientific change. By the third law, employed methods are deducible from accepted theories. But, this seems impossible in cases where methodologies and methods conflict. Under the zeroth law, all elements in the scientific mosaic are compatible with one another. But, that seems to be clearly not the case if methodologies and methods conflict with one another. In this paper, I argue that normative propositions such as methodologies can be included in the scientific mosaic as accepted theories without generating a paradox and that neither the third nor zeroth laws of scientific change need be violated. I outline my solution to the paradox of normative theories and conclude by describing some new and exciting avenues for future research that are now open.Suggested Modifications[Sciento-2016-0001]: Accept the following reformulation of the third law:The third law ≡ a method becomes employed only when it is deducible from some subset of other employed methods and accepted theories of the time. Consequently, accept that there is no paradox of normative theories: when an employed method and an accepted methodology are logically inconsistent with one another; it merely indicates that the employed method isn’t a logical consequence of the accepted methodology. By the third law, the employed method still follows from some accepted theories, but not from this particular methodology.  Reject the previous formulation of the third law; it can remain in use for educational purposes. [Sciento-2016-0002]: Provided that the preceding modification [Sciento-2016-0001] is accepted, accept the following taxonomy for theory, descriptive theory, normative theory, and methodology:Theory ≡ a set of propositions.Descriptive theory ≡ a theory that attempts to describe something.Normative theory ≡ a theory that attempts to prescribe something. Methodology ≡ a normative theory that prescribes the rules which ought to be employed in theory assessment.Modify the definition of theory acceptance to make it possible for both descriptive and normative theories to be accepted:Theory Acceptance ≡ a theory is said to be accepted if it is taken as the best available description or prescription of its object. Reject the previous definitions of theory, methodology, and theory acceptance. 


2018 ◽  
pp. 4-7
Author(s):  
S. I. Zenko

The article raises the problem of classification of the concepts of computer science and informatics studied at secondary school. The efficiency of creation of techniques of training of pupils in these concepts depends on its solution. The author proposes to consider classifications of the concepts of school informatics from four positions: on the cross-subject basis, the content lines of the educational subject "Informatics", the logical and structural interrelations and interactions of the studied concepts, the etymology of foreign-language and translated words in the definition of the concepts of informatics. As a result of the first classification general and special concepts are allocated; the second classification — inter-content and intra-content concepts; the third classification — stable (steady), expanding, key and auxiliary concepts; the fourth classification — concepts-nouns, conceptsverbs, concepts-adjectives and concepts — combinations of parts of speech.


2011 ◽  
pp. 143-147
Author(s):  
L. G. Naumova ◽  
V. B. Martynenko ◽  
S. M. Yamalov

Date of «birth» of phytosociology (phytocenology) is considered to be 1910, when at the third International Botanical Congress in Brussels adopted the definition of plant association in the wording Including Flaó and K. Schröter (Flahault, Schröter, 1910; Alexandrov, 1969). The centenary of this momentous event in the history of phytocenology devoted to the 46th edition of the Yearbook «Braun-Blanquetia», which began to emerge in 1984 in Camerino (Italy) and it has a task to publish large geobotanical works. During the years of the publication of the Yearbook on its pages were published twice work of the Russian scientists — «The steppes of Mongolia» (Z. V. Karamysheva, V. N. Khramtsov. Vol. 17. 1995), and «Classification of continental hemiboreal forests of Northern Asia» (N. B. Ermakov in collaboration with English colleagues and J. Dring, J. Rodwell. Vol. 28. 2000).


Author(s):  
Al-KhaierAmer Abdul Kareem
Keyword(s):  

Abstract The research started with an introduction containing the statement of the problem. The study was divided into four parts: a preamble and three sections. The preamble involved a definition of the metaphorical image and its importance. The first section covered the sources of the metaphorical image, the second dealt with the types of the metaphorical image, and the third discussed the functions of metaphorical representation as well as the main tools that contributed to the construction and formation of the metaphorical image. Finally, the study ended with a conclusion comprising the most significant findings of this research. keyword: metaphorical image, AL-Sharif Al-Radi.


Mediaevistik ◽  
2020 ◽  
Vol 32 (1) ◽  
pp. 377-379
Author(s):  
Kriszta Kotsis

Late antique and early medieval graphic signs have traditionally been studied by narrowly focused specialists leading to the fragmentation and decontextualization of this important body of material. Therefore, the volume aims “to deepen interdisciplinary research on graphic signs” (7) of the third through tenth centuries, with contributions from archaeologists, historians, art historians, a philologist, and a paleographer. Ildar Garipzanov’s introduction defines the central terms (sign, symbol, graphicacy), calls for supplanting the text-image binary with “the concept of the visual-written continuum” (15), and argues that graphicacy was central to visual communication in this period. He emphasizes the agency of graphic signs and notes that their study can amplify our understanding of the definition of personal and group identity, the articulation of power, authority, and religious affiliation, and communication with the supernatural sphere.


Author(s):  
Anatoly S. Kuprin ◽  
Galina I. Danilina

The purpose of this study is the analysis of limit situation in the narrative of war. The material of the study is the novel of Daniil Granin “My Lieutenant” and related texts. In the first part of the paper, the authors explore existing approaches to the term “limit situation” and similar concepts into scientific and philosophical traditions; limits of its applicability in literary studies and its relation to the categories of “narrative instances” and “event”. Proposed a literary-theoretical definition of the limit situation, which can be used in the analysis of fiction texts. Existing approaches to the examination of the situation of war are analyzed: philosophical-existential, psychoanalytic, sociological, literary. In the second part of the paper, the authors propose their method for analyzing limit situations in texts about war, which basis on existing approaches and preserves the text-centric principle of studying the structure of the story. Two interrelated areas of research have been identified: the study of war as a continuous limit situation in the intertextual aspect (the discourse of war); the study of limit situations (death, suffering, guilt, accident) in the narrative of war as part of a specific text. In the third part of the scientific work,the analysis of war as a continuous limit situation results in the study of the concept of “limit” (border) in a fiction text. The role of “limit” (border) concept in the texts about the war is studied, the possible types of limits in the discourse of war are examined. Limit situations in the narrative of war are analyzed on the basis of the novel “My Lieutenant” by Daniil Granin. A review of journalistic and scientific works about the novel revealed both the continuity and the differences between the novel and the “lieutenant” prose of the 20th century. An analysis of the limit situations in the novel revealed their key position in the narrative. These situations are independent of the fiction time, of the fluctuation of the point of view’; the function of the abstract author is to build the narrative as a “directive” immersion of the hero and narrator in these situations.


2019 ◽  
Vol 29 (5) ◽  
pp. 135-150

The springboard for this essay is the author’s encounter with the feeling of horror and her attempts to understand what place horror has in philosophy. The inquiry relies upon Leonid Lipavsky’s “Investigation of Horror” and on various textual plunges into the fanged and clawed (and possibly noumenal) abyss of Nick Land’s work. Various experiences of horror are examined in order to build something of a typology, while also distilling the elements characteristic of the experience of horror in general. The essay’s overall hypothesis is that horror arises from a disruption of the usual ways of determining the boundaries between external things and the self, and this leads to a distinction between three subtypes of horror. In the first subtype, horror begins with the indeterminacy at the boundaries of things, a confrontation with something that defeats attempts to define it and thereby calls into question the definition of the self. In the second subtype, horror springs from the inability to determine one’s own boundaries, a process opposed by the crushing determinacy of the world. In the third subtype, horror unfolds by means of a substitution of one determinacy by another which is unexpected and ungrounded. In all three subtypes of horror, the disturbance of determinacy deprives the subject, the thinking entity, of its customary foundation for thought, and even of an explanation of how that foundation was lost; at times this can lead to impairment of the perception of time and space. Understood this way, horror comes within a hair’s breadth of madness - and may well cross over into it.


Author(s):  
Brian E. Daley, SJ

The Council of Chalcedon’s definition of the terms in which Nicene orthodoxy should conceive of Christ’s person remained controversial. Leontius of Byzantium argued for the correctness of the Council’s formulation, especially against the arguments of Severus of Antioch, but suggested that more than academic issues were at stake: the debate concerned the lived, permanently dialectical unity between God and humanity. In the mid-seventh century, imperially sponsored efforts to lessen the perceived impact of Chalcedonian language by stressing that Christ’s two natures were activated by “a single, theandric energy,” also remained without effect: largely because of the monk Maximus “the Confessor”, who argued that two complete spheres of activity and two wills remained evident in Christ’s life. Maximus’s position was ratified at the Lateran Synod and at the Third Council of Constantinople. The eighth-century Palestinian monk John of Damascus incorporated these arguments into his own influential synthesis of orthodox theology.


Author(s):  
James E. Baker

This article discusses covert action within the context of the U.S. law. The first section describes the main elements of the U.S. legal regime, including the definition of covert action and the “traditional activity” exceptions, the elements of a covert action finding, and the thresholds and requirements for congressional notification. The second section describes some of the significant limitations on the conduct of covert action. The third section discusses the nature of executive branch legal practice in this area of the law. And the last section draws conclusions about the role of national security law within the context of covert action.


Metals ◽  
2021 ◽  
Vol 11 (7) ◽  
pp. 1079
Author(s):  
Victor Ciribeni ◽  
Juan M. Menéndez-Aguado ◽  
Regina Bertero ◽  
Andrea Tello ◽  
Enzo Avellá ◽  
...  

As a continuation of a previous research work carried out to estimate the Bond work index (wi) by using a simulator based on the cumulative kinetic model (CKM), a deeper analysis was carried out to determine the link between the kinetic and energy parameters in the case of metalliferous and non-metallic ore samples. The results evidenced a relationship between the CKM kinetic parameter k and the grindability index gbp; and also with the wi, obtained following the standard procedure. An excellent correlation was obtained in both cases, posing the definition of alternative work index estimation tests with the advantages of more straightforward and quicker laboratory procedures.


Sign in / Sign up

Export Citation Format

Share Document