Logical Graphs • Discussion 6
• https://inquiryintoinquiry.com/2023/08/29/logical-graphs-discussion-6/
Re: Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Figures 1 and 2
• https://inquiryintoinquiry.files.wordpress.com/2023/08/logical-graph-figures-1-2-framed.png
Re: Academia.edu • Robert Appleton
• https://www.academia.edu/community/lavbw5?c=Q4jlVy
RA:
❝As a professional graphic designer and non-mathematician reading your two diagrams, I need to ask for a simpler statement of their purpose. What do Fig 1 and Fig 2 represent to you? And what insight do they provide us?❞
My Comment —
Figures 1 and 2 are really just a couple of “in medias res” pump‑primers or ice‑breakers. This will all be explained in the above linked blog post, where I'm revising the text and upgrading the graphics of some work I first blogged in 2008 based on work I did even further back. I'll be taking a fresh look at that as I serialize it here.
Those two Figures come from George Spencer Brown's 1969 book Laws of Form, where he called them the Law of Calling and the Law of Crossing. GSB revived and clarified central aspects of Peirce's systems of logical graphs and I find it helpful to integrate his work into my exposition of Peirce. For now you can think of those as exemplifying two core formal principles which go to the root of the mathematical forms underlying logical reasoning.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#PropositionalCalculus #BooleanFunctions #lawsofform #spencerbrown #ExistentialGraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
Logical Graphs • First Impressions 1
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Introduction • Moving Pictures of Thought —
A “logical graph” is a graph-theoretic structure in one of the systems of graphical syntax Charles Sanders Peirce developed for logic.
In numerous papers on “qualitative logic”, “entitative graphs”, and “existential graphs”, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures. This article examines the common basis of these formal systems from a bird's eye view, focusing on the aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistensialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#PropositionalCalculus #BooleanFunctions #lawsofform #spencerbrown #existensialgraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
Good old #wikisource qui a les textes importants https://fr.wikisource.org/wiki/La_Logique_de_la_science #Peirce
Differential Logic • The Logic of Change and Difference
• https://inquiryintoinquiry.com/2023/08/22/differential-logic-%ce%b1/
Differential logic is the logic of variation — the logic of change and difference.
Differential logic is the component of logic whose object is the description of variation, for example, the aspects of change, difference, distribution, and diversity, in universes of discourse subject to qualitative logical description. In its formalization, differential logic treats the principles governing the use of a “differential logical calculus”, in other words, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
A simple case of a differential logical calculus is furnished by a differential propositional calculus. This augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
Resources —
Differential Logic
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2 )
• Part 3 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3 )
Differential Propositional Calculus
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2 )
Differential Logic and Dynamic Systems
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2 )
• Part 3 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3 )
• Part 4 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4 )
• Part 5 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5 )
#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#Leibniz #BooleanFunctions #BooleanDifferenceCalculus #QualitativeDynamics
#DifferentialPropositions #MinimalNegationOperators #NeuralNetworkSystems
#neuralnetworksystems #MinimalNegationOperators #differentialpropositions #QualitativeDynamics #booleandifferencecalculus #BooleanFunctions #leibniz #DiscreteDynamicalSystems #DifferentialLogic #LogicalGraphs #logic #Peirce
Pragmatic Maxim • References, Readings, Resources
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
References —
Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958. Cited as CP n.m for volume n, paragraph m.
Readings —
Awbrey, Jon, and Awbrey, Susan (1995), “Interpretation as Action • The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.
Archive
• https://web.archive.org/web/20001210162300/http://chss.montclair.edu/inquiry/fall95/awbrey.html
Journal
• https://www.pdcnet.org/inquiryct/content/inquiryct_1995_0015_0001_0040_0052
Online
• https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry
Resources —
Bergman and Paavola (eds.) • Commens Dictionary of Peirce's Terms
• http://www.helsinki.fi/science/commens/dictionary.html
Pragmatic Maxim
• http://www.helsinki.fi/science/commens/terms/pragmatismmaxim.html
Pragmaticism
• http://www.helsinki.fi/science/commens/terms/pragmaticism.html
Pragmatism
• http://www.helsinki.fi/science/commens/terms/pragmatism.html
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #MethodOfReflection
#methodofreflection #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Inquiry Into Inquiry • Discussion 9
• http://inquiryintoinquiry.com/2023/08/19/inquiry-into-inquiry-discussion-9/
Re: Milo Gardner
• https://www.academia.edu/community/VBqzR5?c=Q4jJVy
MG: ❝Do you agree that Peirce was limited to bivalent logic?❞
Taking classical logic as a basis for reasoning is no more limiting than taking Dedekind cuts as a basis for constructing the real number line. For Peirce's relational approach to logic as semiotics the number of dimensions in a relation is more important than the number of values in each dimension. That is where 3 makes a difference over 2.
#Peirce #Logic #Inquiry #Inference #Information #InformationFusion #Semiotics
#CategoryTheory #Compositionality #RelationTheory #TriadicRelationIrreducibility
#triadicrelationirreducibility #RelationTheory #compositionality #categorytheory #semiotics #informationfusion #information #inference #inquiry #logic #Peirce
Inquiry Into Inquiry • Discussion 8
• http://inquiryintoinquiry.com/2023/08/18/inquiry-into-inquiry-discussion-8/
Re: Milo Gardner
• https://www.academia.edu/community/Lbxjg5?c=yqXVog
MG: ❝Peirce sensed that bivalent syntax was superceded by trivalent syntax,
but never resolved that nagging question.❞
My Comment —
The main thing is not a question of syntax but a question of the mathematical models we use to cope with object realities and real objectives (pragmata). Signs, syntax, and systems of representation can make a big difference in how well they represent the object domain and how well they serve the purpose at hand but they remain accessory to those objects and purposes.
#Peirce #Logic #Inquiry #Inference #Information #InformationFusion #Semiotics
#CategoryTheory #Compositionality #RelationTheory #TriadicRelationIrreducibility
#triadicrelationirreducibility #RelationTheory #compositionality #categorytheory #semiotics #informationfusion #information #inference #inquiry #logic #Peirce
Inquiry Into Inquiry • Discussion 7
• http://inquiryintoinquiry.com/2023/08/17/inquiry-into-inquiry-discussion-7/
Dan Everett has prompted a number of discussions on Facebook recently which touch on core issues in Peirce's thought — but threads ravel on and fray so quickly in that medium one rarely get a chance to fill out the warp. Not exactly at random, here's a loose thread I think may be worth the candle.
Re: Facebook • Daniel Everett
• https://www.facebook.com/permalink.php?story_fbid=pfbid0be89MXhhCm8rxahRn4PXif6HHSCmkdiUFfMZ3qS1mNqSzRzUWfqej5a8cyz8TcyJl&id=100093271525294
My Comment —
Compositionality started out as a well-defined concept, arising from the composition of mathematical functions, abstracted to the composition of arrows and functors in category theory, and generalized to the composition of binary, two-place, or dyadic relations. In terms of linguistic complexity it's associated with properly context-free languages. That all keeps compositionality on the dyadic side of the border in Peirce's universe. More lately the term has been volatilized to encompass almost any sort of information fusion, which is all well and good so long as folks make it clear what they are talking about, for which use the term “information fusion” would probably be sufficiently vague.
#Peirce #Logic #Inquiry #Inference #Information #InformationFusion #Semiotics
#CategoryTheory #Compositionality #RelationTheory #TriadicRelationIrreducibility
#triadicrelationirreducibility #RelationTheory #compositionality #categorytheory #semiotics #informationfusion #information #inference #inquiry #logic #Peirce
Inquiry Into Inquiry • Discussion 7
• http://inquiryintoinquiry.com/2023/08/17/inquiry-into-inquiry-discussion-7/
Dan Everett has prompted a number of discussions on Facebook recently which touch on core issues in Peirce's thought — but threads ravel on and fray so quickly in that medium one rarely get a chance to fill out the warp. Not exactly at random, here's a loose thread I think may be worth the candle.
Re: Facebook • Daniel Everett
• https://www.facebook.com/permalink.php?story_fbid=pfbid0be89MXhhCm8rxahRn4PXif6HHSCmkdiUFfMZ3qS1mNqSzRzUWfqej5a8cyz8TcyJl&id=100093271525294
My Comment —
Compositionality started out as a well-defined concept, arising from the composition of mathematical functions, abstracted to the composition of arrows and functors in category theory, and generalized to the composition of binary, two-place, or dyadic relations. In terms of linguistic complexity it's associated with properly context-free languages. That all keeps compositionality on the dyadic side of the border in Peirce's universe. More lately the term has been volatilized to encompass almost any sort of information fusion, which is all well and good so long as folks make it clear what they are talking about, for which use the term “information fusion” would probably be sufficiently vague.
#Peirce #Logic #Inquiry #Inference #Information #InformationFusion #Semiotics
#CategoryTheory #Compositionality #RelationTheory #TriadicRelationIrreducibility
#triadicrelationirreducibility #RelationTheory #compositionality #categorytheory #semiotics #informationfusion #information #inference #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 7
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The seventh excerpt is a late reflection on the reception of pragmatism. With a sense of exasperation that is almost palpable, Peirce tries to justify the maxim of pragmatism and to correct its misreadings by pinpointing a number of false impressions that the intervening years have piled on it, and he attempts once more to prescribe against the deleterious effects of these mistakes. Recalling the very conception and birth of pragmatism, he reviews its initial promise and its intended lot in the light of its subsequent vicissitudes and its apparent fate. Adopting the style of a post mortem analysis, he presents a veritable autopsy of the ways that the main idea of pragmatism, for all its practicality, can be murdered by a host of misdissecting disciplinarians, by what are ostensibly its most devoted followers.
❝This employment five times over of derivates of concipere must then have had a purpose. In point of fact it had two. One was to show that I was speaking of meaning in no other sense than that of intellectual purport. The other was to avoid all danger of being understood as attempting to explain a concept by percepts, images, schemata, or by anything but concepts. I did not, therefore, mean to say that acts, which are more strictly singular than anything, could constitute the purport, or adequate proper interpretation, of any symbol. I compared action to the finale of the symphony of thought, belief being a demicadence. Nobody conceives that the few bars at the end of a musical movement are the purpose of the movement. They may be called its upshot.❞
(Peirce, CP 5.402 note 3, 1906).
Seven Ways of Looking at a Pragmatic Maxim • 6
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
A sixth excerpt is useful in stating the bearing of the pragmatic maxim on the topic of reflection, namely, that it makes all of pragmatism boil down to nothing more or less than a method of reflection.
❝The study of philosophy consists, therefore, in reflexion, and pragmatism is that method of reflexion which is guided by constantly holding in view its purpose and the purpose of the ideas it analyzes, whether these ends be of the nature and uses of action or of thought. … It will be seen that pragmatism is not a Weltanschauung but is a method of reflexion having for its purpose to render ideas clear.❞
(Peirce, CP 5.13 note 1, 1902).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #MethodOfReflection
#methodofreflection #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 5
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The fifth excerpt is useful by way of additional clarification, and was aimed to correct a variety of historical misunderstandings that arose over time with regard to the intended meaning of the pragmatic maxim.
❝The doctrine appears to assume that the end of man is action — a stoical axiom which, to the present writer at the age of sixty, does not recommend itself so forcibly as it did at thirty. If it be admitted, on the contrary, that action wants an end, and that that end must be something of a general description, then the spirit of the maxim itself, which is that we must look to the upshot of our concepts in order rightly to apprehend them, would direct us towards something different from practical facts, namely, to general ideas, as the true interpreters of our thought.❞
(Peirce, CP 5.3, 1902).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #UpshotOfConcepts
#upshotofconcepts #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 4
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The fourth excerpt illustrates one of Peirce's many attempts to get the sense of the pragmatic philosophy across by rephrasing the pragmatic maxim in an alternative way. In introducing this version, he addresses an order of prospective critics who do not deem a simple heuristic maxim, much less one that concerns itself with a routine matter of logical procedure, as forming a sufficient basis for a full-grown philosophy.
❝On their side, one of the faults that I think they might find with me is that I make pragmatism to be a mere maxim of logic instead of a sublime principle of speculative philosophy. In order to be admitted to better philosophical standing I have endeavored to put pragmatism as I understand it into the same form of a philosophical theorem. I have not succeeded any better than this:
❝Pragmatism is the principle that every theoretical judgment expressible in a sentence in the indicative mood is a confused form of thought whose only meaning, if it has any, lies in its tendency to enforce a corresponding practical maxim expressible as a conditional sentence having its apodosis in the imperative mood.❞
(Peirce, CP 5.18, 1903).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #PragmaticImperative
#pragmaticimperative #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 3
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The third excerpt puts a gloss on the meaning of a practical bearing and provides an alternative statement of the maxim.
❝Such reasonings and all reasonings turn upon the idea that if one exerts certain kinds of volition, one will undergo in return certain compulsory perceptions. Now this sort of consideration, namely, that certain lines of conduct will entail certain kinds of inevitable experiences is what is called a “practical consideration”. Hence is justified the maxim, belief in which constitutes pragmatism; namely:
❝In order to ascertain the meaning of an intellectual conception one should consider what practical consequences might conceivably result by necessity from the truth of that conception; and the sum of these consequences will constitute the entire meaning of the conception.❞
(Peirce, CP 5.9, 1905).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #SumOfConsequences
#sumofconsequences #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 2
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The second excerpt presents another version of the pragmatic maxim, a recommendation about a way of clarifying meaning that can be taken to stake out the general philosophy of pragmatism.
❝Pragmaticism was originally enounced in the form of a maxim, as follows:
❝Consider what effects that might conceivably have practical bearings you conceive the objects of your conception to have. Then, your conception of those effects is the whole of your conception of the object.
❝I will restate this in other words, since ofttimes one can thus eliminate some unsuspected source of perplexity to the reader. This time it shall be in the indicative mood, as follows:
❝The entire intellectual purport of any symbol consists in the total of all general modes of rational conduct which, conditionally upon all the possible different circumstances and desires, would ensue upon the acceptance of the symbol.❞
(Peirce, CP 5.438, 1878/1905).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #ConceptionOfEffects
#conceptionofeffects #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Seven Ways of Looking at a Pragmatic Maxim • 1
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
Peirce stated the pragmatic maxim in many different ways over the years, each of which adds its own bit of clarity or correction to their collective corpus.
The first excerpt appears in the form of a dictionary entry, intended as a definition of pragmatism.
Pragmatism. The opinion that metaphysics is to be largely cleared up by the application of the following maxim for attaining clearness of apprehension:
“Consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.” (Peirce, CP 5.2, 1878/1902).
#Peirce #Logic #Inquiry #PragmaticMaxim #StandardOperatingProcedure #Semiotics
#Pragmatism #EffectiveDefinition #ExtensionalDefinition #OperationalDefinition
#Representation #RepresentationPrinciple #ClosurePrinciple #ConceptionOfEffects
#conceptionofeffects #closureprinciple #representationprinciple #representation #operationaldefinition #extensionaldefinition #effectivedefinition #pragmatism #semiotics #standardoperatingprocedure #pragmaticmaxim #inquiry #logic #Peirce
Pragmatic Maxim • Introduction
• https://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The “pragmatic maxim”, also known as the “maxim of pragmatism” or the “maxim of pragmaticism”, is a maxim of logic formulated by Charles Sanders Peirce. Serving as a practical recommendation or regulative principle in the normative science of logic, its function is to guide the conduct of thought toward the achievement of its purpose, advising the addressee on an optimal way of “attaining clearness of apprehension”.
Charles Sanders Peirce
• https://mywikibiz.com/Charles_Sanders_Peirce
Normative Science
• https://mywikibiz.com/Normative_science
#Peirce #Logic #Inquiry #PragmaticMaxim #RequlativePrinciple
#CSPeirce #CharlesSandersPeirce #NormativeScience #Semiotics
#semiotics #normativescience #CharlesSandersPeirce #cspeirce #requlativeprinciple #pragmaticmaxim #inquiry #logic #Peirce
Pragmatic Maxim • Et Sic Deinceps
• http://inquiryintoinquiry.com/2023/08/07/pragmatic-maxim-2/
The pragmatic maxim is a guideline for the practice of inquiry formulated by Charles Sanders Peirce. Serving as a practical recommendation or regulative principle in the normative science of logic, its function is to guide the conduct of thought toward the achievement of its purpose, advising the addressee on an optimal way of “attaining clearness of apprehension”.
#Peirce #Logic #Inquiry #PragmaticMaxim #RequlativePrinciple
#CSPeirce #CharlesSandersPeirce #NormativeScience #Semiotics
#semiotics #normativescience #CharlesSandersPeirce #cspeirce #requlativeprinciple #pragmaticmaxim #inquiry #logic #Peirce
Survey of Precursors Of Category Theory • 4
• http://inquiryintoinquiry.com/2023/08/01/survey-of-precursors-of-category-theory-4/
A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.
Background —
Precursors Of Category Theory
• https://oeis.org/wiki/Precursors_Of_Category_Theory
Propositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_Analogy
Blog Series —
Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/
Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/
2. https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/
3. https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/
Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/
Categories à la Peirce —
C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/
Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/
#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #Diagrams #FoundationsOfMathematics
#FunctionalLogic #RelationTheory #ContinuousPredicate #HypostaticAbstraction
#CategoryTheory #PeircesCategories #PropositionsAsTypes #TypeTheory #Universals
#universals #typetheory #propositionsastypes #peircescategories #hypostaticabstraction #continuouspredicate #RelationTheory #functionallogic #foundationsofmathematics #diagrams #categorytheory #analogy #abstraction #saundersmaclane #ackermann #hilbert #carnap #kant #Peirce #aristotle
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 —
Functional Logic • Inquiry and Analogy
• https://inquiryintoinquiry.com/2023/06/20/functional-logic-inquiry-and-analogy-preliminaries-2/
1. https://inquiryintoinquiry.com/2023/06/21/functional-logic-inquiry-and-analogy-1-2/
2. https://inquiryintoinquiry.com/2023/06/22/functional-logic-inquiry-and-analogy-2-2/
3. https://inquiryintoinquiry.com/2023/06/23/functional-logic-inquiry-and-analogy-3-2/
•••
19. https://inquiryintoinquiry.com/2023/07/17/functional-logic-inquiry-and-analogy-19-2/
20. https://inquiryintoinquiry.com/2023/07/18/functional-logic-inquiry-and-analogy-20-2/
21. https://inquiryintoinquiry.com/2023/07/19/functional-logic-inquiry-and-analogy-21-2/
Discussion
• https://inquiryintoinquiry.com/2023/07/06/functional-logic-inquiry-and-analogy-discussion-1/
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