Anyone wants to learn logic?

  • 124 Replies
  • 14414 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 #75 on: December 20, 2018, 01:02:21 pm »
Now I completely understand induction and deduction and abduction.

Ind/Ded:
For all, for some, and for a related.
« Last Edit: December 20, 2018, 04:22:06 pm 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 #76 on: December 20, 2018, 02:18:30 pm »
Inductive Reasoning:
Jennifer leaves for school at 7:00 a.m. Jennifer is always on time. Jennifer assumes, then, that she will always be on time if she leaves at 7:00 a.m.
Every windstorm in this area comes from the north. I can see a big cloud of dust caused by a windstorm in the distance; so, a new windstorm is coming from the north.
Bob is showing a big diamond ring to his friend Larry. Bob has told Larry that he is going to marry Joan. Bob has bought the diamond ring to give to Joan.
The chair in the living room is red. The chair in the dining room is red. The chair in the bedrrom is red. All chairs in the house are red.
Every time you eat peanuts, your throat sweels up and you can't breath. So, you are allergic to peanuts.
Two-thirds of the students at this college receive student aid. Therefore, two-thirds of all college students receive student aid.
Michael just moved here from Chicago. Michael has red hair, therefore people from Chicago have red hair.
John is an excellent swimmer. John's family has a swimming pool. John's sister Mary must also be an excellent swimmer.
All children in the day care center like to play with Legos. All children, therefore, enjoy playing with Legos.
Ray is a football person. All football persons weigh more than 170 pounds. Ray weighs more than 170 pounds.
All observed houses on the South Street are falling apart. Sherry lives on South Street. Her house is falling apart.
&
~All observed small people are right-handed, therefore all right-handed are small people and all small people are right-handed.
John and Joe are friends. John likes to sing, write and read. Joe likes to sing and write. Therefore one assumes that Joe also likes to read.
~Every time John eats shrimp, he gets cramps, and therefore he assumes that he gets cramps because he eats shrimp.
~John is an amazing athlete. So John's son too will go on to become an amazing athlete.
~When chimpanzees are exposed to rage, they tend to become violent. Humans are similar to chimpanzees, and therefore they tend to get violent when exposed to rage.
~The woman in the neighboring apartment has a shrill voice. I can hear a shrill voice from outside. There is a high probability that the woman in the neighboring apartment is shouting.
~All the dogs which were subjected to routine diagnosis had fleas, so one concludes that all the dogs have fleas.
~The Philadelphia Falcons have won their last four matches in a one-sided contest, and therefore their fans conclude that the Falcons will win their fifth match as well.
~Every time you get a call from some unknown number, you find a telemarketer on the other side of the line. It makes you conclude that if it's an unknown call, it is most likely to be a telemarketer.
~You see a dog chasing a cat in your neighborhood a couple of times, and start believing that the two animals cannot be kept in one house.
~A few episodes of a particular sitcom make you laugh, and you conclude that the said sitcom is very funny.
~100 pens are kept in front of you. On checking the first 10 pens, you note that 5 had black ink and 5 had blue ink, and therefore you conclude that half of the 100 pens are black and half are blue.

