mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.9K
active users

Jon Awbrey

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 3
inquiryintoinquiry.com/2023/04

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through C.S. Peirce. Particular attention is paid to the way these inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Blog Dialogs —

• Abduction, Deduction, Induction, Analogy, Inquiry
1. inquiryintoinquiry.com/2012/08
2. inquiryintoinquiry.com/2012/11
3. inquiryintoinquiry.com/2016/02
•••
29. inquiryintoinquiry.com/2020/03
30. inquiryintoinquiry.com/2020/12
31. inquiryintoinquiry.com/2022/10

Blog Series —

Functional Logic • Inquiry and Analogy
inquiryintoinquiry.com/2023/06
1. inquiryintoinquiry.com/2023/06
2. inquiryintoinquiry.com/2023/06
3. inquiryintoinquiry.com/2023/06
•••
19. inquiryintoinquiry.com/2023/07
20. inquiryintoinquiry.com/2023/07
21. inquiryintoinquiry.com/2023/07
Discussion
inquiryintoinquiry.com/2023/07

OEIS Wiki —

Functional Logic • Inquiry and Analogy
oeis.org/wiki/Functional_Logic

Prospects for Inquiry Driven Systems
oeis.org/wiki/User:Jon_Awbrey/

Introduction to Inquiry Driven Systems
oeis.org/wiki/Introduction_to_

Information = Comprehension × Extension
oeis.org/wiki/Information_%3D_

Inquiry Driven Systems • Inquiry Into Inquiry
oeis.org/wiki/Inquiry_Driven_S



Inquiry Into InquirySurvey of Abduction, Deduction, Induction, Analogy, Inquiry • 3This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention i…

@Inquiry

One of these things is not like the others.

Or, at least, I'm having a bit of trouble seeing Abduction as a valid mode of reasoning, even if it *can* work in certain practical situations,....

... i.e., provided there is someone to kidnap who has the knowledge you seek + some suitable leverage to get them to truthfully reveal what they know.

It doesn't seem like it would be all that useful for resolving, say, P=?NP.