Anyone wants to learn logic?

  • 124 Replies
  • 12226 Views
*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #45 on: December 12, 2018, 01:31:11 pm »
Yay I get it now.
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #46 on: December 12, 2018, 02:02:12 pm »
"I'm not going to not pick you".(two negatives in English) = positive...You are going to get picked

I am hungry and full.......................I am hungry I am not hungry..................she is god I am god

cancel out self destruct annihilation

contradictions are futile!
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #47 on: December 12, 2018, 03:58:15 pm »
Got any more tricks like that double negatives one you can explain? Especially the more deeper ones that I may not be able to witness in the deeper chapters since I'm derailing it a big now.
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1721
    • mind-child
Re: Anyone wants to learn logic?
« Reply #48 on: December 12, 2018, 05:21:33 pm »
Seriously, the most interesting chapters are 11: induction and 12: resolution (deduction). It's up to you.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #49 on: December 12, 2018, 05:35:46 pm »
in chapters 1-4 or so, is it true they are saying we are discovering sentence x is like sentence y by their truths being similar? I don't think that's a good way to do that..."I can drive and sit" is not "pigs look very pink and cute" even though it looks like 1 & 1, 1 & 1

This reasoning/deduction, is using truth, or something other? Explain the main ingredient...
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1721
    • mind-child
Re: Anyone wants to learn logic?
« Reply #50 on: December 12, 2018, 05:38:56 pm »
Induction is discovering new truths. Deduction is extracting all the possible implicitly contained truths.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #51 on: December 12, 2018, 06:41:38 pm »
Ok. I took a fast scan of the site. You may know I analyze each word in the Lessons so to not miss 'anything', and so right now I did a fast heuristic and didn't listen to my old way for the time being. The chapters seem to be named and there's a pattern: PROPOSITIONAL Logic>Analysis>Proofs>Resolution, then RELATIONAL, then HERBRAND, below I give a brief summary of them, which may only make sense if you read it all below. I know they all don't have Analysis etc but it's, close. Can you tell me if this is close to correct, or fix it/rewrite it, or give me your own summary of the chapters?

PROPOSITIONAL - facts, etcetcetc.
Chapter1Logic - taking facts
Chapter2Analysis - looking at what they are (truths etc) 101011010010
Chapter3Proofs - comparison!!! faster way! comparing premises to conclusion proof, why 2 facts are 'same'/identical
Chapter4Resolution - a faster way

RELATIONAL - faster, looking at *individual sentences
Chapter5Logic - looking at *individual sentences
Chapter6Analysis - if we do that, then here's how to look at their truths etc
Chapter7Proofs - comparing premises to conclusion proof
Chapter8Resolution - a faster way

HERBRAND - how to but with any possible terms in an infinite language
Chapter9Logic - howto
Chapter10Analysis - howto
Chapter11Proofs - howto
Chapter12Resolution - howto
-------it seems they start using trees/hierarchies in Herbrand?

I don't think this does justice over the tricks in the lessons but it should do justice in explaining the overview of it all.

Soooo, in essence it says Herbrand is the better of the 3 ways? And it's all about taking a set of sentences and entailing it to the conclusion?
    What is the goal, and the next shallow goals? To discover mini facts? Facts? What is true/false? How? Using premises. How?
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1721
    • mind-child
Re: Anyone wants to learn logic?
« Reply #52 on: December 12, 2018, 06:49:05 pm »
This is the part I was talking about before. After learning some logic, you are left to yourself to connect pieces on your own, or to learn more in a hope to get answers. Going further into details brings less and less people who can answer your questions. I'm afraid I'm reaching that set of people who are unable to answer.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #53 on: December 12, 2018, 06:54:12 pm »
Could it be said that, once you know Propositional Logic (chapters 1-5), you really get the just idea of what entails in Relational and Herbrand (the later chapters) even if the way is very different? It's re-iterating the same goal, but by different method, right?
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #54 on: December 12, 2018, 07:01:06 pm »
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #55 on: December 12, 2018, 07:22:58 pm »
see png

IOW, having read chapters 1-5, I already have been from start-to-finish of the concept?
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1721
    • mind-child
Re: Anyone wants to learn logic?
« Reply #56 on: December 12, 2018, 07:24:11 pm »
Yes, relational logic described in the Stanford material is predicate (first order) logic, and it is extension of propositional logic. Higher order logic is an extension of first order logic, but it brings some of undecidability regarding to first order logic (I don't know the details).

Unfortunately, I don't know much about Herbrand logic.

But, see Herbrand's theorem for connection between propositional and predicate logic. I'm using something similar in my own research.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #57 on: December 12, 2018, 07:45:36 pm »
Boolean Logic
Propositional Logic
Predicate Logic
First Order Logic
Relational Logic
Second Order Logic
Higher Order Logic
Herbrand Logic

https://en.wikipedia.org/wiki/Logic

gotta get sleep, be back tommorow
« Last Edit: December 13, 2018, 07:58:41 am by LOCKSUIT »
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #58 on: December 13, 2018, 07:05:34 am »
"if" switches false to true, and true to true, else you have this issue:

"If pigs fly then I will freak." Here we have a problem with their theory. If 'if' negates then it will mess up the truth of "If I'm served food then I begin eating.", whereas if 'if' doesn't negate then it makes "If pigs fly then I will freak." false when it should be true. Solution is my way. Node "pigs fly" is false but saved as true so you can speak it, "If pigs fly" is true saved, and both top nodes of these 2 in quotes are true too as long as seen as valid even if contain wrong. If anything, 'if' is a flipper that makes false/true things true. Ok. But I still believe my way. I believe the sentence is true based on its validation process even if has a wrong in it - not by the sum of its truths.
Emergent          https://openai.com/blog/

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Trusty Member
  • **********************
  • Colossus
  • *
  • 5865
Re: Anyone wants to learn logic?
« Reply #59 on: December 13, 2018, 01:35:26 pm »
IF is a Function that allows one to make a comparison by testing for a condition to be either True or False.
THEN basically satisfies the argument.

IF the result of Column A >27 THEN goto or use Column B
or
IF your guess is red THEN you get $100 else you get no $$
In the world of AI, it's the thought that counts!

 


OpenAI Speech-to-Speech Reasoning Demo
by MikeB (AI News )
March 15, 2024, 08:14:02 am
Google Bard report
by ivan.moony (AI News )
February 14, 2024, 04:42:23 pm
Elon Musk's xAI Grok Chatbot
by MikeB (AI News )
December 11, 2023, 06:26:33 am
Nvidia Hype
by 8pla.net (AI News )
December 06, 2023, 10:04:52 pm
How will the OpenAI CEO being Fired affect ChatGPT?
by 8pla.net (AI News )
December 06, 2023, 09:54:25 pm
Independent AI sovereignties
by WriterOfMinds (AI News )
November 08, 2023, 04:51:21 am
LLaMA2 Meta's chatbot released
by 8pla.net (AI News )
October 18, 2023, 11:41:21 pm
AI-Generated Art Cannot Receive Copyrights
by frankinstien (AI News )
August 24, 2023, 08:49:45 am

Users Online

184 Guests, 0 Users

Most Online Today: 248. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles