Results 41 to 50 of about 5,768 (184)
An algebraic analysis of categorical syllogisms by using Carroll’s diagrams
In this paper, we analyze the algebraic properties of categorical syllogisms by constructing a logical calculus system called Syllogistic Logic with Carroll Diagrams (SLCD).We prove that any categorical syllogism is valid if and only if it is provable in this system. For this purpose, we explain firstly the quantitative relation between two
Senturk, Ibrahim, Oner, Tahsin
openaire +5 more sources
The international climate change regime and general principles of law
Abstract The Climate Change Advisory Opinion (AO) by the International Court of Justice (ICJ) demonstrates the growing prominence of general principles of law in international law. The Climate Change AO was handed down at the end of the International Law Commission's project on general principles of law with the adoption of its Draft Conclusions.
Renatus Otto Franz Derler, Mads Andenas
wiley +1 more source
Boole, critique d'Aristote : la logique de l'élimination du moyen terme
There is an actuality of aristotelian syllogistic which still lays down rules of logical argumentation in the production of scientific knowledge today.
Marcel Nguimbi
doaj +1 more source
In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes ...
Finley, Robby +2 more
core
There have been a huge number of benchmarks proposed to evaluate how large language models (LLMs) behave for logic inference tasks. However, it remains an open question how to properly evaluate this ability. In this paper, we provide a systematic overview of prior works on the logical reasoning ability of LLMs for analyzing categorical syllogisms.
Shi Zong, Jimmy Lin
openaire +2 more sources
A new algorithmic decision for categorical syllogisms via Carroll’s diagrams [PDF]
In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categorical propositions and show that they are closed under the syllogistic criterion of inference which is the deletion of middle term ...
Necla Kircali Gürsoy +3 more
openaire +4 more sources
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
An Introduction to Critical Thinking and Symbolic Logic Volume 1: Formal Logic [PDF]
This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have benefited from such great students and colleagues over the years.
Ferreira, Rebeka, Ferrucci, Anthony
core
Parasitic infections like schistosomiasis, soil‐transmitted helminths, and malaria can impair nutrient absorption, oxygen supply, and brain function, leading to memory deficits, attention deficits, reduced intelligence quotient, weak academic performance, and motor or executive deficits.
Albertha Maku Adu +7 more
wiley +1 more source
Causality and Coextensiveness in Aristotle's Posterior Analytics 1.13 [PDF]
I discuss an important feature of the notion of cause in Post. An. 1. 13, 78b13–28, which has been either neglected or misunderstood. Some have treated it as if Aristotle were introducing a false principle about explanation; others have understood the ...
Angioni, Lucas
core

