Results 51 to 60 of about 401 (180)
Abstract A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions.
Nathan Salmón
wiley +1 more source
Qua‐Talk and Other Forms of Quackery: Part Two
ABSTRACT This is the second part of a two‐part paper, the first part having appeared in issue 11 of volume 20 of Philosophy Compass. Part One covers the use of the “qua” locution in connection with David Lewis, Kit Fine, and Donald Davidson. Part Two covers the use of “qua” in Aristotle, Spinoza, and Kant.
James Van Cleve
wiley +1 more source
Finite models for positive combinatorial and exponential algebra
Abstract We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of non‐negative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined.
Tumadhir Alsulami, Marcel Jackson
wiley +1 more source
Existence of a non‐stationary equilibrium in search‐and‐matching models: TU and NTU
This paper proves the existence of a non‐stationary equilibrium in the canonical search‐and‐matching model with heterogeneous agents. Non‐stationarity entails that the number and characteristics of unmatched agents evolve endogenously over time.
Christopher Sandmann, Nicolas Bonneton
wiley +1 more source
Algebraization of Jaśkowski’s Paraconsistent Logic D2
The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +1 more source
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
The purpose of this work is to extend the Knaster–Tarski fixed-point theorem to the wider field of reflexive digraph. We give also a DeMarr-type common fixed-point theorem in this context.
Jaauad Jeddi +2 more
doaj +1 more source
Is Kant's critique of metaphysics obsolete?
Abstract I raise a problem about the possibility of metaphysics originally due to Kant: what explains the fact that the terms in our metaphysical theories (e.g., ‘property’, ‘grounding’) refer to entities and structures (e.g., properties, grounding) in the world?
Nicholas F. Stang
wiley +1 more source
Gödel, Tarski, Church, and The Liar [PDF]
The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection.
openaire +3 more sources
On generic structures preserving elementary equivalence and elementary embeddability
We consider criteria for elementary equivalence and elementary embeddability for generic structures. They use classical characterizations for the general case.
S.V. Sudoplatov
doaj +1 more source