Deductive Reasoning :
In mathematics, If A = B and B = C, then A = C.
Since all humans are mortal, and I am a human, then I am mortal.
All dolphins are mammals, all mammals have kidneys; therefore all dolphins have kidneys.
Since all squares are rectangles, and all rectangles have four sides, so all squares have four sides.
If Dennis misses work and at work there is a party, then Dennis will miss the party.
All numbers ending in 0 or 5 are divisible by 5. The number 35 ends with a 5, so it is divisible by 5.
To earn a master's degree, a student must have 32 credits. Tim has 40 credits, so Tim will earn a master's degree.
All birds have feathers and robins are birds, so robins have feathers.
It is dangerous to drive on icy streets. The streets are icy now so it is dangerous to drive now.
All cats have a keen sense of smell. Fluffy is a cat, so Fluffy has a keen sense of smell.
Snakes are reptiles and reptiles are cold-blooded; therefore, snakes are cold-blooded.
Cacti are plants and all plants perform photosynthesis; therefore, cacti perform photosynthesis.
Red meat has iron in it and beef is red meat, so beef has iron in it.
Acute angles are less than 90 degrees and this angle is 40 degrees so this angle is acute.
All noble gases are stable and helium is a noble gas, so helium is stable.
Magnolias are dicots and dicots have two embryonic leaves; therefore magnolias have two embryonic leaves.
Elephants have cells in their bodies and all cells have DNA, so elephants have DNA.
All cars have at least two doors and a Ford Focus is a car, so the Ford Focus has at least two doors.
All horses have manes and the Arabian is a horse; therefore Arabians have manes.
&
Other Patterns of Deductive Reasoning:
Some deductive reasoning does not follow the classic reasoning pattern of A = B and B = C, then A = C. Some examples of other patterns are:
Be careful around bees, they might sting you. (The reasoning is understood that all bees might sting.)
It takes me an hour to get to the mall. If I leave at five o'clock I will reach the mall by six o'clock.
That dog is growling so be careful or you might get bitten. (It is logical is the dog is angry, he might bite.)
The apple hit me on the head because of gravity.
There are three people in my family. Each one is tall, so everyone in my family is tall.
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 #77 on: December 20, 2018, 03:09:51 pm »
rich hang with rich
trash hang with trash
relatives hang with relatives
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
« Last Edit: December 20, 2018, 11:30:29 pm by LOCKSUIT »
Emergent          https://openai.com/blog/

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1454
  • Look into my eyes! WOAH!
    • YouTube
Re: Anyone wants to learn logic?
« Reply #79 on: December 21, 2018, 10:41:58 am »
Everything is true... it's true that something is false.

 :)
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

*

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 #80 on: December 21, 2018, 10:50:14 am »
Yes that's what i say, "lions don't fly" is true, "lions fly" shouldn't be saved since false.
Emergent          https://openai.com/blog/

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1454
  • Look into my eyes! WOAH!
    • YouTube
Re: Anyone wants to learn logic?
« Reply #81 on: December 21, 2018, 11:06:40 am »
But.... 'Lions fly' has to also be saved, otherwise how will the AI know it's false.

At the lowest level of abstraction everything is true.

 :)
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

*

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 #82 on: December 21, 2018, 11:19:58 am »
True.

I say that too.
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 #83 on: December 21, 2018, 01:38:55 pm »
Unless it is in a book about Fantasy or like Harry Potter where odd things can and do fly and other things that could never be true are suddenly true.
Perhaps it's akin to a parallel dimension or alternate universe.

Maybe sometimes false things are true. It largely depends upon which side of the mirror one is standing! O0
In the world of AI, it's the thought that counts!

*

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 #84 on: December 21, 2018, 02:09:39 pm »
My lion I am is sitting on the roof, eating korrelan, to computer bits, eating AI Dreams forum, and talking to Art 24/7, keeping secrets and telling lies, and it also told Freddy to be quite. The lion became Art. Earth split open and out came metal korr to go to Burger King and meet Hana the witch.

:p

Installing false beliefs lol.

Birds can fly.
Lions are blue, have 2 eyes, a mouth, and a brain.
Birds are blue, have 2 eyes, a mouth, and a brain.
Therefore lions can fly.
Emergent          https://openai.com/blog/

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1454
  • Look into my eyes! WOAH!
    • YouTube
Re: Anyone wants to learn logic?
« Reply #85 on: December 21, 2018, 03:13:30 pm »
It’s always true that something is false but never false that something is true.

It’s true 1 + 1 = 2 is true/ correct
It’s true 1 + 1 = 3 is false/ wrong

It’s false 1 + 1 = 2 is false/ wrong… is still true.

 ;D
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

