4 ms·
> So how can I compare the multiline Hs->~Ms with a ~(Hs->Ms) that has the same newline behavior? I was wondering about that, too, but I could only figure out
by kmill 9y ago
> So how can I compare the multiline Hs->~Ms with a ~(Hs->Ms) that has the same newline behavior?
I was wondering about that, too, but I could only figure out putting it all on one line.
> Is this syntax based on the syntax used in some scientific field?
I think the quantifier notation is vaguely Peano's original notation, and I think the idea of having HYPOTHESES -> CONCLUSIONS is sort of a Coq-like "above-the-line and below-the-line" thing, or maybe it's that way because it's optimized for syllogisms. Other than that, I've never seen a logic language quite like this one before.
Something I'd like to see someday is a Scratch-like snap-together logic and proof language. I toyed with the idea when I was teaching a discrete math course, but I didn't have time to develop one.
- cachvico 9y agoIt's the propositional calculus - https://en.wikipedia.org/wiki/Propositional_calculus https://en.wikipedia.org/wiki/Propositional_calculus
- kmill 9y agoIt has quantifiers so it would be predicate calculus (first-order logic) - https://en.wikipedia.org/wiki/First-order_logic https://en.wikipedia.org/wiki/First-order_logic I thought the question was more about the syntax of the logic language (which I think is rather idiosyncratic), but I can see that maybe they were asking about the relevant part of math. (It might be worth noting that the webapp is not exactly first-order logic because it has some extra operators from modal logic.)
- sundarurfriend 9y ago> Other than that, I've never seen a logic language quite like this one before. One part of the documentation[1] implies it was a language designed by the project's creator himself: """ The language this tool uses is a kind of symbolic logic. It was designed with these criteria in mind: The language should only use basic SCII characters which are available on a standard English keyboard, so typing expressions in the language is easy. The language should be terse in such a way that it is fast to type but not generally difficult to read. The language should enable a person to arrange expressions in such a way that they are readable. The symbols defined in the language should have a precedent in other languages. The symbols in this language are borrowed from conventional symbolic logic, conventional mathematical notation, and the C programming language. """ [1] http://somerby.net/mack/logic/documentation.html#the_language http://somerby.net/mack/logic/documentation.html#the_languag...