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

by Jon Awbrey

Peirce's 1885 “Algebra of Logic” • Selection 1.1 • https://inquiryintoinquiry.com/2024/03/24/peirces-1885-algebra-of-logic-sel… All, I'm laying down a few source materials in preparation for a later discussion. Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) ❝§1. Three Kinds Of Signs❞ ❝Any character or proposition either concerns one subject, two subjects, or a plurality of subjects. For example, one particle has mass, two particles attract one another, a particle revolves about the line joining two others. A fact concerning two subjects is a dual character or relation; but a relation which is a mere combination of two independent facts concerning the two subjects may be called “degenerate”, just as two lines are called a degenerate conic. In like manner a plural character or conjoint relation is to be called degenerate if it is a mere compound of dual characters. ❝A sign is in a conjoint relation to the thing denoted and to the mind. If this triple relation is not of a degenerate species, the sign is related to its object only in consequence of a mental association, and depends upon a habit. Such signs are always abstract and general, because habits are general rules to which the organism has become subjected. They are, for the most part, conventional or arbitrary. They include all general words, the main body of speech, and any mode of conveying a judgment. For the sake of brevity I will call them “tokens”. [Note. Peirce more frequently calls these “symbols”.] Regards, Jon cc: https://www.academia.edu/community/LpeZP7 cc: https://mathstodon.xyz/@Inquiry/112156450035935700

5 months, 1 week

1
7
0 0

[CfP] [CoKA] : "Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases" workshop at CONCEPTS 2024

by Tom Hanika

***CoKA: Call for Contributions*** ================================================================ Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases Workshop at the 1st International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2024) September 9–13 2024, Cádiz, Spain Workshop Website: https://www.kde.cs.uni-kassel.de/coka/ Conference website: https://concepts2024.uca.es ================================================================ Formal concept analysis (FCA) can help make sense of data and the underlying domain --- provided the data is not too big, not too noisy, representative of the domain, and if there is data in the first place. What if you don’t have such data readily available but are prepared to invest in collecting it and have access to domain experts or other reliable queryable sources of information? Conceptual exploration comes to the rescue! Conceptual exploration is a family of knowledge-acquisition techniques within FCA. The goal is to build a complete implicational theory of a domain (with respect to a fixed language) by posing queries to a domain expert. When properly implemented, it is a great tool that can help organize the process of scientific discovery. Unfortunately, proper implementations are scarce and success stories of using conceptual exploration are somewhat rare and limited in scope. With this workshop, we intend to analyze the situation and, maybe, find a solution. If - you succeeded in acquiring new knowledge about or building a satisfying conceptual representation of some domain with conceptual exploration before; - you attempted conceptual exploration in application to your problem but failed miserably; - you want to use conceptual exploration to analyze some domain, but you don’t know where and how to start; - you are aware of alternatives to conceptual exploration; then come to the workshop to share your experiences, insights, ideas, and concerns with us! ================== Keywords and Topics ================== Knowledge Acquisition and Capture Conceptual Exploration Design Patterns and Paradigmatic Examples successful use cases and real-world applications challenges and lessons learned application principles missing theoretical foundations missing technical infrastructure integration with other theories and technologies ========================= Duration, Format, and Dates ========================= We invite contributions in the form of an extended abstract of up to two pages. In addition, supplementary material, such as data sets, detailed descriptions, or visualizations, may be submitted. The workshop is planned for half a day within the conference dates and at the same venue. It will consist of several short presentations each followed by a plenary discussion. Please send your contributions until *July 10, 2024* to tom.hanika(a)uni-hildesheim.de. If you are not sure whether your contribution matches the topics or the format of the workshop, you are welcome to contact the organizers prior to submitting the abstract. An acceptance notification will be sent within two weeks upon receiving the submission. =================== Workshop Organizers =================== - Tom Hanika, University of Hildesheim - Sergei Obiedkov, TU Dresden - Bernhard Ganter, Ernst-Schröder-Zentrum, Darmstadt

5 months, 2 weeks

1
0
0 0

Survey of Relation Theory

