Conhecer um pouco de Histria

Introduo Lgica Matemtica

Prof: Joao Artur de Souza Profa. Gertrudes Dandolini

Para situar um pouco a origem da cincia lgica, interessante conhecer um pouco de histria. Para isso, recomendo a leitura de textos relacionados aos filsofos: - Parmnides (Elia, cerca de 530 a.C. - 460 a.C.) - Scrates (Atenas, 469a.C399 a.C.) - Plato (Atenas, cerca de 427a.C 347 a.C.) - Aristteles (Estagira, 384 a.C. - 322 a.C.)

Conhecer um pouco de Histria

Analisando a preocupao que eles tinham em explicar as coisas de uma forma geral. De onde vem o mundo;

Um pouco de Histria
Scrates (470 ac 399 ac) filsofo enigmtico e que no deixou nada escrito. Sua morte que o deixou famoso convicto Nasceu em Atenas e ali ficou at morrer. No era um professor tradicional, ele discutia, dialogava e atravs de perguntas, ele levava o seu interlocutor a ver os pontos fracos de suas prprias reflexes Pressionava o interlocutor contra a parede. isso no agradava a todos.

Como as coisas so feitas (tudo) reponta a elementos bsicos. (exemplo as cores primrias); Mais inteligente aquele que sabe que no sabe; O verdadeiro conhecimento vem de dentro.

Um pouco de Histria
Scrates achava que todas as pessoas podem entender as verdades filosficas, bastando para isto usar a sua razo. Quando uma pessoa toma juzo, ela simplesmente traz para fora algo que j est dentro de si. considerava sua prpria conscincia e a verdade mais importante do que sua vida. Mestre em retrica, assim como Jesus. Scrates se autodenominava filsofo, amante da sabedoria Algum cujo objetivo chegar sabedoria.
5

Um pouco de Histria
Scrates - objetivo chegar sabedoria. Muito diferente de um sofista. Os sofistas cobram pelos seus ensinamentos acham que sabem muito. Um filsofo uma pessoa que reconhece que h muita coisas alm do que ele pode entender e vive atormentado por isto. Scrates dizia que a nica coisa que sabia era que no sabia de nada.
6

Um pouco de Histria
Plato, seu discpulo, que escreve sobre Scrates, atravs de discursos, parbolas e dilogos. Plato tambm foi um importante filsofo. Plato acreditava numa realidade autnoma por trs do mundo dos sentidos. A esta realidade ele deu o nome de mundo das idias.

Um pouco de Histria
Teoria das idias de Plato. Plato criou uma escola chamada ACADEMO. (nome de um legendrio heri grego) De uma certa forma Scrates e Plato se afastaram das questes da filosofia da natureza e se interessaram mais pelo homem e pela sociedade.

Um pouco de Histria
Plato se interessou por matemtica, porque os dados matemticos nunca se alteram. Entretanto ele ficou mais voltado ao mundo dos sentidos. J Aristteles que foi aluno de Plato vem para organizar, para retomar as questes da natureza. Aristteles era filho de um mdico renomado. Cientista da Natureza
9

Um pouco de Histria
Para Plato o grau mximo de realidade est em pensarmos com a razo. Para Aristteles, ao contrrio, era evidente que o grau mximo de realidade est em percebermos ou sentirmos com os sentidos. Aristteles queria arrumar a natureza criando grupos e subgrupos. Exemplo: Bob um ser vivo, ou melhor, um animal, ou melhor um cachorro, ou melhor .....
10

Um pouco de Histria
Lembra do jogo: Um mandado para fora da sala e os que ficam na sala escolhem uma coisa que o outro quando volta pra sala dever acertar. Eles s podem responder sim ou no para as perguntas. Esta brincadeira foi inventada por Aristteles.

Um pouco de Histria
Aristteles conhecido como o pai da lgica por ter promovido uma organizao dos fatos. Os principais escritos de Aristteles sobre lgica, foram reunidos pelos seus continuadores aps sua morte, numa obra a que deram o nome de ORGANOM, que significa instrumento da cincia.
O estudo de: se o raciocnio correcto devido tambm a Scrates, Plato, Parmnides.
11

Por muito tempo foi falado a logica aristotlica.

12

Um pouco de Histria
A partir do sculo XVI a lgica aristotlica comea a ser questionada. Rompeu-se assim com os estudos seculares da lgica dedutiva e procurou-se fundamentar as regras do raciocnio indutivo. Principalmente devido a Francis Bacon (1561-1626) e R. Descartes(1596-1650).
13

Um pouco de Histria
Em 1666 GOTTFRIED WILHEM LEIBNIZ (1646-1716) publicou sua 1 obra manifestando os benefcios da lgica, nela formando muitos conceitos. LEIBENZ ocupa um lugar especial na historia da lgica, pois este filosofo procurou aplicar lgica o modelo de calculo algbrico da sua poca. Retorno a logica Dedutiva. Mas levou uns 200 anos pra emplacar. 14

Um pouco de Histria
Em meados do sculo XIX, opera-se na lgica uma verdadeira revoluo. Diversos investigadores de formao matemtica, iro conceber, no apenas uma nova linguagem simblica, mas tambm uma forma de transformar a lgica numa lgebra. atribudo a George Boole (1815-1864) a criao da lgica matemtica. Na sua obra "Mathematical Analysis of Logic", publicada em 1847, a lgica foi, pela primeira vez, de uma forma consistente, tratada como um clculo de signos algbricos.
15

