Switch to: References

Citations of:

Two Early Arabic Applications of Model-Theoretic Consequence

Wilfrid Hodges

Logica Universalis 12 (1-2):37-54 (2018)

Add citations

You must login to add citations.

World and Logic.Jens Lemanski - 2021 - London, Vereinigtes Königreich: College Publications.details What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) Download Export citation Bookmark 11 citations
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details Download Export citation Bookmark 145 citations
A Correctness Proof for Al-Barakāt’s Logical Diagrams.Wilfrid Hodges - 2023 - Review of Symbolic Logic 16 (2):369-384.details In Baghdad in the mid twelfth century Abū al-Barakāt proposes a radical new procedure for finding the conclusions of premise-pairs in syllogistic logic, and for identifying those premise-pairs that have no conclusions. The procedure makes no use of features of the standard Aristotelian apparatus, such as conversions or syllogistic figures. In place of these al-Barakāt writes out pages of diagrams consisting of labelled horizontal lines. He gives no instructions and no proof that the procedure will yield correct results. So the (...) Download Export citation Bookmark 2 citations
Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.details We discuss the origin and development of the universal logic project. We describe in particular the structure of UNILOG, a series of events created for promoting the universal logic project, with a school, a congress, a secret speaker and a contest. We explain how the contest has evolved into a session of logic prizes. Download Export citation Bookmark 3 citations
Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition.Lorenz Demey & Hans Smessaert - 2024 - Journal of Philosophical Logic 53 (5):1265-1290.details Around the turn of the 20th century, Keynes and Johnson extended the well-known square of opposition to an octagon of opposition, in order to account for subject negation (e.g., statements like ‘all non-S are P’). The main goal of this paper is to study the logical properties of the Keynes-Johnson (KJ) octagons of opposition. In particular, we will discuss three concrete examples of KJ octagons: the original one for subject-negation, a contemporary one from knowledge representation, and a third one (hitherto (...) Download Export citation Bookmark
19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.details This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) Download Export citation Bookmark

1