Three Etudes on Logical Dynamics and the Program of Natural Logic

2014 ◽  
pp. 705-727 ◽  
Author(s):  
Lawrence S. Moss
Keyword(s):  
Natural Logic ◽  
Logical Dynamics

scholarly journals A Natural Logic System for Large Knowledge Bases

2020 ◽  
Author(s):  
Troels Andreasen ◽  
Henrik Bulskov ◽  
Jørgen Fischer Nilsson
Keyword(s):  
Common Sense ◽  
Scaling Up ◽  
Inference Engine ◽  
Knowledge Bases ◽  
General Purpose ◽  
Software System ◽  
Database Application ◽  
Natural Logic ◽  
Common Sense Reasoning ◽  
Database Operations

This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called Natura-Log. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a general-purpose database application package with the database being turned logical knowledge base.

scholarly journals Pragmatics in natural logic

1975 ◽  
pp. 253-286 ◽  
Author(s):  
George Lakoff
Keyword(s):  
Natural Logic

Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases

2013 ◽  
pp. 1-12 ◽  
Author(s):  
Troels Andreasen ◽  
Henrik Bulskov ◽  
Jørgen Fischer Nilsson ◽  
Per Anker Jensen ◽  
Tine Lassen
Keyword(s):  
Knowledge Bases ◽  
Natural Logic

Inferentialism, Logicism, Harmony, and a Counterpoint

2020 ◽  
pp. 223-248
Author(s):  
Neil Tennant
Keyword(s):  
Special Reference ◽  
Natural Logic ◽  
Logical Operators ◽  
Crispin Wright ◽  
Truth Conditional ◽  
The Way

Inferentialism is explained as an attempt to provide an account of meaning that is more sensitive (than the tradition of truth-conditional theorizing deriving from Tarski and Davidson) to what is learned when one masters meanings. The logically reformist inferentialism of Dummett and Prawitz is contrasted with the more recent quietist inferentialism of Brandom. Various other issues are highlighted for inferentialism in general, by reference to which different kinds of inferentialism can be characterized. Inferentialism for the logical operators is explained, with special reference to the Principle of Harmony. The statement of that principle in the author’s book Natural Logic is fine-tuned here in the way obviously required in order to bar an interesting would-be counterexample furnished by Crispin Wright, and to stave off any more of the same.

Sign in / Sign up

Export Citation Format

Share Document