by Jon Awbrey

Survey of Relation Theory • https://inquiryintoinquiry.com/2024/03/23/survey-of-relation-theory-8/ All, In the present Survey of blog and wiki resources for Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many of which arise quite naturally in applications. This approach to relation theory is distinct from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. Please follow the above link for the full set of resources. A few basic articles are linked below. Relation Theory • https://oeis.org/wiki/Relation_theory Relation Composition • https://oeis.org/wiki/Relation_composition Relation Construction • https://oeis.org/wiki/Relation_construction Relation Reduction • https://oeis.org/wiki/Relation_reduction Relative Term • https://oeis.org/wiki/Relative_term Sign Relation • https://oeis.org/wiki/Sign_relation Triadic Relation • https://oeis.org/wiki/Triadic_relation Six Ways of Looking at a Triadic Relation ⌬ 1 • https://inquiryintoinquiry.com/2015/02/04/six-ways-of-looking-at-a-triadic-… Mathematical Demonstration and the Doctrine of Individuals • https://inquiryintoinquiry.com/2023/05/16/mathematical-demonstration-and-th… • https://inquiryintoinquiry.com/2023/05/16/mathematical-demonstration-and-th… Peirce's 1870 “Logic of Relatives” • https://inquiryintoinquiry.com/2019/09/24/peirces-1870-logic-of-relatives-o… • https://inquiryintoinquiry.com/2014/01/27/peirces-1870-logic-of-relatives-p… Regards, Jon cc: https://www.academia.edu/community/l8NX79 cc: https://mathstodon.xyz/@Inquiry/112146365982354316

5 months, 3 weeks

1
0
0 0

CharGer conceptual graph software

by Harry Delugach

All, For many years, I have been associated with the CharGer software, a conceptual graph editor. I began this project in 1997, with the support and encouragement of the conceptual graph community who met annually at the Internaional Conference on Conceptual Structures (ICCS). Over the years a number of new features were added, which are documented in the CharGer Manual, which is distributed with the software. Having recently received a couple of inquiries about the software, I thought I'd post its current address. http://www.cs.uah.edu/~delugach/charger.php The software is not currently actively supported. Based on Java swing, it uses fairly old technology. There are probably better solutions at hand, but I've been given the idea that the old software is still useful, especially for preparing conceptual graphs for presentations. I'll be happy to answer any questions about it. Enjoy! Harry Delugach Harry S. Delugach, Ph.D. ------------------- Associate Professor Emeritus (retired) Computer Science Dept. OKT N-351 University Of Alabama In Huntsville Huntsville AL 35899 U.S.A. voice: +1 256.824.6614 fax: +1 256.824.6239 delugach(a)uah.edu http://www.cs.uah.edu/~delugach

5 months, 3 weeks

3
2
0 0

Pragmatic Semiotic Information • Comment

by Jon Awbrey

Pragmatic Semiotic Information • Comment 1 • https://inquiryintoinquiry.com/2024/03/18/pragmatic-semiotic-information-co… All, I remember it was back in ’76 when I began to notice a subtle shift of focus in the computer science journals I was reading, from discussing “X” to discussing “Information About X”, a transformation I noted mentally as “X → Info(X)” whenever I ran across it. I suppose that small arc of revolution had been building for years but it struck me as crossing a threshold to a more explicit, self‑conscious stage about that time. Regards, Jon cc: https://www.academia.edu/community/5NxByY cc: https://mathstodon.xyz/@Inquiry/112118937415855334

5 months, 3 weeks

1
2
0 0

MOVE24

by Polovina, Simon (BTE)

The Second International Measuring Ontologies for Value Enhancement Workshop (MOVE24): https://sysaffairs.org/move/move24-cfp Call for Papers and Presentations (Online) Date: 14-15 June 2024 (two days) Deadline for submissions: April 30th, 2024 Workshop papers and presentations will be published online open-access by ILEnA. Selected and extended papers from the workshop will be published in a peer-reviewed special MOVE volume of the Journal of Artificial Intelligence and Applications (AIA). We look forward to you joining our emerging community! Simon (co-organiser) http://www.polovina.me.uk

