Results 61 to 70 of about 2,771 (212)

From Tarski to Hilbert [PDF]

, 2013
In this paper, we report on the formal proof that Hilbert’s axiom system can be derived from Tarski’s system. For this purpose we mechanized the proofs of the first twelve chapters of Schwabauser, Szmielew and Tarski’s book: Metamathematische Methoden in der Geometrie. The proofs are checked formally within classical logic using the Coq proof assistant.
Gabriel Braun, Julien Narboux
openaire   +1 more source

Plank theorems and their applications: A survey

Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.
Abstract Plank problems concern the covering of convex bodies by planks in Euclidean space and are related to famous open problems in convex geometry. In this survey, we introduce plank problems and present surprising applications of plank theorems in various areas of mathematics.
William Verreault
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  

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

From modality to millianism

Noûs, Volume 59, Issue 4, Page 851-872, December 2025.
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

The Banach-Tarski paradox [PDF]

Das Paradoxon von Banach-Tarski ist möglicherweise das verblüffendste Ergebnis moderner Mathematik. In seiner klassischen Variante besagt es, dass es möglich ist eine Kugel des Raumes in endlich viele Stücke zu zerlegen, welche anders zusammengesetzt ...
Blakcori, Riel
core   +1 more source

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  

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

Alfred Tarski - the man who defined truth

, 2008
This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house
Wybraniec-Skardowska, Urszula
core   +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