6 ms·

I have an applied math background. What resources are recommend to understand the symbols used here?

• deleted 7y ago
  [deleted]
• trobertson 7y ago
  The base notation is from formal logic. A (dense) overview of first-order logic can be found on this wikipedia page: https://en.wikipedia.org/wiki/First-order_logic https://en.wikipedia.org/wiki/First-order_logic It's much nicer to get slowly walked through it with a textbook, but I'm blanking on the name of the book I used.
  • elegaphant 7y ago
    Thanks trobertson. This may be what I need. So, may I presume that the notation of (Prof) Carl Hewitt’s Direct Logic is consistant with that of First-Order Logic?
    • ProfHewitt 7y ago
      Actually, the notation used above is for strongly-typed higher-order theories. See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3459566 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3459566
  • eindiran 7y ago
    Here is a free text book that covers most of the notation, except the quantifiers, around page 30 or so: https://www.textbookequity.org/Textbooks/Magnus_forallx.pdf https://www.textbookequity.org/Textbooks/Magnus_forallx.pdf For the quantifiers, check out the Wikipedia page here: https://en.m.wikipedia.org/wiki/Quantifier_(logic) https://en.m.wikipedia.org/wiki/Quantifier_(logic) For deeper coverage, the section on first order logic here is quite good: https://www.amazon.com/Introduction-Montague-Semantics-Synthese-Language/dp/9027711429 https://www.amazon.com/Introduction-Montague-Semantics-Synth...