5 months, 3 weeks

1
0
0 0

Four branches of existential graphs: Alpha, Beta, Gamma, Delta

by John F Sowa

To refresh my memory, I reread Peirce's Lowell Lectures about Gamma graphs. And the following passage from Lecture V (NEM 3, p. 365) explains what he meant in L376 when he said that he would keep the Gamma division: "I must begin by a few words concerning gamma graphs; because it is by means of gamma graphs that I have been enabled to understand these subjects... In particular, it is absolutely necessary to representing the reasoning about these subjects that we should be able to reason with graphs about graphs and thus that we should have graphs of graphs." That explains the issues we have been debating recently. Peirce had recognized the importance of graphs of graphs when he wrote "The better exposition of 1903 divided the system into three parts, distinguished as the Alpha, the Beta, and the Gamma, parts; a DIVISION I shall here adhere to, although I shall now have to add a Delta part in order to deal with modals", That division would require some version of metalanguage for specifying modality and higher-order logic. But it does NOT imply all (or any) details that he happened to specify in 1903. Since he had earlier specified a version of metalanguage in 1898 (RLT), he had previously recognized the importance of metalanguage. The examples in the Lowell lectures are similar to his 1898 version. Since he never again used the details he specified in 1903 in any further MSS, it's unlikely that he would revive them in 1911. The only feature he was reviving was the use of metalanguage. The 1898 version was just as good as anything he specified in 1903. Since it was simpler than the Gamma graphs, that would make it better. In fact, Peirce mentioned another version of metalanguage in R514 (June 1911) that was logically equivalent and syntactically similar to what he was writing in L376 (December 1911). The novel features of L376 are sufficiently advanced to qualify as a fourth branch of EGs. But they require a bit more explanation. As I said before, they depend critically on the expertise of Allan Risteen. For that information, see the references to Risteen that are listed in the index to EP2. And the applications discussed in L376 have strong resemblances to the applications of the very similar IKL logic in 2006. For those, see the brief discussion and detailed references in https://jfsowa.com/ikl . I'll write more about these topics in another note later this week. John

5 months, 3 weeks

1
0
0 0

Pragmatic Semiotic Information

by Jon Awbrey

Pragmatic Semiotic Information • 1 • http://inquiryintoinquiry.com/2024/03/03/pragmatic-semiotic-information-1/ All, Information • What's it good for? The good of information is its use in reducing our uncertainty about an issue which comes before us. But uncertainty comes in many flavors and so the information which serves to reduce uncertainty can be applied in several ways. The situations of uncertainty human agents commonly find themselves facing have been investigated under many headings, literally for ages, and the categories subtle thinkers arrived at long before the dawn of modern information theory still have their uses in setting the stage of an introduction. Picking an example of a subtle thinker almost at random, the philosopher‑scientist Immanuel Kant surveyed the questions of human existence within the span of the following three axes. • What's true? • What's to do? • What's to hope? The third question is a bit too subtle for the present frame of discussion but the first and second are easily recognizable as staking out the two main axes of information theory, namely, the dual dimensions of “information” and “control”. Roughly the same space of concerns is elsewhere spanned by the dual axes of competence and performance, specification and optimization, or just plain knowledge and skill. A question of what's true is a “descriptive question” and there exist what are called “descriptive sciences” devoted to answering descriptive questions about any domain of phenomena one might care to name. A question of what's to do, in other words, what must be done by way of achieving a given aim, is a “normative question” and there exist what are called “normative sciences” devoted to answering normative questions about any domain of problems one might care to address. Since information plays its role on a stage set by uncertainty, a big part of saying what information is will necessarily involve saying what uncertainty is. There is little chance the vagaries of a word like “uncertainty”, given the nuances of its ordinary, poetic, and technical uses, can be corralled by a single pen, but there do exist established models and formal theories which manage to address definable aspects of uncertainty and these do have enough uses to make them worth looking into. Regards, Jon cc: https://www.academia.edu/community/VBP2Jz cc: https://mathstodon.xyz/@Inquiry/112032763420333668

