Results 21 to 30 of about 857,290 (286)

A quantitative-informational approach to logical consequence [PDF]

, 2015
In this work, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula.
Alves, Marcos Antonio, D'Otaviano, Ítala M. Loffredo   +1 more
core   +1 more source

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, Howse, John, Stapleton, Gem, Taylor, John, Thompson, Simon   +4 more
core   +2 more sources

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, A Kanamori, A Kanamori, A Kanamori, A Kanamori, A Kurz, A Wilson, C Chihara, C Rittberg, C Wright, C Wright, C Wright, C Wright, C Wright, D Deutsch, D Deutsch, D Lewis, D Wallace, F Arntzenius, G Frege, G Marcus, G Uzquiano, H Putnam, H Rasiowa, J Hawthorne, J McKinsey, K Fine, L Henkin, M Dummett, M Takeuchi, Michael Rescorla, P Koellner, P Lewis, P Maddy, P Maddy, S Saunders, S Shapiro, S Shapiro, T Jech, T Lando, V Halbach, W Reinhardt, WH Woodin, WV Quine, Y Venema, Y Venema   +45 more
core   +9 more sources

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

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

Locating Logical Necessity in Models or the Nature of Situations

Problemos
Logical 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

A Structural Characterization of Extended Correctness-Completeness in Classical Logic

Crítica, 2019
In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj   +1 more source