Results 41 to 50 of about 1,788,058 (187)

Kant, Bolzano, and the Formality of Logic [PDF]

, 2014
In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic ...
Stang, Nicholas
core  

A logic road from special relativity to general relativity

, 2011
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of
A. Tarski, C. C. Chang, C. W. Misner, Gergely Székely, H. Andréka, H. Andréka, H. Andréka, H. B. Enderton, Hajnal Andréka, István Németi, J. X. Madarász, Judit X. Madarász, L. Henkin, R. d’Inverno, R. Goldblatt, T. Benda, W. Hodges   +16 more
core   +1 more source

Conditional Probabilistic Epistemic Logic Based on the General Frame

Philosophies
With conditional probability as a primitive notion rather than a ratio of classical probability, we extend the language of epistemic logic by introducing conditional probability operators.
Qing Sun, Shangcheng Tang
doaj   +1 more source

Relevant Logics Obeying Component Homogeneity [PDF]

, 2018
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results.
Ciuni, Roberto, Ferguson, Thomas Macaulay, Szmuc, Damian   +2 more
core   +1 more source

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

, 2015
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS, Cadoli, Darwiche, Fierens, GUY VAN DEN BROECK, Janhunen, Lin, Pelov, Strass   +8 more
core   +1 more source

Generalized arrow update logic

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011
This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.
Kooi, Barteld, Renne, Bryan
openaire   +2 more sources

An Introduction to Ontology [PDF]

, 1998
Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as ...
Smith, Barry
core  

Informal Logic: An Overview

Informal Logic, 2000
In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we
J. Anthony Blair, Ralph H. Johnson
doaj   +1 more source

The Completeness Problem for Modal Logic

, 2017
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.
Achilleos, Antonis
core   +1 more source

On logic and generative AI

CoRR
A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, computer science, and logic. The goal of the following dialog is to provoke young logicians with a taste for foundations to notice the foundational problems raised by the AI ...
Yuri Gurevich, Andreas Blass
openaire   +3 more sources