Search
Search Results
-
Leveraging logical definitions and lexical features to detect missing IS-A relations in biomedical terminologies
Biomedical terminologies play a vital role in managing biomedical data. Missing IS-A relations in a biomedical terminology could be detrimental to...
-
Dynamic Temporal Logical Operations in Multi-Agent Logics
We study temporal multi-agent logics using a new approach to defining time for individual agents. It is assumed that in any time state each agent (in...
-
Logical Methodology and the Structure of Logic Syllabi
This paper starts from a dissatisfaction with the way logic is currently taught in philosophy departments. In such a context, we would want logic to... -
The Logical Syntax
This part of the book mainly studies the use of such linguistic units as have a logical import: these are all sorts of connectors and coordinants,... -
-
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
AbstractWe consider a multi-agent logic based on linear temporal logic. This logic uses as the semantics relational temporal models with...
-
Two Paths to Logical Consequence: Pieri and the Peano School
This chapter1 has two main goals. First, it will explore the “negative” avenue leading from the concepts of independence and consistency to that of... -
Perspectives on the Logical Study of Language
Published originally as “Loogisen kielentutkimuksen näköaloja”, Ajatus 19, (1956), pp. 81–96, the following piece by Jaakko Hintikka is the first...
-
Husserlian Pure Logic from the Standpoint of Intentionality
This chapter is about Husserl’s idea of pure logic as it is coined in the Logical Investigations. It confronts this idea against the... -
Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
Introduction to the Special Issue in Logica Universalis on Jaakko Hintikka’s Logical Philosophy, with biographical and bibliographical remarks.
-
Peirce’s Dragon-Head Logic (R 501, 1901)
Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical...
-
Proofs as Objects
The rigor of mathematics lies in its systematic organization that supports conclusive proofs of assertions on the basis of assumed principles. Proofs... -
Tri-simplicial Contradiction: The “Pascalian 3D Simplex” for the Oppositional Tri-segment
In this paper, we deal with the theory of the “oppositional poly-simplexes”, producing the first complete analysis of the simplest of them: the... -
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale...
-
Ontology in the History and Philosophy of Mathematical Practice: An Introduction
This very short introduction will first outline how ontological investigations and questions of practice go together. The second section will bring... -
Bayesian Perspectives on Mathematical Practice
Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies... -
On Nonmonotonic Consequence Relations
We discuss nonmonotonic reasoning in terms of consequence relations and corresponding operators. Based on the matrix consequence that gives the...
-
General framework and algebraization
In this chapter we introduce a general framework for presenting logics and for translating logical questions to algebraic ones.. -
Gödel’s Doctoral Thesis, 1928–30: The Completeness of First-Order Logic
The exact moment when Kurt Gödel decided on a thesis topic and began writing his dissertation is not known—nor is it known whether his mentor Hans... -
Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
This paper investigates some classical oppositional categories, like synthetic versus analytic, posterior versus prior, imagination versus grammar,...