Genuine Logical Consequence

2021 ◽  
Vol 23 (1) ◽  
pp. 77-100
Author(s):  
Walter J. Schultz ◽  

Our pretheoretic sense of the relation of logical consequence arises from our experience of deductive inference. By ignoring the priority of inference and failing to provide an account of the ontological grounds of the conceptual experience and of the modal and truth elements in the statement of our pretheoretical sense, informal and technical accounts are at best partial. This paper proposes an ontological analysis of both elements which accounts for our conceptual experience and differentiates genuine from ersatz logical consequence.

2016 ◽  
pp. 081-096
Author(s):  
J.V. Rogushina ◽  

Objective methods for competence evaluating of scientists in the subject domain pertinent to the specific scientific product – research project, publication, etc. are proposed. These methods are based on the semantic matching of the description of scientific product and documents that confirm the competence of its authors or experts in the domain of this product. In addition, the use of knowledge acquired from the Web open environment – Wiki-resources, scientometric databases, organization official website, domain ontologies is proposed. Specialized ontology of scientific activity which allows to standardize the terminological base for describing the qualifications of researchers is developed.


2002 ◽  
Vol 153 (7) ◽  
pp. 249-250
Author(s):  
Fritz Marti

Looking back on the last quarter of the 20th century, we see that the most striking changes in forest management have come about following large and frequent catastrophes. Management– concerned solely with wood production in former times – is oriented more towards retaining stability of the stands nowadays. In addition, the aspect of tending and improving the environment continues to gain ground. The growing gap between expenditure and profit is particularly acute in Glarner mountain forest areas. The extension of promotional silvicultural measures, which widely determines today's management, is to be seen as a logical consequence.


Author(s):  
Rosanna Keefe ◽  
Jessica Leech

According to an increasingly popular view, the source of logical necessity is to be found in the essences of logical entities. One might be tempted to extend the view further in using it to tackle fundamental questions surrounding logical consequence. This chapter enquires: how does a view according to which the facts about logical consequence are determined by the essences of logical entities look in detail? Are there any more or less obvious problems arising for such a view? The chapter uncovers a prima facie result in favour of logical pluralism. However, it then goes on to raise some concerns for this result. It argues that, considered generally, it is difficult to see how essence could do all of the requisite work alone. The chapter also shows how considering things from the perspective of disputes between particular rival logics makes an interesting and important difference to the picture of things presented by the essentialist account.


2021 ◽  
Vol 13 (3) ◽  
pp. 1124
Author(s):  
Freddy Marín-González ◽  
Alexa Senior-Naveda ◽  
Mercy Narváez Castro ◽  
Alicia Inciarte González ◽  
Ana Judith Paredes Chacín

This article aims to build a network for the exchange of knowledge between the government and production, community and university sectors for sustainable local development. To achieve this, the authors relied on the concepts of sustainable local development, social capital, the relationship between sectors or intersectorality, networks and interdisciplinary and transdisciplinary knowledge. Regarding the methodology, the abductive method was used. Under a documentary design, the research techniques were a content analysis of theoretical documents and the deductive inference technique. The construction of a knowledge exchange network for sustainable local development stands out as the result. It is concluded that knowledge networks for sustainable local development have positive implications in the establishment of alliances and links between the sectors that make up society.


Encyclopedia ◽  
2021 ◽  
Vol 1 (1) ◽  
pp. 144-151
Author(s):  
Luís Miguel Oliveira Machado

Within the knowledge organization systems (KOS) set, the term “ontology” is paradigmatic of the terminological ambiguity in different typologies. Contributing to this situation is the indiscriminate association of the term “ontology”, both as a specific type of KOS and as a process of categorization, due to the interdisciplinary use of the term with different meanings. We present a systematization of the perspectives of different authors of ontologies, as representational artifacts, seeking to contribute to terminological clarification. Focusing the analysis on the intention, semantics and modulation of ontologies, it was possible to notice two broad perspectives regarding ontologies as artifacts that coexist in the knowledge organization systems spectrum. We have ontologies viewed, on the one hand, as an evolution in terms of complexity of traditional conceptual systems, and on the other hand, as a system that organizes ontological rather than epistemological knowledge. The focus of ontological analysis is the item to model and not the intentions that motivate the construction of the system.


2010 ◽  
Vol 4 (1) ◽  
pp. 130-149 ◽  
Author(s):  
J. ROBERT G. WILLIAMS

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic that norms belief as classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterize degrees of determinacy. It applies the methodology above to focus on degree logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allow degrees of consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail.


1979 ◽  
Vol 9 (2) ◽  
pp. 323-333 ◽  
Author(s):  
William J. Edgar

Zeno's challenge to the usual mathematical characterization of extension is still with us. Butchvarov, considering the limits of ontological analysis, writes, “I shall not explore [the decision to accept the infinite regress in which the pursuit of the analytical ideal is involved], beyond noting that the infinite divisibility of space is the reductio ad absurdum of any attempt to understand space in terms of its ultimate, simple parts.” Grünbaum states this problem, commonly known as the Measure Paradox, concisely, “[How can one conceive] of an extended continuum as an aggregate of unextended elements ?”


AL-HUKAMA ◽  
2021 ◽  
Vol 10 (2) ◽  
pp. 218-242
Author(s):  
Darmawan Darmawan

This research aims to find out what are the forms of zahir (material) and inner (non-material) livelihood that a husband must give to his wife? Is the living provided by the husband because of the obedience of the wife or because of the marriage contract? By using a qualitative approach. Zahir livelihoods are related to basic daily necessities, which can be classified as الكسوة (clothing), الطعام (food) and السكن (board), household costs and maintenance, the cost of children's education. While the inner livelihood can be classified as: 1) Husband teaches the values of tauhid, morality and worship. 2) Husband treats wife well, gently. 3) Husband gives sovereignty to wife to interact with society. 4) The husband gives an explanation of what the wife is lacking. 5) Having an intimate relationship between husband and wife. Livelihood is the logical consequence of the marriage contract, both zahir and inner. Zahir is a gift from the husband that must be given to the wife when the marriage contract is completed, provided that they both exercise their rights and obligations. If a wife does not fulfill her obligations as a wife, then the husband is not obliged to provide zahir support to his wife. Meanwhile, the inner livelihood is the living that the husband must give to the wife from the completion of the marriage contract until the end of the marriage, whether the wife is obedient or not.


Sign in / Sign up

Export Citation Format

Share Document