Search
84 results for “josd”
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
@josd I'm blushing 😊 Thank you for that strong compliment about log:complement as negation in RDF/N3 !
-
A program I worked on all through the 80s implemented a propositional modeler based on #Peirce's #LogicalGraphs, improving the efficiency of the Alpha level through the use of #MinimalNegationOperators. There's a collection of articles, blog posts, and group discussions about that linked on the following page.
#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ -
A program I worked on all through the 80s implemented a propositional modeler based on #Peirce's #LogicalGraphs, improving the efficiency of the Alpha level through the use of #MinimalNegationOperators. There's a collection of articles, blog posts, and group discussions about that linked on the following page.
#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ -
A program I worked on all through the 80s implemented a propositional modeler based on #Peirce's #LogicalGraphs, improving the efficiency of the Alpha level through the use of #MinimalNegationOperators. There's a collection of articles, blog posts, and group discussions about that linked on the following page.
#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ -
A program I worked on all through the 80s implemented a propositional modeler based on #Peirce's #LogicalGraphs, improving the efficiency of the Alpha level through the use of #MinimalNegationOperators. There's a collection of articles, blog posts, and group discussions about that linked on the following page.
#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
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/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
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/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
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/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
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/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
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/ -
I signed on to the group and list. I don't know if you'd be interested in a side- or sub-project focusing on the propositional layer as I have done some work on #Peirce's #AlphaGraphs and his #LogicOfRelatives.
-
@bblfish @josd @semwebpro @hochstenbach
One thing I found out early on is how critical it is to get #AlphaGraphs (#BooleanFunctions, #PropositionalCalculus, #ZerothOrderLogic) down tight. If you do that it changes how you view #FOL (#PredicateCalculus, #QuantificationalLogic). That tends to rub people who view FOL as #GOL (#GodsOwnLogic) the wrong way so you have watch out for that if you go down this road.
Here's a primer on \(\alpha\) #LogicalGraphs as I see them —
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no -
@bblfish @emondb @hochstenbach @josd @w3c
ICYMI —
• https://lists.w3.org/Archives/Public/public-rdfsurfaces/2023Feb/0004.html“Putting logic on the web changes logic itself”
— Pat HayesThat could almost be the motto for all the work I've been doing on logical graphs for the last 50+ years.
Everything changed when I started putting what little I was incrementally learning about programming to work on what little I was gradually learning about logic and then everything took off when I ran into #Peirce's work on #LogicalGraphs.
-
@Inquiry @w3c @emondb @hochstenbach @josd
But yes, I think it should be fine to post your findings on Peirce to the #RDFSurfaces mailing list. That is a good way to make sure it can be referred to later. -
@Inquiry @w3c @emondb @hochstenbach @josd
#RDFSurfaces is a @w3c community group. It is relatively easy to set those up. They don't get access to full WG support, so it very much depends on how well they organise themselves. With the high requirements of understanding RDF, Peirce and Logic, I think the group should be high quality and self-selecting.
The group just got started. -
@bblfish @emondb @hochstenbach @josd @w3c
One question about the #RDFSurfaces list before we go any further — is it intended to be an actual working group or just for announcements?
-
@bblfish @emondb @hochstenbach @josd @w3c
I'm starting to lose track of all the different discussions in various venues. I'll put a #RDFSurfaces tag on this in hopes of being able to find it again.
I do remember discussing #Peirce and #LogicalGraphs and #CategoryTheory and #DigrammaticReasoning et cetera with Henry in one of the Zulip chatrooms a year, or maybe two ago ...
I'll repost some of what I wrote on the W³C list for anyone who may have missed it.
-
@emondb @hochstenbach @bblfish @josd
Hi Bruno,
I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.
