FedSearch - Federated network search engine

Jon Awbrey · @Inquiry

247 followers · 1781 posts · Server mathstodon.xyz

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 3
• https://inquiryintoinquiry.com/2023/04/02/survey-of-abduction-deduction-induction-analogy-inquiry-3/

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 Charles 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. https://inquiryintoinquiry.com/2012/08/16/abduction-deduction-induction-analogy-inquiry-1/
2. https://inquiryintoinquiry.com/2012/11/21/abduction-deduction-induction-analogy-inquiry-2/
3. https://inquiryintoinquiry.com/2016/02/17/abduction-deduction-induction-analogy-inquiry-3/
•••
29. https://inquiryintoinquiry.com/2020/03/15/abduction-deduction-induction-analogy-inquiry-29/
30. https://inquiryintoinquiry.com/2020/12/15/abduction-deduction-induction-analogy-inquiry-30/
31. https://inquiryintoinquiry.com/2022/10/14/abduction-deduction-induction-analogy-inquiry-31/

Blog Series —

OEIS Wiki —

Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy

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

Introduction to Inquiry Driven Systems
• https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems

Information = Comprehension × Extension
• https://oeis.org/wiki/Information_%3D_Comprehension_%C3%97_Extension

Inquiry Driven Systems • Inquiry Into Inquiry
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

#Peirce #Logic #Abduction #Deduction #Induction #Analogy #Inquiry
#FunctionalLogic #DifferentialLogic #DynamicsOfInquiry #Semiotics
#InquiryDrivenSystem #InformationEqualsComprehensionTimesExtension

#informationequalscomprehensiontimesextension #inquirydrivensystem #semiotics #dynamicsofinquiry #DifferentialLogic #functionallogic #inquiry #analogy #induction #deduction #abduction #logic #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

235 followers · 1737 posts · Server mathstodon.xyz

Functional Logic • Inquiry and Analogy • Preliminaries
• https://inquiryintoinquiry.com/2021/11/14/functional-logic-inquiry-and-analogy-preliminaries/

Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy

This report discusses C.S. Peirce's treatment of analogy, placing it in relation to his overall theory of inquiry. We begin by introducing three basic types of reasoning Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of logical inference which develop through stages of these three types, though normally in different orders.

Note on notation. The discussion to follow uses logical conjunctions, expressed in the form of concatenated tuples \(e_1 \ldots e_k,\) and minimal negation operations, expressed in the form of bracketed tuples \(\texttt{(} e_1 \texttt{,} \ldots \texttt{,} e_k \texttt{)},\) as the principal expression-forming operations of a calculus for boolean-valued functions, that is, for propositions. The expressions of this calculus parse into data structures whose underlying graphs are called “cacti” by graph theorists. Hence the name “cactus language” for this dialect of propositional calculus.

Resources —

Logic Syllabus
• https://oeis.org/wiki/Logic_Syllabus

Boolean Function
• https://oeis.org/wiki/Boolean_function

Boolean-Valued Function
• https://oeis.org/wiki/Boolean-valued_function

Logical Conjunction
• https://oeis.org/wiki/Logical_conjunction

Minimal Negation Operator
• https://oeis.org/wiki/Minimal_negation_operator

#Peirce #Logic #Abduction #Deduction #Induction #Analogy #Inquiry
#BooleanFunction #LogicalConjunction #MinimalNegationOperator
#LogicalGraph #CactusLanguage #PropositionalCalculus

#PropositionalCalculus #CactusLanguage #logicalgraph #minimalnegationoperator #logicalconjunction #booleanfunction #inquiry #analogy #induction #deduction #abduction #logic #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

226 followers · 1597 posts · Server mathstodon.xyz

Survey of Inquiry Driven Systems • 5
• https://inquiryintoinquiry.com/2023/04/23/survey-of-inquiry-driven-systems-5/

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a systematic treatment of the subject.

An “inquiry driven system” is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems. Thus it has a component of state tracing a trajectory though an “information state space”.

