Results 31 to 40 of about 67,438 (158)
A synthesis of evolutionary and behavioural economics
Economics and Business Review, 2021 The article presents the current state of evolutionary economics against the backdrop of changes related to the potential use of the achievements of other social sciences, in particular psychology, as well as dynamically developing neuroscience.
Polowczyk Jan
doaj +1 more source
Logical Normativity and Common Sense Reasoning
Principia: An International Journal of Epistemology, 2011 Logic, considered as a technical discipline inaugurated by Aristotle and typically represented by the variety of the modern logical calculi, constitutes a clarification and refinement of a conviction and practice present in common sense, that is, the ...
Evandro Agazzi
doaj
PhilosophiesOur standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition.
Lassi Saario-Ramsay
doaj +1 more source
Comput. Artif. Intell., 2003 Summary: This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an informal as well as formal introduction to Z logic and show how it may be used,
Henson, Martin C. +2 more
openaire +2 more sources
Minimal consequence in sentential logic
The Journal of Logic Programming, 1990 AbstractWe define minimal consequence in sentential logic and present a number of results of a model-theoretic and recursion-theoretic character about this newly introduced nonmonotonic consequence relation. We show that the minimal consequence relation is not compact and is Π02 and not ∑02.
Mary-Angela Papalaskari, Scott Weinstein
openaire +1 more source
The Substitutional Analysis of Logical Consequence [PDF]
Noûs, 2018 AbstractA substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the ...
openaire +3 more sources
Monist, 2002 Logical Consequence: An Epistemic Outlook Author(s): Gila Sher Source: The Monist, Vol. 85, No. 4, Consequences (OCTOBER 2002), pp. 555-579 Published by: Oxford University Press Stable URL: http://www.jstor.org/stable/27903798 Accessed: 10-08-2015 00:28 UTC Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use ...
openaire +4 more sources
Temporal Truth and Bivalence: an Anachronistic Formal Approach to Aristotle’s De Interpretatione 9
Revista de Filosofia Antiga, 2023 Regarding the famous Sea Battle Argument, which Aristotle presents in De Interpretatione 9, there has never been a general agreement not only about its correctness but also, and mainly, about what the argument really is.
Luiz Henrique Lopes dos Santos
doaj
Current Issues in Sport Science, 2017 In this socio-economic study, the bidding processes for the Winter Olympic Games in 2022 and the Summer Games in 2024 and 2028 serve as case studies to scrutinize the decisions linked to the bidding process in democratic countries and authoritarian ...
Thomas Könecke, Michiel de Nooij
doaj +1 more source
Study of Inference Rules and Deduction Process on Decision Implications
Jisuanji kexue yu tansuo, 2020 Formal concept analysis is a partial order theory for conceptual analysis and visualization. Decision implications are the knowledge representation for decision-making in formal concept analysis. From the logical perspective, the semantic description and
JIA Nan, ZHANG Shaoxia, ZHAI Yanhui, LI Deyu
doaj +1 more source