Anda di halaman 1dari 23

Lgica

Prof Jocelma Rios Abril/2012

O que pretendemos:
Introduzir aos conceitos de lgica na perspectiva da filosofia Relacionar a lgica e a filosofia com a computao Exercitar o raciocnio lgico formal

Lgica
Para a filosofia: rea que trata das formas do pensamento em geral (deduo, induo, hiptese, inferncia etc.) e das operaes intelectuais que visam determinao do que verdadeiro ou no. : Para a computao organizao e planejamento das instrues, assertivas etc. em um algoritmo, a fim de viabilizar a implantao de um programa.

Fonte: Houaiss

Lgica
Podemos pensar a lgica como o estudo do raciocnio correto O raciocnio o processo de obter concluses a partir de suposies ou fatos O raciocnio correto o raciocnio onde as concluses seguem-se necessria e inevitavelmente das suposies ou fatos

Lgica
A lgica procura estudar as coisas da mente, e no as coisas 'reais'/'concretas' Por exemplo, quando dizemos: arco-ris bonito, sol distante, praia suave so classificaes que damos s coisas, e no as coisas em si www.9dades.com.br/ilusao-de-otica Veja tambm:

Lgica

Lgica
Na filosofia, auxilia na determinao de que certo raciocnio vlido ou no, j que pode haver diferentes interpretaes Na matemtica, auxilia na demonstrao de teoremas e inferncia de resultados corretos que podam ser aplicados nas pesquisas Na computao, auxilia na determinao se dado algoritmo correto ou no Na fsica, auxilia a obter concluses de experimentos

Lgica
A lgica somente mais uma teoria do pensamento
Aristteles considerado o criador da lgica, porem o nome lgica veio bem depois. No incio ela no tinha um nome. Para Aristteles, a lgica seria um modo a ser usado para as pessoas poderem raciocinar com segurana (evitando errar).

Lgica
Observe um exemplo da lgica dedutiva de Aristteles:

Todo planeta quadrado. A Terra um planeta. Logo, a Terra quadrada.

Lgica
Esta lgica no se preocupa com o fato de a Terra ser quadrada, mesmo que se saiba que ela redonda. Pouco importa, ela aceita a informao que lhe foi dada. Mas exige que o raciocnio esteja correto. Preocupa-se com a forma: A = B, ento, B = A. Ela no presta ateno ao contedo: A ou B podem ser planetas, burros, plantas etc. Por isso, esta lgica formal (de forma) e dedutiva (de deduo).

Lgica
A nossa lgica formal dedutiva funciona assim: a partir de uma sequncia de oraes verdadeiras chegamos a uma concluso verdadeira A lgica sempre utiliza uma linguagem exata (smbolos, sinais). Isso simplifica e facilita seu estudo.

Lgica
Aristteles tambm elaborou a argumentao lgica indutiva. A baleia, o homem e o cozinho so mamferos. A baleia, o homem e o cozinho mamam. Logo, os mamferos mamam. Ou seja, de enunciados singulares chegamos a um universal.

Lgica
Mais tarde, Bacon e outros aprofundaram esses ensinamentos e dividiram a lgica em trs reas:
1.Formal: a que estamos aqui tratando. 2.Transcendental: estuda as condies que do base ao nosso conhecimento. Kant explicou que o intelecto tende a colocar tudo em ordem, cada tijolinho no lugar. Alis, cada pessoa j possui uma lgica natural ao interpretar e classificar o que ela vivencia. 3.Matemtica: origina frmulas de outras frmulas, puro raciocnio. So regras e mais regras inventadas, como jogos de

Lgica
Hegel, no entanto, achava que a lgica referia-se ao pensamento e realidade; disse que: todo o que racional real, e todo o que real racional A lgica uma cincia, uma arte, um jogo; tudo se passa como em um tabuleiro de xadrez Mas, vejamos tambm outro tipo de lgica, a que considera a verdade (o contedo). Ela considera o desconhecido, a dvida, a opinio, a

Lgica
chamada de lgica material. Ela no aceita o fato se algum diz que a Terra quadrada, uma verdade. Temos alguns conceitos nesta lgica:
Ignorncia a falta do conhecimento Dvida a indeciso entre uma afirmao e uma negao Opinio uma opo que envolve a dvida Certeza um firme apego verdade

A verdade pode gerar muita discusso e barulho. Afinal, como podemos saber o que mesmo a verdade? Os cticos, por exemplo, acham que no podemos afirmar nada; pois tudo incerto.

Lgica
J quem segue o dogmatismo, considera que a razo humana pode conhecer a verdade. E h muitas outras posies sobre a verdade: positivistas, idealistas e outras O importante saber que a verdade varia conforme os muitos sistemas filosficos Isso pode ser potico. Existem verdades e a lgica utiliza a verdade que deseja utilizar A lgica material defende a verdade na qual acredita de perigos como o

Lgica
Sofisma um raciocnio errado com a aparncia de verdadeiro, tem a inteno de conduzir ao erro; observe o raciocnio:
Maria Alice bonita. Maria Clara bonita. Logo, todas as Marias so bonitas.

Voc j imaginou o que seria se no existisse lgica nas coisas? J imaginou se nada fizesse sentido? Hoje, a lgica fundamental em nossa sociedade. Dizemos que ela est na informtica, no ensino, na matemtica, na medicina, etc.

Lgica
Logo, o resumo de tudo isto, que podemos considerar como sendo vlida a seguinte definio. Cincia da argumentao, prova, reflexo ou inferncia Ela lhe permitir analisar um argumento ou raciocnio e deliberar sobre sua veracidade. A lgica no um pressuposto para a argumentao, claro; mas conhecendo-a, mesmo que superficialmente, torna-se mais fcil evidenciar argumentos invlidos.

Lgica matemtica
Consiste no na aplicao estudo matemtico da lgica deste estudo a outras reas matemtica e da

Guarda estritas conexes com a cincia da computao Foi tambm chamada de lgica simblica. Inclui a lgica clssica (de Aristteles), mas com uma notao diferente, mais abstrata, tomada da lgebra Teorias associadas: Teoria dos Conjuntos, Teoria dos Modelos, Teoria da Prova e Teoria da Recurso

Sequncia lgica
Questes para raciocinar: Qual o nmero que completa a sequncia: 1, 3, 6, 10, ... 13 15 12 11 18 Qual o nmero que completa a sequncia: 1, 1, 2, 3, 5, ... 5 6 7 8 9

Lgica
H trs suspeitos de um crime: o cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou por mais de um deles, j que podem ter agido individualmente ou no. Sabe-se, ainda que: se o cozinheiro inocente, ento a governanta culpada; ou o mordomo culpado ou a governanta culpada, mas no os dois; o mordomo no inocente Logo: a governanta e o mordomo so os culpados o cozinheiro e o mordomo so os culpados somente a governanta culpada somente o cozinheiro inocente somente o mordomo culpado

Sequncia lgica

So passos executados at atingir um objetivo ou soluo de um problema.

Referncias
MURCHO, Desidrio. Introduo lgica. Disponvel em: http://dmurcho.com/docs/introlog.pdf PINEDO, Christian. Lgica matemtica. Disponvel em:

http://www.eumed.net/libros/2009a/499/LOGICA%20MATEMATICA.htm