*

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 #86 on: December 21, 2018, 04:40:17 pm »
My lion I am is sitting on the roof, eating korrelan, to computer bits, eating AI Dreams forum, and talking to Art 24/7, keeping secrets and telling lies, and it also told Freddy to be quite. The lion became Art. Earth split open and out came metal korr to go to Burger King and meet Hana the witch.

:p

Installing false beliefs lol.

Birds can fly.
Lions are blue, have 2 eyes, a mouth, and a brain.
Birds are blue, have 2 eyes, a mouth, and a brain.
Therefore lions can fly.

Com on Lock...A lot of things are similar in many ways much like people, but it is often our Differences that make us unique.

What is different between a bird and a lion?
A bird has wings and can fly.

Does a lion have wings and can fly?
NO.

There are many cultures, however, in which one might find a winged lion.
https://stillunfold.com/history/winged-lion-the-terrifying-mythical-creature-in-different-mythologies

To us, more modern people, most of us view these as merely myths so the notion is a Truth and Falsehood.
Or as Korr would say, "It is True that they are false."  O0
In the world of AI, it's the thought that counts!

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1729
    • mind-child
Re: Anyone wants to learn logic?
« Reply #87 on: December 21, 2018, 04:55:10 pm »
Speaking in terms of logic, we can say:

X -> False

which mean that statement X is false. Observing truthfulness, the whole statement is true, although we can't say just

X

because it would be false. Instead, we should write:

¬X


Anyway, In logic, It is possible to prove that from ¬X follows X -> False.

*

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 #88 on: December 21, 2018, 06:34:24 pm »
Art, it was a joke.

If you save "lions don't fly" and "lions fly"......you'd be saving ~L and L.....hence, you save both and rank the false very low in most cases, the other negated one is just words, too. It's positive lots though.
Emergent          https://openai.com/blog/

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1454
  • Look into my eyes! WOAH!
    • YouTube
Re: Anyone wants to learn logic?
« Reply #89 on: December 21, 2018, 06:54:09 pm »
@Ivan

Any statement that makes ‘human logical sense’ is ultimately true.

It’s the level of abstraction combined with our definition of true/ false that causes the ambiguity… and one of the main reasons why I believe we can’t base an AGI on human derived logic.

It’s a catch 22, you can’t use a higher level concept (true/ false) to describe the workings of the intelligence that devised the concept.

 :)
It thunk... therefore it is!...    /    Project Page    /    KorrTecx Website

 


Requirements for functional equivalence to conscious processing?
by DaltonG (General AI Discussion)
November 19, 2024, 11:56:05 am
Will LLMs ever learn what is ... is?
by HS (Future of AI)
November 10, 2024, 06:28:10 pm
Who's the AI?
by frankinstien (Future of AI)
November 04, 2024, 05:45:05 am
Project Acuitas
by WriterOfMinds (General Project Discussion)
October 27, 2024, 09:17:10 pm
Ai improving AI
by infurl (AI Programming)
October 19, 2024, 03:43:29 am
Atronach's Eye
by WriterOfMinds (Home Made Robots)
October 13, 2024, 09:52:42 pm
Running local AI models
by spydaz (AI Programming)
October 07, 2024, 09:00:53 am
Hi IM BAA---AAACK!!
by MagnusWootton (Home Made Robots)
September 16, 2024, 09:49:10 pm
LLaMA2 Meta's chatbot released
by spydaz (AI News )
August 24, 2024, 02:58:36 pm
ollama and llama3
by spydaz (AI News )
August 24, 2024, 02:55:13 pm
AI controlled F-16, for real!
by frankinstien (AI News )
June 15, 2024, 05:40:28 am
Open AI GPT-4o - audio, vision, text combined reasoning
by MikeB (AI News )
May 14, 2024, 05:46:48 am
OpenAI Speech-to-Speech Reasoning Demo
by MikeB (AI News )
March 31, 2024, 01:00:53 pm
Say good-bye to GPUs...
by MikeB (AI News )
March 23, 2024, 09:23:52 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

Users Online

327 Guests, 0 Users

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

Articles