Results 61 to 70 of about 24,422 (242)

Qua‐Talk and Other Forms of Quackery: Part Two

Philosophy Compass, Volume 20, Issue 11, November 2025.
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

Bulletin of the London Mathematical Society, Volume 57, Issue 11, Page 3380-3400, November 2025.
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

Verdad y significado

Ideas y Valores, 2004
El ensayo ofrece un esbozo del lugar del trabajo de Donald Davidson en elestudio de las semánticas formales para los lenguajes naturales. Se discu-ten algunas relaciones importantes entre el trabajo de Davidson y las ideasde Frege, Tarski, Quine y ...
Gabriel Segal
doaj  

ACERCA DA CONCEPÇÃO SEMÂNTICA DE VERDADE:

Polymatheia, 2021
O presente artigo tem como objetivo inicial apresentar e discutir os pontos centrais da concepção semântica de verdade apresentada pelo lógico-matemático polonês Alfred Tarski.
Ícaro Coelho Martins
doaj  

Truths ancient and modern

Manuscrito, 2011
The paper presents a comparison of the theories of truth, and the solutions of the liar paradox, proposed by Thomas Bradwardine (c. 1290-1349), Jean Buridan (c. 1295-1358), and Alfred Tarski (1901-1983).
David Miller
doaj   +1 more source

Existence of a non‐stationary equilibrium in search‐and‐matching models: TU and NTU

Theoretical Economics, Volume 20, Issue 4, Page 1411-1460, November 2025.
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

Extending the Calculus of Constructions with Tarski's fix-point theorem [PDF]

, 2006
We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to potentially non ...
Inria Sophia Antipolis, Yves Bertot
core   +4 more sources

An analysis of the logic of Riesz Spaces with strong unit

, 2017
We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropriate ...
Di Nola, Antonio, Lapenta, Serafina, Leustean, Ioana   +2 more
core   +1 more source

Is Kant's critique of metaphysics obsolete?

Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 25-53, July 2025.
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

Sobre Tarski

Inquietude, 2013
O objetivo deste texto é discutir a tarefa filosófica de elucidação do conceito de conseqüência lógica. Primeiramente, serão eleitos dois critérios de adequação para uma elucidação desse conceito: (1) preservação da verdade nas instâncias, ou adequação ...
Hermógenes Hebert Pereira Oliveira
doaj