Results 11 to 20 of about 854,026 (193)
Logical Consequence for Nominalists
Theoria, 2009 It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop
Marcus Rossberg, Daniel Cohnitz
doaj +5 more sources
On the Completeness of Spider Diagrams Augmented with Constants [PDF]
, 2013 Diagrammatic reasoning can be described formally by a number of diagrammatic logics; spider diagrams are one of these, and are used for expressing logical statements about set membership and containment. Here, existing work on spider diagrams is extended
Chapman, Peter +4 more
core +2 more sources
Hierarchical logical consequence [PDF]
Logic Journal of IGPL, 2010 The modern view of logical reasoning as modeled by a consequence operator (instead of simply by a set of theorems) has allowed for huge developments in the study of logic as an abstract discipline. Still, it is unable to explain why it is often the case that the same designation is used, in an ambiguous way, to describe several distinct modes of ...
C. Caleiro, P. Gouveia, J. Ramos
openaire +1 more source
Some consequence relations on propositional formulas [PDF]
Serbian Journal of Electrical Engineering, 2011 Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises.
Borovčanin Momčilo
doaj +1 more source
Consequences and Design in General and Transcendental Logic [PDF]
Кантовский сборник, 2018 In this article, I consider Kant’s dichotomy between general and transcendental logic in light of a retrospective reconstruction of two approaches originating in 14th century scholasticism that are used to demarcate formal and material consequences.
Dragalina-Chernaya, E. G.
doaj +1 more source
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]
, 2019 This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag +45 more
core +9 more sources
Locating Logical Necessity in Models or the Nature of Situations
ProblemosLogical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but ...
Xianrui Liu
doaj +3 more sources
Gómez-Torrente on Modality and Tarskian Logical Consequence
Theoria, 2010 ...
Manuel García-Carpintero
doaj +1 more source
Logical Consequence and the Theory of Games
Philosophia Scientiæ, 2004 Logical notions of consequence have frequently been related to game-theoretical solution concepts. The correspondence between a formula being classically valid and the existence of a winning strategy for a player in a related two-person game, has been ...
Paul Harrenstein
doaj +1 more source
Sharing a Library between Proof Assistants: Reaching out to the HOL Family [PDF]
, 2018 We observe today a large diversity of proof systems. This diversity has the negative consequence that a lot of theorems are proved many times. Unlike programming languages, it is difficult for these systems to co-operate because they do not implement the
Thiré, François
core +4 more sources