Results 221 to 230 of about 15,877 (256)

The Logic of Being Informed

SSRN Electronic Journal, 2006
One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation ia is informed that pi (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known
openaire   +1 more source

The “Logic” of Informal Logic

2011
The purpose of the chapter is to explore some historically-offered possible answers to the question of what alternatives there might be to deduction and induction. I briefly describe and characterize six accounts that seem on the face of it to portray some third type of assessment of an illative move, independent of deductive validity and of inductive ...
openaire   +1 more source

Logic Information Systems for Logic Programmers

2003
Logic Information Systems (lis) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to update it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular ...
openaire   +1 more source

Logics of Complementarity in Information Systems

MLQ, 2000
Summary: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation in the case of relations which distinguish objects ...
Ivo Düntsch, Ewa Orlowska
openaire   +2 more sources

LOGICAL PLURALISM AND SEMANTIC INFORMATION

Journal of Philosophical Logic, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Logic of Information Merge and Sequential Information

2013 IEEE International Conference on Systems, Man, and Cybernetics, 2013
The logic LMS of information merge and sequential information is introduced as a Gentzen-type sequent calculus. LMS has a specific inference rule called the mingle, which can suitably represent information merge processes. LMS has also a specific modal operator called the sequence modal operator, which can suitably represent sequential information. The
openaire   +1 more source

Logic for information systems

Fundam. Informaticae, 1992
Decision logic is a language for expressing relations between attributes and values in a knowledge representation system. Two axiomatizations of this logic are proposed and shown to be sound and complete.
openaire   +1 more source

Information and Logical Discrimination

2012
Allo & Mares [2] present an "informational" account of logical consequence that is based on the content-nonexpansion platitude. The core of this proposal is an inversion of the standard direction of explanation: Informational content is not defined relative to a pre-existing logical space, but it is approached in terms of the level of abstraction at ...
openaire   +2 more sources

A positive information logic for inferential information

Synthese, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Informal logic and the reconfiguration of logic

2002
Publisher Summary This chapter describes how informal logic emerged as an attempt to reconfigure one part of logic in the wake of the sorts of critiques. Informal logic appeared first as an attempt to reform the introductory-level undergraduate logic course.
openaire   +1 more source