Results 1 to 10 of about 26,770 (264)
Philosophical Foundations of Hajhosseini's Logics [PDF]
حکمت معاصر, 2023 Recently, Morteza Hajhosseini (2023) published his second edition of the book (2017) Two Non-Classical Logic Systems, A new Outlook on Elements of Logic, where he developed various non-standard logical systems based on specific philosophical foundations.
Asadollah Fallahi
doaj +1 more source
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
Traditional Logic and Computational Thinking
Philosophies, 2021 In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve this objective, we argue in favor of two statements: (i) that traditional logic is not classical and (ii)
J.-Martín Castro-Manzano
doaj +1 more source
Logic as a Puzzle-Solving Activity
Análisis Filosófico, 2021 Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj +1 more source
Globally Admissible Inference Rules
Известия Иркутского государственного университета: Серия "Математика", 2022 Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules: in logic 𝐿, a rule of inference is admissible if the set of theorems 𝐿 is closed with respect to this rule.
V.V. Rimatskiy
doaj +1 more source
A Paradox for the Existence Predicate
Bulletin of the Section of Logic, 2022 In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions.
Uwe Meixner
doaj +1 more source
On Presburger arithmetic extended with non-unary counting quantifiers [PDF]
Logical Methods in Computer Science, 2023 We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are given as terms ...
Peter Habermehl, Dietrich Kuske
doaj +1 more source
Axioms, 2021 It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due ...
Marcoen J. T. F. Cabbolet
doaj +1 more source
On the prediction of Covid-19 time series: an intuitionistic fuzzy logic approach [PDF]
Journal of Fuzzy Extension and Applications, 2021 This paper presents a time series analysis of a novel coronavirus, COVID-19, discovered in China in December 2019 using intuitionistic fuzzy logic system with neural network learning capability. Fuzzy logic systems are known to be universal approximation
Imo Eyo, Jeremiah Eyoh, Uduak Umoh
doaj +1 more source
LTL-Specification of Counter Machines
Моделирование и анализ информационных систем, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj +1 more source