From Discursive Practice to Logic? Remarks on Logical Expressivism.
Rodger KibblePublished in: Dialogue Discourse (2020)
Keyphrases
- logical operations
- logical framework
- probabilistic logic
- logical rules
- logical representation
- truth values
- dynamic logic
- predicate calculus
- lambda calculus
- asynchronous circuits
- classical logic
- sound and complete axiomatization
- real time
- inconsistent knowledge
- digital circuits
- automated reasoning
- search engine
- machine learning