Results 181 to 190 of about 47,415 (256)

Frege

2021
Abstract This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from ...
C. Travis
openaire   +2 more sources

Neologicism, Frege's Constraint, and the Frege‐Heck Condition

Noûs, 2018
AbstractOne of the more distinctive features of Bob Hale and Crispin Wright's neologicism about arithmetic is their invocation of Frege's Constraint – roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization.
Snyder, Eric   +2 more
openaire   +3 more sources

Bounded-depth Frege complexity of Tseitin formulas for all graphs

Electron. Colloquium Comput. Complex., 2022
We prove that there is a constant K such that Tseitin formulas for an undirected graph G requires proofs of size 2twpGq Ωp1{dq in depth-d Frege systems for d ă K logn log logn , where twpGq is the treewidth of G.
Nicola Galesi   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy