Lgica

Prof. Drndo. Marco Antnio

SOBRE A AVALIAO Execcios: 08 listas de exerccios (40 pontos cada lista vale 05 pontos). Quem fizer os exerccios ganha os cinco pontos, independente se h erros. Haver duas avaliaes: uma no meio (23/09), outra no final do curso. Cada avaliao valer 30 pontos, num total de 60 pontos. A primeira parte do curso ser sobre Filosofia da Lgica. Ento, a primeira prova ser com consulta, em dupla e discursiva. A segunda parte ser Lgica clssica ou elementar, isto , Lgica de 1 ordem. Clculo proposicional e de predicados.

UNIDADES DO PROGRAMA DA DISCIPLINA 1. 2. 3. 4. 5. Questes introdutrias Histria da Lgica CPC (Clculo proposicional) CQC (Calculo de predicados) Para alm da Lgica Clssica

ALGUNS ALERTAS Caminhos a serem adotados: lgica estudo de alguns aspectos da argumentao para distinguir entre os argumentos vlidos e invlidos. Lgica no apenas quebra-cabea intelectual. A importncia da lgica est em analisar argumentos e retirar alguma concluso ou consequncia desse conjunto de argumentos (ou coisas dadas). A lgica no analisa o contedo do discurso, mas a sua coerncia. importante perceber a diferena entre verdade e validade. Um raciocnio vlido ou invlido.

SUGESTES DE LEITURAS ADICIONAIS ABLIO RODRIGUES. Lgica. DESIDRIO MURCHO. O LUGAR DA LGICA NA FILOSOFIA. Marguti. Introduo Lgica simblica. Csar Mortari. Introduo Lgica.

Livros sobre a lgica (no de lgica)

Milton da Costa. Ensaio sobre os fundamentos da lgica. Susan Haack. Filosofia das Lgicas.

Link com o material do curso: https://www.dropbox.com/sh/153qup46rtf2a95/9Wmha_lxe-

Lgica 07/08/2013
O que lgica?
Equvocos a serem evitados: 1. A lgica uma teoria acabada e unanimemente aceita. Durante muito tempo se acreditou nessa inverdade. Havia, no passado, uma crena de que a lgica de Aristteles era algo pronto, construdo por ele e, agora, bastava ser utilizada. 2. A lgica clssica a tradicional, aristotlica. Quando falamos em lgica tradicional, nos referimos lgica aristotlica... A lgica clssica a lgica construda nos fins do sc. XIX e incio do XX. uma construo conjunta e recente. Ela clssica porque se ope a outras variaes da lgica moderna. Existem pelo menos duas correntes: uma v a lgica como algo certo e imutvel em suas leis, outra v a lgica como um instrumento que passvel de mudana de acordo com as novas descobertas cientficas, novas perspectivas que podem aparecer. 3. A lgica se confunde com a matemtica. A lgica e a matemtica se aproximam porque ambas tem uma dimenso formal. A lgica no se preocupa com o contedo do raciocnio, mas com a coerncia do discurso. A forma axiomtica de raciocinar comum a ambas. S depois que um argumento formalizado, podemos avaliar a estrutura dele. A lgica possibilita isso. O formalismo economiza o pensamento, torna o pensamento mais gil, faz com que resolvamos problemas complexos com muita preciso. (projeto logicista): Ser que a lgica pr-existe matemtica? A lgica a base de todo o pensamento e a matemtica seria fundada na lgica? (projeto construtivista): a lgica nada mais do que uma descrio das regularidades do que se v na realidade. 4. Fazer lgica sempre fazer filosofia. A lgica utilizada por muitas outras reas do conhecimento, inclusive a lgica pode ser considerada uma disciplina parte da filosofia. A lgica est para a filosofia assim como o clculo diferencial/integral est para a engenharia. A inteno desse curso ajudar com que os alunos percebam em que medida a lgica importante, enquanto instrumento, para a filosofia.

Questes de filosofia da lgica: 1. Lgica e Razo

Como a lgica se relaciona com a razo? Ser que tem alguns princpios ou regras da razo que sem eles seria impossvel ser raciona? Ser que esse ncleo da racionalidade seria formado pelas leis da lgica? Etimologicamente, a lgica parece ter haver com logos. Pergunta: s tem uma lgica que correta? - monista: sim. S h uma nica lgica correta. - pluralista global: no. possvel pensar diferentes leis da razo em diferentes contextos. Pode-se ser pluralista de duas maneiras: a) diferentes sistemas lgicos so aplicveis ou corretos com respeito a certas reas do discurso (cada tipo de lgica vlida apenas no seu domnio especfico). Os significados dos argumentos formais da lgica variam de acordo com a lgica. Quando se olha para duas lgicas distintas, pode-se achar que elas entram em contradio, mas isso pode no ser verdade, pois os smbolos podem ter diferentes significados em diferentes lgicas. - instrumentalista: No tem sentido em falar que um sistema lgico correto ou incorreto, mas que ou no til ou apropriado. 2. Lgica e Realidade 3. Lgica e Pensamento