Um pouco de Histria
Ernest Schroder (1890-1895), nas suas "Lies sobre a lgebra lgica" deu a forma acabada logica de Boole. No final do sculo XIX os estudos da lgica matemtica deram passos gigantescos, no sentido da formalizao dos conceitos e processos demonstrativos. Entre os matemticos e filsofos que mais contriburam para os avanos destacamse Gottlob Frege, Peano, B. Russell, Alfred N. Witehead e David Hilbert. nesta fase que so criados os seguintes sistemas lgicos: o calculo proposicional e o clculo de predicados. E por ai vai a histria, e no acabou ainda.....veja 16 voc mesmo......

A Lgica ainda nova

No final do sculo XIX temos a formalizao dos conceitos e processos demonstrativos. (Calculo Proposicional e Clculo de Predicados) Entre os matemticos e filsofos que mais contriburam para os avanos destacam-se: - Gottlob Frege - Peano - B. Russell - Alfred N. Witehead - David Hilbert.
17

O que lgica?
Antes de conceituarmos o que lgica, vamos observar o seguinte exemplo: Em certa comunidade, os polticos sempre mentem e os no-polticos sempre falam a verdade. Um estrangeiro encontra-se com trs nativos, pergunta ao primeiro se ele um poltico e recebe uma determinada resposta. O segundo nativo informa, ento, que o primeiro falou que no um poltico, mas o terceiro afirma que o primeiro um poltico. Quantos destes nativos so polticos?
18

Resoluo
Uma resoluo proposta a seguinte:

Resoluo
Todas as possibilidades

Com o objetivo de descobrir a resposta, montamos a seguinte tabela que apresenta as possibilidades de um nativo ser poltico ou no poltico:

Nat./Pos Nat. 1 Nat. 2 Nat. 3

P. 1 P P P

P. 2 P P No P

P. 3 P

P. 4 P

P. 5

P. 6

P. 7

P. 8

No P No P No P No P P P No P P P No P

No P No P P No P

No P No P

19

20

Resoluo
Nat./Pos Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 Nat. 1 Nat. 2 Nat. 3 No P No P No P No P P P No P P P No P P. 1 P P P P. 2 P P No P

Resoluo
P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 No P No P No P No P P P No P P P No P

No P No P P No P

No P No P P No P

No P No P

No P No P

Nat. 1: ? Nat. 2: O primeiro falou que nao politico Nat. 3: O primeiro um poltico

Qual a resposta que o nativo 1 apresentou? ???????????????????? Nat.2: O primeiro falou que no poltico. Nat.3: O primeiro um poltico.
21 22

Resoluo
Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P No P No P No P No P P P No P P P No P

Resoluo
P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 No P No P No P No P P P No P P P No P

No P No P P No P

No P No P P No P

No P No P

No P No P

Qual a resposta que o nativo 1 apresentou? No sou poltico Mas o segundo falou Nat.2: O primeiro falou que no poltico. Posso concluir?????
23

Qual a resposta que o nativo 1 apresentou? No sou poltico Nat.2: O primeiro falou que no poltico. Posso concluir que o segundo no poltico.
24

Resoluo
Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P No P No P No P P P No P P P No P

O que lgica?
P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 No P No P No P No P P P No P P P No P

No P No P P No P

No P No P P No P

No P No P

No P

No P No P

Qual a resposta que o nativo 1 deu? No sou poltico Nat.2: no poltico Nat.3: O primeiro um poltico. Duas possibilidades - se for poltico o que acontece? - no ser poltico o que acontece?

25

Nat.3: O primeiro um poltico. Duas possibilidades - se for poltico o que acontece? -Ento o primeiro no poltico, pois ele falou que ele poltico e est mentindo, logo o primeiro no poltico.

26

Resoluo
Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P No P No P No P No P P P No P P P No P

Resoluo
P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 No P No P No P No P P P No P P P No P

No P No P P No P

No P No P P No P

No P No P

No P No P

Nat.3: O primeiro um poltico. Duas possibilidades - se for poltico o que acontece? -Ento o primeiro no poltico, pois ele falou que ele poltico e est mentindo, logo o primeiro no poltico.
27

Nat.3: O primeiro um poltico. - no ser poltico o que acontece? Se ele no poltico, ento ele fala a verdade e assim o primeiro poltico.
28

Resoluo
Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 Nat./Pos Nat. 1 Nat. 2 Nat. 3 P. 1 P P P P. 2 P P No P No P No P No P No P P P No P P P No P

Resoluo
P. 3 P P. 4 P P. 5 P. 6 P. 7 P. 8 No P No P No P No P P P No P P P No P

No P No P P No P

No P No P P No P

No P No P

No P No P

Nat.3: O primeiro um poltico. - no ser poltico o que acontece? Se ele no poltico, ento ele fala a verdade e assim o primeiro poltico.
29

Portanto, a resposta que s pode haver um poltico entre os trs nativos (quadro em azul).

30

O que lgica?
Como no exemplo anterior, estamos interessados em encontrar evidncias de modo a: - certificar a veracidade de uma resposta. - obter informaes consistentes a fim de atestar a sua solidez. Esse processo pelo qual, atravs do raciocnio, chegamos a uma concluso denominado de processo dedutivo de inferncia (deduo).

O que lgica?
O estudo da lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto . Uma parte tradicional desse estudo consiste no exame e na anlise dos mtodos incorretos do raciocnio , ou seja, das falcias.

31

32

O que lgica?
O que premissa?
A lgica investiga a relao de correspondncia que regula a relao entre as premissas e a concluso de um argumento vlido.

Mas...

O que concluso? O que argumento? O que ser vlido? Calma, .... Primeiro vamos fazer alguns exerccios

33

34

Bons estudos

35