March 2023 - CG - lists.cs.uni-kassel.de

Re: Sign Relations, Triadic Relations, Relation Theory

by Jon Awbrey

Cf: Sign Relations, Triadic Relations, Relation Theory • Discussion 6 http://inquiryintoinquiry.com/2022/03/01/sign-relations-triadic-relations-r… Re: FB | Charles S. Peirce Society https://www.facebook.com/groups/peircesociety/posts/2551077815028195/ ::: Alain Létourneau https://www.facebook.com/groups/peircesociety/posts/2551077815028195?commen… All, Alain Létourneau asks if I have any thoughts on Peirce's Rhetoric. I venture the following. Classically speaking, rhetoric (as distinguished from dialectic) treats forms of argument which “consider the audience” — which take the condition of the addressee into account. But that is just what Peirce's semiotic does in extending our theories of signs from dyadic to triadic sign relations. We often begin our approach to Peirce's semiotics by saying he puts the interpreter back into the relation of signs to their objects. But even Aristotle had already done that much. Peirce's innovation was to apply the pragmatic maxim, clarifying the characters of interpreters in terms of their effects — their interpretants — in the flow of semiosis. Some reading — Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action • The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52. https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inqu… Regards, Jon

1 year, 2 months

1
5
0 0

Inquiry Into Inquiry • On Initiative

by Jon Awbrey

Cf: Inquiry Into Inquiry • On Initiative 1 http://inquiryintoinquiry.com/2022/07/10/inquiry-into-inquiry-on-initiative… Re: R.J. Lipton and K.W. Regan https://rjlipton.wpcomstaging.com/about-me/ ::: Sorting and Proving https://rjlipton.wpcomstaging.com/2022/06/13/sorting-and-proving/ <QUOTE Lipton and Regan:> GPT-3 works by playing a game of “guess the next word” in a phrase. This is akin to “guess the next move” in chess and other games, and we will have more to say about it. </QUOTE> As a person who struggles on a daily basis to rise to the level of sentience I've learned it has more to do with beginning than ending this sentence. Resources — • Survey of Inquiry Driven Systems ( https://inquiryintoinquiry.com/2020/12/27/survey-of-inquiry-driven-systems-… ) • Survey of Theme One Program ( https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ ) Regards, Jon cc: Conceptual Graphs • Cybernetics • Laws of Form • Ontolog Forum cc: FB | Inquiry Driven Systems • Structural Modeling • Systems Science

1 year, 5 months

1
3
0 0

Animated Logical Graphs

by Jon Awbrey

All, I've been thinking about ways to connect the species of logical graphs I've been developing out of Peirce's entitative and existential graphs with the styles of logical graphs envisioned in the RDF Surfaces group. One thing arising out of those reflections was I began to tease apart two layers of structure, the one involved in conceiving and computing logical formulas and the other employed in displaying the end results. At any rate, I'll be exploring that theme further as we go ... For now, here's one overview of some work already done — Cf: Survey of Animated Logical Graphs https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs… This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Please follow the link above for the full set of resources. For now I'll just give links to a couple of beginning pieces. Logical Graphs • Introduction https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/ Logical Graphs • Formal Development https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/ Regards, Jon https://inquiryintoinquiry.com/ https://mathstodon.xyz/@Inquiry

1 year, 7 months

1
0
0 0

Theme One Program

by Jon Awbrey

Cf: Survey of Theme One Program • 5 https://inquiryintoinquiry.com/2023/03/30/survey-of-theme-one-program-5/ All, Updating my Survey post on the Theme One Program for the use of the W3 RDF Surfaces working group. ⁂ This is a Survey ( https://inquiryintoinquiry.com/surveys/ ) of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning. I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce's logical graphs as a syntax for propositional logic. Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate. The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education. Note. Please follow the above link for the full set of resources. I'll post just a sample of basics below. Wiki Hub ======== • Theme One Program • Overview ( https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview ) Documentation ============= • Theme One Program • Pascal Source Code ( https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code ) • Theme One Program • User Guide ( https://www.academia.edu/5211369/Theme_One_Program_User_Guide ) • Theme One Program • Exposition ( https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition ) Applications ============ Applications, Examples, Exercises • Jets and Sharks ( https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks… ) ( https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks… ) ( https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks… ) • Applications of a Propositional Calculator • Constraint Satisfaction Problems ( https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator… ) • Exploratory Qualitative Analysis of Sequential Observation Data ( https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_S… ) References ========== Awbrey, S.M., and Awbrey, J.L. (May 1991), “An Architecture for Inquiry : • Building Computer Platforms for Discovery”, Proceedings of the Eighth International Conference on Technology and Education. ( https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Compu… ) Awbrey, J.L., and Awbrey, S.M. (August 1990), “Exploring Research Data Interactively • Theme One : A Program of Inquiry”, Proceedings of the Sixth Annual Conference on Applications of Artificial Intelligence and CD-ROM in Education and Training, Society for Applied Learning Technology, Washington, DC. ( https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._The… ) Regards, Jon https://mathstodon.xyz/@Inquiry

1 year, 7 months

1
0
0 0

Differential Logic and Dynamic Systems

by Jon Awbrey

Cf: Differential Logic and Dynamic Systems • Overview https://inquiryintoinquiry.com/2019/09/10/differential-logic-and-dynamic-sy… All, In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms. Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time. Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information. Logic-based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus. The work laid out in this series of posts is intended to address that lack. Note: The links below will take you to the current OEIS Wiki version of a project I began under the auspices of a Systems Engineering program at Oakland University. I'm about to be shanghaied into a mess of long put off chores but some time this summer I hope to get back to revising the text, redoing the graphics messed over by long ago Mac to PC platform changes, and serializing the content to my blog. Overview : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Over… Part 1 : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Part 2 : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Part 3 : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Part 4 : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Part 5 : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Appendices : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Appe… References : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Refe… Doc History : https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Docu… Regards, Jon

1 year, 8 months

1
1
0 0

2024

2023

2022

2021

CG March 2023