5 months, 4 weeks

1
9
0 0

Artificial empathy by a central executive

by John F Sowa

In my previous note, I forgot to include a link to the updated (March 8} slides for my talk on March 6. Here is the URL: https://ontologforum.s3.amazonaws.com/OntologySummit2024/TrackA/LLMs-are-cl… . I also received an offline note about a linguistic theory that emphasizes semantics rather than syntax: The method of Generative semantics by Seuren, https://www.mpi.nl/sites/default/files/2020-07/Seuren_Abralin_Article_2020.… . Other linguists and computational linguists have proposed, developed, and/or implemented related versions. Methods that emphasize semantics have been used in conjunction with ontology to correct and avoid the errors and hallucinations created by LLMs. For critical applications, 99% correct can be a disaster. Nobody wants to fly in an airplane that has a 1% chance of crashing. LLMs are very good for translating linear languages and notations. But when accuracy is essential, precise semantics is much more important than elegant syntax. I also want to emphasize Section 3. That begins with slide 32, which has the title Neuro-Cognitive Cycles. The word 'cognitive' is much more general than 'symbolic', since it includes images as well as linear notations for language. Note slide 7, which shows an image in the mind of a policeman, and the attempt by a man who is trying to reconstruct an image from a verbal explanation. In slide 24, I added a picture of a baby who is using sign language. For multi-dimensional topics, a sign language can be more detailed and precise that a spoken language. This section also emphasizes Peirce's methods of reasoning in Slides 33 and 34, and their applications in the remaining slides. Slide 35 on the Central Executive, as defined by neuroscientists, shows how to avoid the errors, hallucinations, and dangers created by the Large Language Models (LLMs): Include a Central Executive, which has the responsibility and the power to evaluate any proposed language or actions and revise or reject those that may be erroneous or even dangerous. Also note slide 39 on "Wicked Problems"; slide 40, which explains "Why Humans are not obsolete; and Slide 41, which asks whether there is "A Path to AGI?" The answer to that question is joke by George Burns, which might be taken seriously. That reminds me of a remark by Ludwig Wittgenstein: "It's possible to write a book on philosophy that consists entirely of jokes." A Zen Buddhist could write a book on religion that consists entirely of jokes. Depending on the definition of 'joke', somebody might say that they have. John

6 months

2
1
0 0

Peirce's Letter to Risteen (was Higher-Order Logics)

by John F Sowa