Please follow the above link for the full set of resources.
Articles treating the more central ideas are linked below.

Elements —

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

Introduction to Inquiry Driven Systems
• https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems

Background —

Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy

Functional Logic • Quantification Theory
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Quantification_Theory

Functional Logic • Higher Order Propositions
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Higher_Order_Propositions

Developments —

Inquiry Driven Systems • Inquiry Fields
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Inquiry_Fields

Inquiry Driven Systems • Inquiry Into Inquiry
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview

Applications —

Conceptual Barriers to Creating Integrative Universities
• https://www.academia.edu/1266492/Conceptual_Barriers_to_Creating_Integrative_Universities

Interpretation as Action • The Risk of Inquiry
• https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry

An Architecture for Inquiry • Building Computer Platforms for Discovery
• https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery

Exploring Research Data Interactively • Theme One : A Program of Inquiry
• https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry

#Peirce #Inquiry #InquiryDrivenSystems #InformationStateSpace
#Semiotics #SignRelations #Interpretation #SystemsEngineering
#Abduction #Deduction #Induction #Analogy #DynamicsOfInquiry

#dynamicsofinquiry #analogy #induction #deduction #abduction #systemsengineering #interpretation #SignRelations #semiotics #informationstatespace #InquiryDrivenSystems #inquiry #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

226 followers · 1597 posts · Server mathstodon.xyz

@maxsnew

#Logic is of course classically recognized as a #NormativeScience and C.S. #Peirce wrote a lot about the #LogicOfScience, his analysis of #ScientificMethod into three types of inference — #Abduction, #Deduction, and #Induction.

#induction #deduction #abduction #scientificmethod #logicofscience #Peirce #normativescience #logic

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

177 followers · 1087 posts · Server mathstodon.xyz

#FunctionalLogic • #Inquiry and #Analogy

Richard Kunstwadl comments —
• https://www.academia.edu/s/2970b92e1f?source=work#comment_1302356

“Would you agree if we reflect a schema, in the way operational handling is done in the form, we build a dialectics through the way we transfer knowledge!? And that this correlation of dialectics and transfer is traditionally done by analogy!”

#Peirce #Information #Anomaly #Paradigm
#Logic #Abduction #Deduction #Induction

#induction #deduction #abduction #logic #paradigm #anomaly #information #Peirce #analogy #inquiry #functionallogic

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

164 followers · 965 posts · Server mathstodon.xyz

#FunctionalLogic • #Inquiry and #Analogy
• https://www.academia.edu/s/2970b92e1f?source=mathstodon

This report discusses C.S. #Peirce's treatment of analogy, placing it in relation to his overall theory of inquiry. We begin by introducing three basic types of reasoning Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of logical inference which develop through stages of these three types, although normally in different orders.

#Logic #Abduction #Deduction #Induction

#induction #deduction #abduction #logic #Peirce #analogy #inquiry #functionallogic

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

164 followers · 961 posts · Server mathstodon.xyz

#FunctionalLogic • #Inquiry and #Analogy
• https://www.academia.edu/s/2970b92e1f

This report discusses C.S. #Peirce's treatment of analogy, placing it in relation to his overall theory of inquiry. We begin by introducing three basic types of reasoning Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of logical Inference which develop through stages of these three types, although normally in different orders.

#Logic #Abduction #Deduction #Induction

#induction #deduction #abduction #logic #Peirce #analogy #inquiry #functionallogic

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

163 followers · 905 posts · Server mathstodon.xyz

Inquiry Into Inquiry - Functional Logic • Inquiry and Analogy • 9

@WorldImagining @philosophy

The orbit of #Inquiry takes a different turn when we take #Peirce's three-phase #CycleOfInquiry — #Abduction, #Deduction, #Induction — into account.

Dewey's “Sign of Rain” Example —
• https://inquiryintoinquiry.com/2022/05/02/functional-logic-inquiry-and-analogy-9/

