Code related to Research on Logical Expressivism, as described in Reasons for Logic, Logic for Reasons and Brandom's seminar on logic.
- Declare implication frames + interpretation functions
- Compute implicational roles and operations like
$\sqcup$ and$\preceq$ - Compute logical operations on conceptual contents
- Compute content entailment among conceptual contents
- Use this to determine
$\mathbb{I}_X$ given a lexicon$\mathcal{L}_X$ , an implication frame$Y$ , and an interpretation function$\mathcal{L}_X \rightarrow \mathbb{C}_Y$ .
- Use this to determine
The next things I want to implement:
- Automated morphism search
- Category of implication frames and interpretation functions
- Various flavors of 'simple' maps which send bearers to bearers
- (Co)-limits of implication frames (in the above categories)
- Ryan's scorekeeping dynamics
- Notebook showing classical tautologies (e.g. Pierce's law) hold in frames (even nonmonotonic ones) which satisfy containment.
- Distinguishing from traditional nonmonotonic logics
- Nonmonotonicity of incoherence, cautious monotonicity / cumulative transitivity failures
- See Shopper's Guide
One runs the test suite with the following command:
julia --project test/runtests.jl
To locally build the documentation and the literate code examples, run the following in the command line:
julia --project=docs -e "using ROLE, LiveServer; servedocs(literate_dir=\"docs/literate\",skip_dir=\"docs/src/generated\")"
This library is currently under active development, and so is not yet at a point where a constant API/behavior can be assumed. That being said, if this project looks interesting/relevant please contact me at [email protected]!