Results 21 to 30 of about 862,810 (224)
Meinong and Husserl on Existence. Two Solutions of the Paradox of Non-Existence
Philosophia Scientiæ, 2014 This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong's solution is not convincing since he retreats from the field of predicate logic, in ...
Giuliano Bacigalupo
doaj +1 more source
Decidability of Intelligent Systems [PDF]
حکمت و فلسفه, 2008 Intelligent systems are designed on the model of the operation of mind; but they come across, at least, the following problems: (a) Can IS solve every problem?
mohammad ali hijjati +1 more
doaj +1 more source
Existence Predicate and Referentiality [PDF]
حکمت معاصر, 2015 This essay critically studies one of the important criticisms of the existence predicate, i.e. the referentiality/ non–referentiality proof. Also, it wants to show some of the weaknesses of the following views: (1) existence by no means is a predicate ...
Mahdi Assadi
doaj
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Model Theory and Proof Theory of Coalgebraic Predicate Logic [PDF]
Logical Methods in Computer Science, 2018 We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras.
Tadeusz Litak +3 more
doaj +1 more source
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition [PDF]
Computer Science Journal of Moldova, 2019 Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments.
Mykola Nikitchenko +3 more
doaj
Wittgensteinian Predicate Logic
Notre Dame Journal of Formal Logic, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Principia: An International Journal of EpistemologyThere are some sentences that include expressions that refer to entities that do not exist. One example is this: Mary is in terror of werewolves. Some argue that this sentence cannot be translated into predicate logic.
Víctor Cantero-Flores
doaj +1 more source
Influences of Frege’s Predicate Logic on Some Computational Models [PDF]
Future Human Image, 2018 The purpose of this paper is to give some insights into the immense role of Frege’s first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could ...
Mohamad Awwad
doaj +1 more source
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +1 more source