Search
Search Results
-
1st World Logic Day: 14 January 2019
We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day? ...
-
Innovation and Application of Logic: An Interview with Jaakko Hintikka
I visited Professor Hintikka and discussed with him about ten times during my visit to Harvard University from 2000 to 2001. I can still vividly...
-
Hintikka and the Functions of Logic
Jaakko Hintikka (1929–2015) points out the power of Skolem functions to affect both what there is and what we know. There is a tension in his...
-
Varieties of Rigidity
In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary...
-
Develo** Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers
A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general...
-
Expressivist Perspective on Logicality
Various attempts at demarcating logic were undertaken, many of them based on specific understanding of how logical knowledge is formal and not...
-
Logic and Religion
We first start by describing the happening of the 1st World Congress on Logic and Religion. We then explain the motivation for develo** the...
-
Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed
Dialetheism is the view that some true sentences have a true negation as well. Defending dialetheism, Graham Priest argues that the correct account...
-
The Grammar of Platonism
In this paper, based on a critical analysis of ideas of Frege, Quine and Prior, we show how Lambda Calculus and Hilbert’s Epsilon Calculus are useful...
-
The Vatican Square
After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related...
-
The Semiotics of Spider Diagrams
Spider diagrams are based on Euler and Venn/Peirce diagrams, forming a system which is as expressive as monadic first order logic with equality....
-
Thinking Negation in Early Hinduism and Classical Indian Philosophy
A number of different kinds of negation and negation of negation are developed in Indian thought, from ancient religious texts to classical...
-
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!
This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is...
-
Disentangling Contradiction from Contrariety via Incompatibility
Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing...
-
The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning
During the last decades, the psychology of reasoning has identified experimentally many fallacies committed by spontaneous reasoners. Given these...
-
Violence Hexagon
In this article I will show why and how it is useful to exploit the hexagon of opposition to have a better and new understanding of the relationships...
-
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition
An unconventional formalization of the canonical (Aristotelian-Boethian) square of opposition in the notation of classical symbolic logic secures all...
-
Widersinn in Husserl’s Pure Logic
The purpose of this paper is to provide a unitary typology for the incompatibilities of meanings at stake on different levels of Husserlian pure...
-
Naturalizing Natural Deduction
A simplified and improved system of natural deduction for classical predicate logic is presented. The inference rules of existential instantiation...