3 ms·
> "B" is Hypothetical Syllogism Is it so hypothetical? I'd have thought that function composition fits the Barbara syllogism.
by tempodox 4y ago
> "B" is Hypothetical Syllogism
Is it so hypothetical? I'd have thought that function composition fits the Barbara syllogism.
- l- 4y agoBarbara & the other (categorical) https://en.wikipedia.org/wiki/Syllogism https://en.wikipedia.org/wiki/Syllogism take the "existential viewpoint" (see introduction on https://en.wikipedia.org/wiki/Categorical_proposition https://en.wikipedia.org/wiki/Categorical_proposition) that involves "term": https://en.wikipedia.org/wiki/Term_logic https://en.wikipedia.org/wiki/Term_logic instead of just "sentential": https://en.wikipedia.org/wiki/Propositional_calculus https://en.wikipedia.org/wiki/Propositional_calculus logic. From https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence#General_formulation https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... the universal quantification "all" in Barbara corresponds to the generalized product (conjunction rather than implication) type. B is also known as the composition combinator & (implicational) forms are shown here: https://en.wikipedia.org/wiki/Hypothetical_syllogism#Alternative_forms https://en.wikipedia.org/wiki/Hypothetical_syllogism#Alterna...