{ "version": "https://jsonfeed.org/version/1", "title": "first-order logic on Notes On Attention Paid", "icon": "https://avatars.micro.blog/avatars/2024/38/74384.jpg", "home_page_url": "https://www.notesonattentionpaid.com/", "feed_url": "https://www.notesonattentionpaid.com/feed.json", "items": [ { "id": "http://mbkriegh.micro.blog/2021/08/26/bertrand-russell-the.html", "content_html": "

Bertrand Russell, The Analysis of Matter

\n

… as indicated yesterday, having finished the first chapter in the book, i am using what time i have through Saturday to review and/or deepen my understanding of concepts and definitions…

\n

… i just finished a wikipedia entry discussing the philosophical definition of a “proposition”… i learn that in logic and linguistics, a proposition is the meaning of a declarative sentence… and that in philosophy, meaning is a non-linguistic entity shared by all sentences with the same meaning…why do we need logic?

\n

… i move on to a definition and discussion of propositional calculus in Wikipedia, which has me jumping to a definition of first-order logic, or logic that uses quantified variables rather than non-logical objects and sentences that contain variables… there exists x such that x is Socrates and x is a man1

\n

… higher-order logic and second-order logic encountered while reading about first-order logic, so i get interested in logic in general, which is defined as: an interdisciplinary field which studies truth and reasoning.2

\n
\n
\n
    \n
  1. \n

    Wikipedia: https://en.wikipedia.org/wiki/First-order_logic ↩︎

    \n
    2. \n
  2. \n

    Wikipedia: https://en.wikipedia.org/wiki/Logic ↩︎

    \n
    3. \n
\n
\n", "date_published": "2021-08-26T02:53:08-07:00", "url": "https://www.notesonattentionpaid.com/2021/08/26/bertrand-russell-the.html", "tags": ["bertrand russell","propositional logic","propositional calculus","second-order logic","analysis of matter","first-order logic","higher-order logic","proposition","logic"] } ] }