Results 21 to 30 of about 854,026 (193)
A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Crítica, 2019 In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj +1 more source
Analysis of Logical Consequence in Islamic Logic, and its Compatibility with Metaphysical Realism [PDF]
حکمت سینویThe relationship of logical consequence can be understood through at least two primary perspectives: proof-theoretic and model-theoretic. From a proof-theoretic standpoint, the existence of a proof that derives a conclusion from premises indicates that ...
Hamid Alaeinejad
doaj +1 more source
Basic Four-Valued Systems of Cyclic Negations
Bulletin of the Section of Logic, 2022 We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as
Oleg Grigoriev, Dmitry Zaitsev
doaj +1 more source
Aggregation for quality management [PDF]
Yugoslav Journal of Operations Research, 2006 The problem relevant for quality management such as aggregation of many features into one representative is analyzed. Actually, in quality management practice, standard approaches to aggregation are often trivial and as a consequence - inadequate.
Mirković Marko +2 more
doaj +1 more source
Modal Logic vs. Ontological Argument [PDF]
, 2012 The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra ...
Biłat, Andrezej
core +1 more source
On Dialetheic Entailment [PDF]
, 2012 The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence.
Carrara, Massimiliano +2 more
core
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
, 2016 I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core
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
Torn Between the Contours of Logic: Exploring Logical Normativity in Islamic Philosophical Theology
European Journal of Analytic Philosophy, 2022 Western contemporary logic has been used to advance the field of Islamic philosophical theology, which historically utilised Aristotelian-Avicennian logic, on grounds of there being an inherent normativity in logic.
Abbas Ahsan, Marzuqa Karima
doaj
Logical consequence in modal logic II: Some semantic systems for S4 [PDF]
, 1974 : This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core