Jon, I'll go into much more detail in the preview article, which I am now working on. I'll just respond to the following point: JAS: Your quotation here omits the crucial first part of the only sentence in R L376 that mentions Delta--"The better exposition of 1903 divided the system into three parts, distinguished as the Alpha, the Beta, and the Gamma, parts; a division I shall here adhere to, although I shall now have to add a Delta part in order to deal with modals." I answered that before: Peirce is not saying that he is preserving the details of the 1903 logics. He is saying that he is preserving that DIVISION into Alpha (propositional logic), Beta (predicate logic), and Gamma (something beyond Alpha and Beta). The most significant Gamma graphs are the the ones that represent the second-order version of his 1885 Algebra of Logic. He had reviewed Russell's logic of 1903, and he must have heard about (but didn't have time to study) Whitehead & Russell's logic of 1910. Both of them discussed higher-order logic (second order and higher), but not modal logic. During the years after 1903, Peirce mentioned the modal words in English many, many times. And he experimented with new notations for modality, but he never used or even mentioned his 1903 modal logic for any purpose. In fact, he had only used it for a few examples in 1903. But the most important evidence is to look at the developments in the years after Peirce. C. I. Lewis introduced a new version of propositional modal logic in 1932, which had been inspired by Peirce's 1903 modal logic. It was different from Peirce's version, but equivalent in expressive power to the propositional subset of his modal logic of 1903. During the 30 or 40 years after 1932, many logicians built on that logic. But many others (Quine among them) rejected it. Quine correctly said that modal logic was just a version of metalanguage about logic. Other logicians criticized it or ignored it altogether. Very few did much with it after the 1960s. From the 1970s and later, new versions of logic were developed to handle modal issues, but (a) they did not use the box and diamond operators for modality; (b) they used different words. such as contexts, situations, or domains; and (c) they combined predicate calculus with metalanguage, as Peirce did in L376. In my preview of the Delta graph article, I'll explain these issues in more detail and discuss the directions taken in 1973 and later. Short summary: All the useful applications are based on some version of metalanguage, along the lines of the December 1911 article. Logics that use the two operators for necessary and possible, have no practical applications of any kind. Peirce had good taste and good insights into the kind of logic required for problems in philosophy, science, and engineering. Metalanguage is the foundation for all useful modal reasoning in the 21st C. Textbooks still mention the Lewis-style of modal logic, but there are no applications to any kind of practical applications. Summary: Any version of mathematics and/or logic that has no applications is. literally, useless. There are many such versions in the many years of published tomes. And most of them have few or no citations. On rare occasions, something from the distant past is revived and becomes a big success. Peirce has an unusually large percentage of successful revivals. His Delta graphs are among them. I recognized their importance, because I have used and worked with similar logics from the late 20th and early 21st C. John ---------------------------------------- From: "Jon Alan Schmidt" <jonalanschmidt(a)gmail.com> Sent: 3/11/24 9:07 PM To: Peirce-L <peirce-l(a)list.iupui.edu> Subject: [PEIRCE-L] Peirce's Letter to Risteen (was Higher-Order Logics) John, List: JFS: For convenience, see the attached Delta376.txt. I appreciate the complete transcription, although it would still be very helpful if you could quote specific sentences that you interpret as supporting each of your claims. JFS: I believe that there is no way to interpret that text without acknowledging the fact that it is the beginning of a specification of Delta graphs. Note the ending of the second paragraph: "I shall now have to add a Delta part in order to deal with modals. A cross division of the description which here, as in that of 1903, is given precedence over the other is into the Conventions, the Rules, and the working of the System." Your quotation here omits the crucial first part of the only sentence in R L376 that mentions Delta--"The better exposition of 1903 divided the system into three parts, distinguished as the Alpha, the Beta, and the Gamma, parts; a division I shall here adhere to, although I shall now have to add a Delta part in order to deal with modals." Accordingly, I believe that there is no way to interpret the 19 extant pages of this letter as the beginning of a specification of (only) Delta graphs. On the contrary, Peirce plainly states his intention to describe all four parts of EGs, but he never gets around to explaining their differences, let alone dealing with modals or discussing anything else that is unique to the new Delta part. JFS: Then the paragraph immediately after that begins "The Conventions." And it continues with a specification of the conventions for something. I cannot imagine that the "something" is anything other than Delta graphs. Your failure of imagination is not dispositive. Can you identify even one sentence from the entire section on "The Conventions"--or, for that matter, the rest of the letter--that is about EGs but not applicable to Alpha, Beta, and Gamma? JFS: Note the later discussion about different "parts" of the phemic sheet, which may be asserted and interpreted in different ways. Peirce states, "For they two [utterer and interpreter] may conceive that the 'phemic sheet' embraces many papers, so that one part of it is before the common attention at one time and another part at another, and that actual conventions between them equivalent to scribed graphs make some of those pieces relate to one subject and part to another." As I have noted before, the different parts relate to different subjects to which both parties pay attention at different times--equivalent what Peirce describes in previous texts such as R 280 (c. 1905) and CP 4.561n (1908), both of which I quoted last week (https://list.iupui.edu/sympa/arc/peirce-l/2024-03/msg00004.html). As such, this concept is fully applicable to Alpha, Beta, and Gamma EGs--it does not exclusively "deal with modals," and thus is not unique to Delta EGs. JFS: That is why metalanguage must be used to state the many kinds of modality that Peirce discusses in the attached text. Peirce indeed briefly discusses modality in R L376, but he does not address how to represent and reason about modal propositions using EGs, which is his only stated reason for needing a Delta part. JFS: But the original MS, a copy of which you included in your note, had a thin line that connected the oval to the word 'is'. I suspect that who drew that diagram thought that the thin line between the oval and the word 'is' was just part of the word 'is'. But in his handwiriting, Peirce never drew a line in front of an initial letter 'i'. Therefore, that graph was mistakenly drawn. Thank you for correcting my mistake. I noticed that line, drawn even more lightly than the one in the first EG on RLT 151, but assumed that it was part of Peirce's cursive "i"--just as Ketner evidently did. However, after looking at a few other manuscripts, I agree that Peirce generally did not include such a line when handwriting "i" as the first letter of a word, so there is indeed a lightly drawn line connecting the oval (containing a proposition) to the rheme (whose blank that proposition fills). Of course, I already brought to your attention his similar notation in a later manuscript--R 492 (1903), erroneously reproduced in CP 4.471 but corrected by both Roberts and Pietarinen--where the oval and line are dotted instead of lightly drawn (https://list.iupui.edu/sympa/arc/peirce-l/2024-02/msg00141.html). This notation in Gamma EGs asserts a proposition about a proposition, but there is no hint of anything like it in R L376 (nor R 514). Regards, Jon Alan Schmidt - Olathe, Kansas, USA Structural Engineer, Synechist Philosopher, Lutheran Christian www.LinkedIn.com/in/JonAlanSchmidt / twitter.com/JonAlanSchmidt On Mon, Mar 11, 2024 at 3:56 PM John F Sowa <sowa(a)bestweb.net> wrote: Jon, Jeff, Gary, List, I am now writing the article on Delta graphs. In a few days, I'll send a preview. For convenience, see the attached Delta376.txt. (Since Peirce's paragraphs tend to be very long, I added some additional paragraph breaks,) I believe that there is no way to interpret that text without acknowledging the fact that it is the beginning of a specification of Delta graphs. Note the ending of the second paragraph: "I shall now have to add a Delta part in order to deal with modals. A cross division of the description which here, as in that of 1903, is given precedence over the other is into the Conventions, the Rules, and the working of the System." Then the paragraph immediately after that begins "The Conventions." And it continues with a specification of he conventions for something. I cannot imagine that the "something" is anything other than Delta graphs. (That paragraph break, by the way, is Peirce's.) Note the later discussion about different "parts" of the phemic sheet, which may be asserted and interpreted in different ways. That is why metalanguage must be used to state the many kinds of modality that Peirce discusses in the attached text. John I'll also mention that three people misinterpreted the two diagrams on p. 151 of RLT -- you, me, and Ken Ketner. I misinterpreted the first diagram as having a line of identity between an oval that encloses the sentence "You are a good girl". With that interpretation, it would assert "There exists a proposition that you are a good girl, and that proposition is much to be wished." But you correctly noticed that the line is so thin that it cannot be interpreted as a line of identity. Peirce did not state any reading for that complete EG. Therefore, I read it as asserting a complete grammatical sentence "That you are a good girl is much to be wished. That assertion is correct. It is logically equivalent to the above reading, but it is not syntactically equivalent to it. Then Ken Ketner (or somebody else who drew the second EG) did not show an attached line between the oval and the verb phrase "is false." But the original MS, a copy of which you included in your note, had a thin line that connected the oval to the word 'is'. I suspect that who drew that diagram thought that the thin line between the oval and the word 'is' was just part of the word 'is'. But in his handwiriting, Peirce never drew a line in front of an initial letter 'i'. Therefore, that graph was mistakenly drawn. Neither you nor Ken noticed that error. You did mention that Peirce had not introduced the convention of using an oval for negation until the next example. That is true, but it does not excuse the mistake of not noticing the thin line that connects the previous oval to the word 'is. There is much more to say, and I'll include it in the preview, which I plan to send in the next few days. John In that case, I believe that the thin line implies that the proposition in the oval is a THING that is the subject of the verb phrase "is much to be wished."

6 months

1
0
0 0

2024

2023

2022

2021

CG March 2024