Results 31 to 40 of about 47,415 (256)
“Somos criaturas de la lógica y no del silencio”: la unidad proposicional según Alberto Moretti
Análisis Filosófico, 2020 En este comentario me refiero a algunos aspectos de la propuesta de Moretti acerca del problema de la unidad proposicional, basada en su interpretación de las ideas de Frege y Davidson.
Silvia Carolina Scotto
doaj +1 more source
, 2013 Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show that such system
Wang, Zi Chao
core +2 more sources
Notre Dame Journal of Formal Logic, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antonelli, Aldo, May, Robert
openaire +3 more sources
Different Approaches to Proof Systems [PDF]
, 2010 The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s
Beyersdorff, O, Mueller, S
core +1 more source
The bad company objection and the extensionality of Frege’s logic
Perspectiva Filosófica, 2020 Segundo a objeção da Má Companhia, o fato de que a infame Lei Básica V de Frege proporciona o padrão de definição geral dos princípios de abstração superior é uma boa razão para duvidar da validade deste tipo de definições.
Vincenzo Ciccarelli
doaj +1 more source
As concepções filosóficas interlocutoras do realismo de Gottlob Frege
Kalagatos, 2023 RESUMO: O objetivo deste artigo é caracterizar as posições filosóficas antagônicas à visão realista de lógica e matemática subscrita por Gottlob Frege, que são três: psicologismo idealista, psicologismo empirista e formalismo puro.
Vinícius Rodrigues Maione
doaj
Disquotationalism and the Compositional Principles [PDF]
, 2021 What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics,
Heck, Richard Kimberly
core
La lógica de lo público: Frege y la accesibilidad del lenguaje científico
Análisis Filosófico, 2020 Las interpretaciones tradicionales de Frege tienden a explicar su antipsicologismo como indicando que ninguna consideración subjetivista debe interferir en la elaboración de un lenguaje lógico; dichas interpretaciones, sin embargo, tienen problemas para ...
Felipe Cuervo
doaj +1 more source
, 2017 Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing ...
DeMorgan +18 more
core +1 more source
History and Philosophy of Logic, 2018 What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic.
openaire +3 more sources