List, Helmut:
Helmut: Are we addressing different levels of abstract?
I do not find any connection between your response and my post.
Can you rephrase you comments so that the connection is clarified?
Cheers
Jerry
> On Aug 13, 2021, at 3:46 PM, Helmut Raulien wrote:
>
> Jerry, List
>
Gary F and Jerry,
A computer theorem prover that generates all
possibilities and
systematically eliminates (by deduction) the ones
that generate
contradictions could be called an abduction machine.
GF: In the present context, this would imply that abduction is
essentially mathematical, or at l
Cf: Semiotics, Semiosis, Sign Relations • Discussion 10
https://inquiryintoinquiry.com/2021/08/14/semiotics-semiosis-sign-relations-discussion-10/
Re: Semiotics, Semiosis, Sign Relations • Discussion 8
https://inquiryintoinquiry.com/2021/08/13/semiotics-semiosis-sign-relations-discussion-8/
Re:
Cf: Semiotics, Semiosis, Sign Relations • Discussion 9
http://inquiryintoinquiry.com/2021/08/14/semiotics-semiosis-sign-relations-discussion-9/
Re: Category Theory
https://categorytheory.zulipchat.com/#narrow/stream/233104-theory.3A-logic/topic/sign.20relations
::: Morgan Rogers
https://categoryt