Lgica 12/08/13

1. Questes de Filosofia da Lgica: Lgica e Razo Lgica e Realidade Lgica e Pensamento 2. Definies introdutrias Argumento, raciocnio, inferncia Forma cannica do argumento Proposio, sentenas, enunciado Ambiguidade, vagueza

INTRODUO: Ler o primeiro captulo do livrinho de lgica do Prof. Da UFMG (Prof. Ablio) Livro: Filosofia das Lgicas (Susan Hack)

RETOMOU A AULA ANTERIOR...

Lgica e Razo
Posio dogmtica A lgica se identifica quilo que racional e vice-versa. Os princpios basilares da razo seriam os mesmo princpios da lgica, assim, a lgica independe das outras reas do conhecimento. Tende-se a pensa-la como algo eterno, que sempre existiu... s foi descoberta. Para Aristteles, a lgica tem uma funo metafsica que ajudaria a desvelar o ser. Outra posio o formalismo.

Posio Dialtica Contrape o lgico ao racional. O lgico algo construdo. H uma perspectiva de Hegel nessa mesma direo... A ideia fugir dos castelos especulativos, onde a lgica ou a matemtica estivessem cristalizadas. A razo no autossuficiente, ento, o Sistema lgico depende da Histria.

Lgica e Realidade
As coisas que acreditam sobre o mundo. Como a lgica se relaciona com a realidade? Ser que as verdades da lgica dependem da experincia? Lgica no exatamente uma cincia. O papel da lgica no ser teoria da realidade. Porque os sistemas (modelos) de descrio da realidade so diferentes, como a prpria realidade, precisamos de diferentes lgicas.

Lgica e Pensamento
A lgica formal estuda a estrutura dedutiva de certos argumentos. H uma relao entre lgica e psicologia, mas a lgica no existe para explicar os processos racionais, o raciocnio enquanto estado mental. Existem duas dimenses: pensamento e raciocnio lgico. Para Kant, a lgica est ligada s leis do pensamento. Os objetos que vemos so do jeito que so porque assim esto concebidos em ns. No uma questo ontolgica.

Frege. Anti-psicologismo. Para ele, a lgica no tem nada haver com os pensamentos, que so privados; o sentido das palavras tem algo de objetivo. O entendimento pessoal de algo representao e tem haver com as vivncias prprias de cada um. Mas, tem um outro lado objetivo que comum (Gedanke comum).

Lgica 14/08/13
Definies introdutrias
1. Argumento, raciocnio e inferncia. Forma cannica do argumento 2. Proposio, sentenas e enunciado. 3. Ambiguidade, vagueza Recordao da ltima aula: lgica, razo, realidade, pensamento... Tentou mostrar como a lgica se relaciona com vrios problemas e est longe de ser algo acabado. Existem vrias lgicas distintas, vrias posturas metafsicas diferentes a cerca da lgica. As definies de lgica esto sempre relacionadas concepo que se tem do que a lgica. A ideia, agora, fornecer uma noo introdutria para iniciar os trabalhos com lgica. Argumento, raciocnio e inferncia esto intimamente conectados a ponto de algumas pessoas a tomarem at como sinnimos. Definies sobre argumento: Leu a definio de Aristteles sobre deduo ou argumento, a partir do Organon. Definio de Cesar Mortari sobre argumento (do livro que est na bibliografia do curso). Definio do Paulo Ruas (do site Crtica na Rede texto Conceitos, juzos e raciocnios). Definio de Desiderio Murcho (trabalha os termos argumento, raciocnio e inferncia). Ideia central: o raciocnio como um processo que leva a uma concluso... Em nenhum momento se disse que o papel da lgica determinar a verdade da premissa. Determinar se a informao verdadeira ou falsa papel da cincia especfica relacionada ao contedo. O argumento parece pressupor que algum retire uma concluso das afirmaes anteriores, entretanto, isso no depende da inteno de ningum. No sentido de que a validade de um argumento no

depende da inteno da pessoa.

Exemplo de argumento formal (a partir de uma pergunta que fizeram): ( ) Todo Viciado em drogas bandido. Antnio viciado em drogas. Logo, Antnio bandido.

A ideia da lgica retirar dos argumentos os rudos e mostrar a forma para verificar se o argumento vlido ou invlido.

Forma cannica ou padro de um argumento Um argumento em forma cannica tem as premissas explicitadas.

Exemplo 1: Se os nossos sentidos so fiveis, no h dvida que o mundo exterior existe. Ora, a verdade que os nossos sentidos merecem toda a confiana. Logo, a existncia do mundo exterior irrecusvel. Modus Ponens (do latim: modo de afirmar) Se os nossos sentidos so fiveis, ento o mundo exterior existe. Os nossos sentidos so fiveis (merecem toda a confiana) Logo, o mundo exterior existe.

Exemplo 2: Como podemos assegurar o futuro da atmosfera terrestre sem abrandar a industrializao? evidente que a industrializao ter de abrandar. Isso porque, se queremos manter a nossa atmosfera, teremos que, inevitavelmente, reduzir a poluio. E no possvel reduzir a poluio sem abdicar da industrializao macia.

