Results 81 to 90 of about 47,415 (256)

Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs [PDF]

, 2019
This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs, deterministic or non-deterministic.
Buss, Sam, Das, Anupam, Knop, Alexander
core   +4 more sources

The practicality of moral language and dynamic descriptivism

Mind &Language, Volume 41, Issue 1, Page 158-176, February 2026.
When speakers make moral claims, they often indicate that they are themselves committed to, or aim to commit their addressee to, certain actions or attitudes. The way that moral language is practical in these ways is often considered to be detrimental for any descriptivist semantics of moral language.
Stina Björkholm
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  

Uniquely human temporal thoughts

Mind &Language, Volume 41, Issue 1, Page 137-157, February 2026.
Life on Earth will eventually come to an end. The thought expressed in the previous sentence is about a point in time that is not known to the individual entertaining the thought. This paper is concerned with the nature of such temporal thoughts. We propose that the capacity to mentally represent thoughts about non‐specific temporal intervals is a ...
İsa Kerem Bayırlı
wiley   +1 more source

Sentido, referência e computação

Perspectiva Filosófica, 2020
Neste artigo, eu revisito a teoria do sentido e referência de Frege no cenário construtivo das explicações de significado da teoria dos tipos, estendendo e aprimorando a análise em termos de programa-valor da teoria de sentido e referência proposta por ...
Bruno Bentzen
doaj   +1 more source

Semantic primitives and compositionality: An Annual Review of Information Science and Technology (ARIST) paper

Journal of the Association for Information Science and Technology, Volume 77, Issue 1, Page 198-223, January 2026.
Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley   +1 more source

How “Meaning” became “Narrow Content”

Studies in Logic, Grammar and Rhetoric, 2016
The paper traces how disappointment with the notion of linguistic meaning has led to a shift towards the new, technical term of “narrow content”. In the first part of the paper I analyze the ways “narrow content” is understood in the literature.
Grabarczyk Paweł
doaj   +1 more source

Frege's Other Program

Notre Dame Journal of Formal Logic, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antonelli, Aldo, May, Robert
openaire   +2 more sources

African Lambdas I: Formal Semantics of African Languages—The Nominal Domain

Language and Linguistics Compass, Volume 20, Issue 1, January/February 2026.
ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley   +1 more source

Universalidade Lógica

Cadernos de Filosofia Alemã, 2001
Tradução de Guido Imaguire.
Gottlob Frege, Guido Imaguire
doaj   +1 more source