Results 21 to 30 of about 109,843 (305)
Does Neuroticism Disrupt the Psychological Benefits of Nostalgia? A Meta‐analytic Test
European Journal of Personality, EarlyView., 2020 Abstract Nostalgia, a sentimental longing or wistful affection for the past, confers self‐oriented, existential, and social benefits. We examined whether nostalgic engagement is less beneficial for individuals who are high in neuroticism (i.e. emotionally unstable and prone to negative affect).
Julius Frankenbach +4 more
wiley +1 more source
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
Internal Calculi for Separation Logics [PDF]
, 2020 We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free separation logic SL(
, Lozes, Etienne, Mansutti, Alessio
core +2 more sources
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
Decidability of predicate logics with team semantics [PDF]
, 2016 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
Kontinen, Juha +2 more
core +3 more sources
A Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +1 more source
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
, 2017 We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian
core +1 more source
Wittgensteinian Predicate Logic
Notre Dame Journal of Formal Logic, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources