Results 41 to 50 of about 401 (180)
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
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
, 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
Ontology After Folk Psychology; or, Why Eliminativists Should Be Mental Fictionalists
Analytic Philosophy, Volume 67, Issue 1, Page 1-11, March 2026.ABSTRACT Mental fictionalism holds that folk psychology should be regarded as a kind of fiction. The present version gives a Lewisian prefix semantics for mentalistic discourse, where roughly, a mentalistic sentence “p” is true iff “p” is deducible from the folk psychological fiction.
Ted Parent
wiley +1 more source
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
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +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
Simple groups with strong fixed‐point properties
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract We exhibit finitely generated torsion‐free groups for which any action on any finite‐dimensional CW‐complex with finite Betti numbers has a global fixed point.
Nansen Petrosyan
wiley +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
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