#induction #deduction #abduction #cycleofinquiry #Peirce #inquiry

Last updated 2 years ago

Original post

HiSv Studio · @hisv_studio

40 followers · 82 posts · Server mastodon.gamedev.place

Open media

Snack Time! 🤤

➡️ Wishlist on Steam:
tinyurl.com/sherlock-steam

#indiedev #gaming #indiegames #gamedev #Steam #SherLock #sherlockholmes #escaperoom #puzzle #crafting #deduction #adventure #mystery #detective #rpgmaker #pixelart

#pixelart #rpgmaker #detective #mystery #adventure #deduction #crafting #puzzle #escaperoom #sherlockholmes #sherlock #steam #gamedev #indiegames #gaming #indiedev

Last updated 2 years ago

Original post

Erik Andersson Sundén · @erik_a_sunden

65 followers · 86 posts · Server tabletop.social

#boardgames
#Realtime
#Partygames
#CommunicationLimits
#Variableplayerpowers
#Pointtopointmovement
#Tileplacement
#Dicerolling
#Pushyourluck
#Deduction

#deduction #Pushyourluck #dicerolling #tileplacement #Pointtopointmovement #variableplayerpowers #CommunicationLimits #partygames #realtime #boardgames

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

149 followers · 752 posts · Server mathstodon.xyz

In the Way of Inquiry • Justification Trap 5
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-2/

As they see it the development of knowledge cannot be reduced to any fixed method because it involves in an essential way such a large component of non-methodical activities. If one's idea of what counts as method is fixed on the ideal of a deductive procedure then it's no surprise one draws that conclusion.

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Logic #Abduction #Deduction #Induction #ScientificMethod

#scientificmethod #induction #deduction #abduction #logic #InquiryDrivenSystems #inquiryintoinquiry #inquiry #Peirce

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

149 followers · 751 posts · Server mathstodon.xyz

In the Way of Inquiry • Justification Trap 4
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-2/

Sometimes people express their recognition of this trap and their appreciation of the factor it takes to escape it by saying there is really no such thing as the scientific method, that the very term “scientific method” is a misnomer and does not refer to any kind of method at all.

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Logic #Abduction #Deduction #Induction #ScientificMethod

#scientificmethod #induction #deduction #abduction #logic #InquiryDrivenSystems #inquiryintoinquiry #inquiry #Peirce

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

149 followers · 750 posts · Server mathstodon.xyz

In the Way of Inquiry • Justification Trap 3
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-2/

But when does that rearrangement cease to be a rational reconstruction and start to become a destructive rationalization, a distortion of the genuine article, and a falsification of the authentic inquiry it attempts to recount?

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Logic #Abduction #Deduction #Induction #ScientificMethod

#scientificmethod #induction #deduction #abduction #logic #InquiryDrivenSystems #inquiryintoinquiry #inquiry #Peirce

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

149 followers · 749 posts · Server mathstodon.xyz

In the Way of Inquiry • Justification Trap 2
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-2/

Often this happens, in spite of the fact one really knows better, simply in the process of arranging one's thoughts in a rational order, say, from the most elementary and independent to the most complex and derivative, as if for the sake of a logical and summary exposition.

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Logic #Abduction #Deduction #Induction #ScientificMethod

#scientificmethod #induction #deduction #abduction #logic #InquiryDrivenSystems #inquiryintoinquiry #inquiry #Peirce

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

148 followers · 742 posts · Server mathstodon.xyz

In the Way of Inquiry • Justification Trap 1
• https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justification-trap-2/

There is a particular type of “justification trap” a person can fall into, of trying to prove the scientific method by solely deductive means, that is, of trying to show the scientific method is a good method by starting from the simplest possible axioms, principles everyone would accept, about what is good.

#Peirce #Inquiry #InquiryIntoInquiry #InquiryDrivenSystems
#Logic #Abduction #Deduction #Induction #ScientificMethod