sentential

Combining a finite state machine for recognizing sentential patterns, with a stack, gives us LR parsing.

In math logic, you learn propositional/sentential logic, then spend a lot of time with predicate/first-order logic.

Keisler gives a quick introduction to the logic needed to understand the ultraproduct construction, beginning with formal languages and sentential logic.

Also, formal logic (Aristotelian, sentential, predicate...) is distinct from mathematics per se.

If this doesn't make sense to you, please google 'indexicals' (in the advanced-logic sense) and read what the grey eminences have to say about pronoun resolution in sentential signification.

Unless I'm misinterpreting the example, it seems rather unfortunate that you need to create a sentential value before a `read` call to update some `&n` location.

What do non-sentential thinkers think about?

They often get bogged down in long catalogues of fallacies and categorical logic (which, while interesting, is not as useful as sentential logic and some elementary strategies in first-order logic).

Doing logical proofs in sentential and predicate logic is a lot more fun than it sounds, and results in improved instincts and ability to determine the logical validity and veracity of any set of statements.

And that accounting of the language considers only utterances consistinf od grammatically correct, complete main clauses, which constitute by far the minority of the sentential constructions a native speaker of English will produce in a day.

You would need to represent dyadic relationships and whether they are reciprocal, transitive, etc., weigh probabilities about the intended meaning (LLM magic already), then use sentential logic rules, right?

In a few cases, such as hopefully used as a sentential adverb or data as a singular noun, you can find prescriptive grammarians who condemn it or a systematic reason (logic, etymology, etc.) for excluding it.

As far as your idea of "outside information" goes, I'm afraid it kind of breaks outside the bounds of sentential logic, which cannot deal with numbers in the manner you are attempting.

The biggest complaint I have about it, is that it uses different terminology from the previous logic I have read, "sentential logic" rather than "propositional logic" for example, but at least it mentions the alternative terms when it introduces its own.

I took a Logic class as an undergrad, in a course that covered Sentential, Predicate, and Aristotelian (syllogistic) Logic, then became a paid tutor the next semester.