Se quero manter a nossa atmosfera, ento preciso reduzir a poluio Se quero reduzir a poluio, ento preciso abrandar a industrializao Logo, se quero manter a nossa atmosfera, preciso abrandar a industrializao.

Exemplo 3: No podemos permitir o aborto porque o assassnio de um inocente. Um tipo de argumento circular... quanto ao contedo. Todo assassnio de um inocente no deve ser permitido. (premissa implcita) O aborto um assassnio de um inocente. (premissa explcita) Logo, no podemos permitir o aborto. (concluso)

Exemplo 4: Se Scrates fosse um deus, seria imortal. Mas, dado que Scrates no era imortal, no era um deus. Modus Tolens (do latim: modo que nega) Se Scrates fosse um deus seria imortal. Scrates no imortal Logo, Scrates no um deus.

Exemplo 5: Considerando que sem Deus tudo permitido, necessria a existncia de Deus para fundamentar a moral e dar sentido vida. P: Sem Deus tudo permitido. C: necessria a existncia de Deus para fundamentar a moral e dar sentido vida.

Lgica 19/08/2013
Definies introdutrias
2. Proposio, sentenas, enunciado, juzo 3. Ambiguidade, vagueza 4. Consistncia, contradio, tautologia.

Definies de sentena e proposio apresentadas pelos professor e no anotadas... Sentena Est mais ligada estrutura gramatical da frase.

Proposio Est mais ligada ideia expressa pelas sentenas. Diferentes sentenas podem querer afirmar uma mesma proposio.

Juzo Ato mental. No apenas uma afirmao, mas o ato mental que acontecesse na cabea de algum quando esse algum afirma que a neve branca. Proposio algo abstrato, pois diferentes sentenas ou formas de apresentao podem expressar uma ideia ou afirmao tal como a neve branca ou la neige est blanche.

Enunciado O enunciado confere uma dimenso pragmtica, que confere um contexto, um local especfico que o torna um evento. Quando se fala de algo que no existe, que no h o referente, ento, pode-se afirmar que a sentena foi mal formulada por seu enunciado ser vazio de sentido. Por exemplo: a garrafa est quebrada. Entretanto, no existe nenhuma garrafa. Para que tenha sentido, o enunciado precisa de um referente.

Ambiguidade e vagueza
Ambiguidade a possibilidades de uma mesma sentena expressar diferentes proposies. Se isso acontece, ento, dizemos que a sentena ambgua. Existem ambiguidades semnticas e ambiguidades sintticas. Por exemplo: Jos est no banco. Ele pode estar sentado no banco da praa.

Ele pode estar dentro de uma agncia bancria.

O problema est no termo banco, pois possui mais de um significado. Uma forma de eliminar a ambiguidade delimitar o tipo de banco.

Jos viu Maria com os binculos. Jos pode ter visto Maria atravs do uso de binculos. Jos pode ter visto Maria usando binculos.

Nesse caso, preciso reformular a sentena.

Vagueza quando o conceito no bem delimitado. Por exemplo, o conceito de calvo ou de ali. No caso do calvo, quando de cabelo necessrio para se dizer que algum ou no calvo?

Consistncia, contradio e tautologia

Consistncia Recorda algo que fica de p, que no incompatvel... De modo contrrio acontece a noo de contraditrio. A tautologia aquilo que necessariamente verdadeiro. As sentenas abaixo podem no ser verdadeiras, mas so consistentes entre si: O Japo um pas asitico. O Brasil o pas do carnaval. A China o pas do futebol.

O conjunto de sentenas abaixo inconsistente: O Japo um pas asitico. O Brasil o pas do carnaval. A China o pas do futebol. O Japo no um pas asitico. Nesse exemplo, o conjunto inconsistente porque a primeira e a ltima proposies so contraditrias. Em termos mais tcnicos, um conjunto consistente quando: K = { P1, P2, P3, ..., Pn} | K verdadeiro se P1, P2, P3, ... Pn so verdadeiros. Quando possvel que a interpretao de todas as proposies, na qual todas as proposies so verdadeiras, ento, K consistente, seno, K inconsistente.

Outro exemplo: A1 = Todos os cristos so boas pessoas A2 = Nenhum cristo boa pessoa K = {A1, A2} Nesse exemplo, o conjunto K consistente. As duas sentenas so inconsistentes, mas as duas so falsas. A contradio entre as proposies torna um determinado conjunto inconsistente, mas nem todo conjunto inconsistente ser contraditrio.

Exemplo: C1: Todos os estudantes de Teologia so boas pessoas. C2: Alguns estudantes de Teologia no so boas pessoas. K1 = {C1, C2} O conjunto K1 inconsistente porque: Nenhuma das duas proposies so verdadeiras. As duas proposies so contraditrias entre si, isto , no h um modelo em que as duas proposies sejam verdadeiras ao mesmo tempo e nem que as duas sejam simultaneamente falsas.