Aula 2 ALGUMAS OBSERVAÇÕES SOBRE HISTÓRIA DA LÓGICA. William de Siqueira Piauí
|
|
- Ângela de Lacerda Bicalho
- 7 Há anos
- Visualizações:
Transcrição
1 Aula 2 ALGUMAS OBSERVAÇÕES SOBRE HISTÓRIA DA LÓGICA META Apresentar a partir de algumas observações sobre a História da Lógica os temas e conteúdos principais do que deverá ser aprendido nas próximas aulas. OBJETIVOS Ao final desta aula, o aluno deverá: Leitura cuidadosa das observações apresentadas e atenção aos pontos que certamente demandam conhecimento histórico, filosófico ou prático, neste último caso com relação às técnicas de formalização de argumento e elaboração de tabela de verdade. PRÉ REQUISITOS Os pré-requisitos são a PACIÊNCIA para ler todo o texto, a ATENÇÃO para considerar seus conteúdos e pontos mais importantes, a capacidade de PENSAR sobre qual raciocínio está envolvido na formalização ou esquematização enunciada e a HABILIDADE para buscar certos verbetes na internet ou em material impresso. William de Siqueira Piauí
2 Lógica I INTRODUÇÃO Olá alunos e alunas da disciplina Lógica I, começaremos mais uma conversa sobre conceitos, expressões, princípios, temas, problemas, obras etc. que dizem respeito ao que chamamos de Filosofia e História da Lógica. O que faremos a seguir pode ser dividido em três grandes partes: primeiro falaremos um pouco do surgimento da Lógica tomando como ponto de referência as obras do filósofo grego Aristóteles e daquele tipo de raciocínio que leva seu nome, ou seja, do silogismo de tipo aristotélico; depois começaremos a discutir a importância de determinadas conexões ou relações entre proposições complexas que podem ser explicitadas/esquematizadas em uma tabela de verdade, discutindo, por fim, algumas questões com relação à importante noção de sentido. São esses os mais importantes temas da primeira e segunda unidade. DESENVOLVIMENTO Podemos dizer que nas últimas décadas assistimos a um acentuado recuo de quando consideramos ter surgido de fato disciplinas formais como a Geometria e Aritmética, ou melhor, ao menos o surgimento dos conteúdos que costumamos atribuir a esses dois grandes ramos da Matemática ficou bem mais velho. Que isso possa ter a ver com o nascimento e desenvolvimento da Lógica basta pensar que a origem dela sempre foi associada à noção de demonstração ou de argumentação dedutiva, partes fundamentais da Matemática especialmente depois do nascimento da Filosofia Grega; mas, sob um outro olhar, também podemos dizer que o desenvolvimento da Lógica até o início do século XX resultou em uma quase total identificação com a Matemática, especialmente depois de Boole e seguindo as intuições de Leibniz. Em ambos os casos, portanto, poderíamos acreditar que aquele recuo deveria dizer respeito também ao nascimento da Lógica e parte de seu conteúdo. Assim, para não esquecermos as mudanças ocorridas na historiografia da matemática talvez fosse bom pensar que Aristóteles é tão criador da Lógica quanto Euclides o foi da Geometria. No que diz respeito aos gregos, a associação do nascimento da lógica ao do uso da dialética é praticamente uma unanimidade entre os historiadores e é justamente o que leva Alcoforado, no artigo Os antigos lógicos gregos, a elaborar o seguinte esquema: 18
3 Algumas observações sobre História da Lógica Aula 2 Zenão de Eléia (fl c. 460 a.c.) Sócrates ( ) Sofistas primitivos (séc. V) Platão Euclides de Mégara (fl. c. 400) Aristóteles Estilpo Clinômaco Eubúlides Eudemo Teofrasto Zenão de Cítio Apolônio Cronos Cleantes de Assos Crisipo de Soles Deodoro Cronos Filão de Mégara Trata-se de uma nova reconstrução do esquema evolutivo da lógica grega (p. 54-5). Não reconstituiremos os pontos principais da argumentação feita por Alcoforado, mas queríamos chamar atenção de vocês para o fato que muitos foram os filósofos gregos que poderiam ser considerados lógicos (ou dialéticos) e certamente precisaríamos de bem mais espaço para caracterizar os muitos detalhes dos pontos de vista de cada um deles. Além disso, acreditamos que tal esquema evidencia o motivo de começarmos nossas aulas tratando da dialética platônica e porque assumiremos como indiscutível a ligação entre Aristóteles, Platão, Sócrates, Zenão e Parmênides. Do mesmo modo, tendo em vista que o que chegou até nós do estoicismo helênico, de Zenão de Cítio, Cleantes, Crisipo etc., são uns poucos fragmentos e que é a obra de Aristóteles o principal ponto de partida dos muitos comentários e manuais que pretendiam tratar da disciplina lógica até bastante recentemente, também consideramos indiscutível o fato que devem partir dela as principais considerações sobre a Lógica Tradicional. ATIVIDADE O que o nascimento da lógica tem a ver com o procedimento racional e a demonstração? Quais filósofos do esquema acima podemos considerar sofistas, quais megáricos, estoicos, peripatéticos ou platônicos? Por volta de que anos viveu cada filósofo seguinte: Heráclito, Parmênides, Zenão, Sócrates, Protágoras, Górgias, Platão, Aristóteles, Epicuro, Zenão de Cítio, Cleantes de Assos, Crisipo de Soles, Eubúlides, Diodoro Cronos, Euclides de Mégara, Sexto empírico, Euclides (o geômetra), Arquimedes de Siracusa, Apolônio de Perga, Alexandre de Afrodisia, Plotino, Porfírio, Ammonius e Boécio. Qual livro Diógenes Laércio escreveu que é uma das fontes para as considerações sobre a lógica ou dialética grega? 19
4 Lógica I COMENTÁRIO SOBRE A ATIVIDADE Praticamente todas as questões podem ser resolvidas a partir de uma leitura rápida do artigo de Paulo Alcoforado, o restante pode ser facilmente encontrado na internet ou em um dicionário seja de filósofos seja de filosofia. Dito isso, assim como ocorreu com os Elementos de Euclides de Alexandria com relação à Geometria, seja compilação seja criação, o que há de principal na Lógica Tradicional geralmente é pensado a partir das obras do famoso filósofo grego Aristóteles ( a.c.); obras que compõem o que ficou conhecido como Órganon, ou seja, as Categorias, Da interpretação, Analíticos Anteriores (ou Analíticos Primeiros, ou Primeiros Analíticos), Analíticos Posteriores (ou Analíticos Segundos ou Segundos Analíticos), Tópicos e Refutações Sofísticas. De qualquer modo, vale lembrar, de saída, que o termo Lógica, ao menos seu significado mais atual, parece ter sido cunhado por um dos mais famosos comentadores da obra do estagirita, ou seja, pelo filósofo Alexandre de Afrodísias que viveu no século III da nossa era (cf. KENE- ALE e KENEALE, 1991, p. 9). Tendo em vista o que acabamos de dizer, o filósofo alemão G. W. Leibniz já lembrava aos modernos que existiam muitos exemplos de demonstração fora das Matemáticas e que os Analíticos Primeiros sempre foram uma importante fonte para encontrá-los (cf. LEIBNIZ [Novos ensaios, IV, II], 1984, p. 297). Também é certo dizer que a lógica grega em grande medida se confunde com o nascimento das noções ocidentais de ciência, de teoria ou mais pontualmente com a problematização do silogismo demonstrativo, ou seja, com o surgimento das obras Primeiros e Segundos Analíticos, com aquilo que garante considerar Aristóteles também como criador da lógica formal. Podemos, desde já, sugerir uma importante divisão que determinará os estudos que faremos. Em primeiro lugar, os silogismos são compostos de partes, as premissas e a conclusão, proposições que envolvem quantidade, daí serem chamadas de proposições categóricas, referência às noções de classe, conjunto ou categoria; esse encadeamento de proposições parecia ser diferente dos que envolviam condições e que foram chamados de hipotéticos, tendo em vista que envolviam proposições condicionais. Podemos citar como exemplo de silogismo aristotélico: Todas as quimeras (sujeito/objeto) cospem (verbo) fogo (predicado/ objeto) (1A ) Toda quimera (sujeito/objeto) é (verbo) animal (predicado/objeto) (2A ) 20
5 Algumas observações sobre História da Lógica Aula 2 Logo, alguns animais (sujeito/objeto) cospem (verbo) fogo (predicado/objeto) (3I ) As premissas 1A e 2A envolvem a quantidade Todo, que costumamos simbolizar com ; trata-se de enunciado universal afirmativo (A, conforme o quadrado lógico ); elas são seguidas de 3I que é um enunciado particular afirmativo que envolve a quantidade algum (I, conforme o quadrado lógico ), que costumamos simbolizar com, e que é a conclusão. As três possuem um sujeito, um verbo e um predicado, em termos aristotélicos, ou relacionam por meio do verbo dois objetos, em termos wittgensteinianos, e as duas premissas deveriam conduzir necessariamente à conclusão pela mediação do termo quimera. O que já aparece como problema aqui é a questão da validade de tal conjunto de enunciados, ou argumento, e podemos dizer que a depender de em que época do desenvolvimento da Lógica nos colocarmos tal silogismo é autêntico (válido), na interpretação existencial que precede a lógica moderna, ou falacioso (inválido), na interpretação hipotética pós quadrado lógico de Boole (cf. BARONETT, 2009, pp. 299 e ) ou diagramas de Venn (cf. BARO- NETT, 2009, pp ). De qualquer modo, os quatro tipos básicos das proposições categóricas podem ser apresentados a partir dos diagramas de Venn do seguinte modo: Todo S é P Nenhum S é P Alguns S são P Alguns S não são P S P S P S P S P Não é difícil de imaginar que o número de silogismo de tipo aristotélico possíveis é bem grande (quantos no total?) e, além da pergunta por suas figuras e modos, restaria saber quais são válidos e quais não; ou seja, quanto ao caso acima restaria perguntar se um silogismo do tipo Todo M é P, Todo M é S; logo, Algum S é P é válido em termos apenas de sua forma. Em Lógica II seremos capazes de deixar claro que o silogismo que utilizamos como exemplo deve ser considerado falacioso, para tanto precisaremos ampliar o número de círculos do diagrama de Venn de dois para três e aprender as regras de conversão dos enunciados universais para particulares; mas antes teremos de falar sobre os modos dos silogismos o que nos obrigará a discutir a história do esquema mnemônico criado pelos medievais. Em segundo lugar, a menção aos silogismos de tipo aristotélico já aponta para uma das questões que estava na origem da lógica, a questão da validade de determinados RACIOCÍNIOS independentemente do conte- 21
6 Lógica I údo envolvido na argumentação; também foi certamente essa questão que motivou a teorização dos raciocínios condicionais por parte dos estoicos. Podemos citar o seguinte exemplo de raciocínio hipotético: [1] Se o aluno estuda (proposição antecedente, ou hipótese), então o aluno aprende (proposição consequente, ou tese); [2] tendo em vista que o aluno aprendeu, então o aluno estudou. Aqui a pergunta deve ser a seguinte: será que o raciocínio [1] permite a conclusão [2]? Claro que podemos pensar em outras possibilidades de arranjos da proposição [2] (quantas no total?), uma delas seria: [2 ] tendo em vista que o aluno estudou, então o aluno aprendeu. Qual dos dois raciocínios é válido? Qual proposição pode ser dita verdadeira apenas recorrendo à sua forma? Deixando de lado as diferentes teorias estoicas sobre as condicionais, sobre as diferentes noções de implicação (do que trataremos na aula 08), podemos esquematizar tal raciocínio do seguinte modo: [1] Se A, então B; dado B então A e [1 ] Se A, então B; dado A, então B. Esse se..., então..., simbolizamos com. Agora estamos em condições de compreender a seguinte parte do verbete Categórico escrito por Abbagnano: [Boécio teria dito que] Os gregos chamam de proposição categórica as que são pronunciadas sem nenhuma condição, ao passo que são condicionais as do tipo se é dia, [então] há luz, que os gregos chamam de hipotéticas. Correspondentemente, o silogismo categórico ou predicativo é formado por proposições categóricas, enquanto aquele que consta de proposições hipotéticas é chamado de hipotético, isto é, condicional. (Apud ABBAGNANO, 2003 [verbete: Categórico ] p. 124). Além de tal afirmação não coincidir exatamente com o que disse Boécio, veremos que a lógica moderna muda ainda mais determinantemente o jeito de pensar a diferença entre as proposições categóricas e condicionais. Seja como for, o que vamos aprender a problematizar com ferramentas da Lógica Clássica (moderna) em Lógica I dirá respeito aos raciocínios que compreendem proposições com quantidade, os que chamamos de silogismo aristotélico; também trataremos daqueles raciocínios que compreendem proposições sem quantidade mas que mencionam alguma condição, os que chamamos de hipotéticos; além disso, ao tratar das proposições sem considerar sua quantidade, ou seja, apenas levando em conta sua verdade ou falsidade, somos conduzidos ao que se costuma chamar de DISCURSO APOFÂNTICO, ou ENUNCIADOS VERIFUNCIONAIS mais simples, tais como: Sócrates é branco, Sócrates não é branco etc. Enunciados que se relacionam com o CÁLCULO SENTENCIAL BIVALENTE e que já permitiriam discutir o porquê da proposição Sócrates é branco e não é branco ser considerada uma contradição e a Sócrates é branco ou não é 22
7 Algumas observações sobre História da Lógica Aula 2 branco uma tautologia e mesmo que relação está última pode ter com o princípio do terceiro excluído e com as lógicas polivalentes. ATIVIDADE Você acredita ter compreendido a divisão do conteúdo que sugerimos aqui? Você conhece o significado das expressões silogismo aristotélico, raciocínio hipotético, quadrado lógico (aristotélico), discurso apofântico, enunciado verifuncional, cálculo sentencial bivalente, figuras e modos dos silogismos? COMENTÁRIO SOBRE A ATIVIDADE Tentamos deixar claro dois dos principais conteúdos dessa unidade e eles se relacionam com o significado das expressões mencionadas. O silogismo em questão tem partes, premissas e conclusão, também possui aquelas partes principais de uma oração, ou seja, além da cópula também tem os termos médio, sujeito e predicado, tem figura, mas também tem certas quantidades, modos; o raciocínio hipotético também tem características determinantes. Podemos considerar como característicos de um enunciado verifuncional o mesmo que caracteriza o discurso apofântico, o cálculo sentencial bivalente diz respeito às relações que podemos estabelecer entre determinados tipos de sentenças. Para começarmos bem é preciso pensar o que significam e qual o alcance dos exercícios, operações ou cálculos que vocês realizarão quando tentarem resolver as questões que sugeriremos como plano de estudo. Primeiramente, a matematização da Lógica é tardia e podemos dizer que, nesse caso, o nome importante foi o de Leibniz que sugeriu pela primeira vez, e trabalhou duro nesse sentido, a associação da Lógica com a Combinatória, a Aritmética e a Álgebra, ou seja, da Lógica com a Matemática como a conhecemos hoje. A realização efetiva de tal vislumbre se deu com a utilização de várias ferramentas que fazem parte da lógica formal atual e uma das mais poderosas é a da construção das tabelas de verdade, expediente que só pôde ser de fato explicitado no início do século XX e que conta com nomes como o de Peirce, Wittgenstein (cf. Tractatus 4.31) e Post como seus criadores. O uso do expediente tabela de verdade explicita um dos problemas que esteve na origem da Lógica e que já mencionamos, mas vale repetir, a ideia que podemos criar-descobrir-explicitar inclusive organizando-as certas 23
8 Lógica I regras formais da argumentação. Nesse sentido podemos pensar no uso adequado de tal expediente com a atividade caracterizada como filosofia na obra Tractatus logico-philosophicus de Wittgenstein e vinculá-la com aquilo que se investigava desde pelo menos o Organon de Aristóteles, ou seja, com o problema de quais regras de argumentação (e não podemos esquecer que a matemática seria uma ciência argumentativa nesse sentido) são válidas. O que nas palavras do austríaco passa a determinar o próprio conteúdo da Lógica, ou seja, a Lógica teria como seu principal conteúdo descobrir/ encontrar/inventar proposições não contingentes, dito de outra forma, a atividade filosófica referente a estabelecer os modos de determinar se certas leis, regras ou argumentos são válidos ou não (são ou não tautologias) é o grande tema da Lógica. Assim, já tendo assumido o ponto de vista pós criação das tabelas de verdade, podemos citar como exemplo de tal atividade a tentativa de provar se a tão conhecida regra ou lei Modus tollens é ou não válida. Primeiramente, trata-se, em termos wittgensteinianos, de uma proposição complexa do tipo Q (p, q) que, evidentemente, pode ser verdadeira ou falsa, podemos olhar para suas partes e então teríamos algo como: Q (p, q) = ((p q) ~q) ~p. A demonstração pode ser feita a partir da seguinte tabela de verdade: P Linha 1 coluna 1 q p q (p q) ~(p q) ~q ((p q) ~q) ~p Coluna 5 V V V v F f v f f V f 2 V F F f F v f f v V f 3 F V V v F f v f f V v 4 F F V v V v v v v V v Linha 5 Tendo em vista o fato que uma tautologia pode ser considerada uma proposição complexa, ou um argumento, cujo cálculo de sua validade, em termos de tabela, resulta sempre verdadeira, a regra Modus tollens é uma tautologia já que neste caso Q (p, q) = VVVV e, nesse sentido, deve ser considerado um argumento válido, uma lei, regra ou teorema. Em termos de diagrama sagital este expediente também nos faz compreender um dos aspectos mais importantes de um dos últimos desenvolvimentos da lógica, a relação dos resultados obtidos em uma tabela e sua apresentação em termos de FUNÇÃO PROPOSICIONAL, nesse caso teríamos algo como: Q (p, q) ((p q) ~p) ~q VV. Excluídos VF. V V-F FV. F F-V FF. 1 24
9 Algumas observações sobre História da Lógica Aula 2 Fica claro que todo argumento ou proposição complexa pode ser compreendido como uma função de verdade de seus elementos ou partes, eis parte do motivo de chamá-las de função proposicional. Tal apresentação nos remete a Frege e Russell e faz compreender o motivo que levou Wittgenstein no Tractatus a lembrá-los quando afirmou que compreendia as proposições como eles, ou seja, como função das expressões nelas contidas ou que a proposição é uma função de verdade das proposições elementares. Vale mencionar que deixamos de lado aqui uma questão fundamental da Filosofia da Lógica, e que deixaria explícito o fato que escolhemos um tipo específico de Lógica, associada ao por que aceitamos apenas dois valores de verdade, o bivalente, ou excluímos os valores V-F ou F-V do nosso diagrama, o que costumamos associar ao problema da diferença entre os princípios de bivalência (apenas dois) e do terceiro (valor de verdade) excluído. Mas será mesmo que não existem proposições que podem ser verdadeiras e falsas ou falsas e verdadeiras ao mesmo tempo? Não seria esse o caso do paradoxo do mentiroso? Será mesmo que a Filosofia está obrigada a obedecer a tal tipo de restrição? não seria possível uma alternativa discursiva que se valesse de argumentos paradoxais? E a literatura e a poesia, estariam elas também submetidas ao império da lógica bivalente? Que alternativa segue a lógica polivalente? Por tudo isso, é preciso dizer que nossas considerações assumirão a validade irrestrita do princípio de não-contradição, ao qual estaremos submetidos em todas as aulas, ele foi enunciado por Aristóteles do seguinte modo: É impossível que a mesma coisa [ou predicado], ao mesmo tempo, pertença e não pertença a uma mesma coisa [ou sujeito], segundo o mesmo aspecto (...). Este é o mais seguro de todos os princípios (...), todos os que demonstram alguma coisa remetem-se a essa noção última porque, por sua natureza, constitui o princípio de todos os outros axiomas. (ARISTÓTELES, 2005 [Metafísica, b], p ). Voltando ao que dizíamos. Podemos também citar outro exemplo da utilidade do uso das tabelas de verdade, quando queremos comparar o SENTIDO (em alemão se diz Sinn e se relaciona com o problema do SIG- NIFICADO de determinados termos e que em alemão se diz Bedeutung), em termos de verdade e falsidade, de determinadas proposições. Poderíamos perguntar, por exemplo: Será que as proposições Não é verdade que as Rosas são rosas e as Violetas são azuis tem o mesmo sentido que a proposição As Rosas não são rosas ou as Violetas não são azuis? Simbolizando tais proposições teremos algo como R (p, q)= ~(p q) (~p ~q): 25
10 Lógica I p Q ~(p q) (~p ~q) ~(p q) (~p ~q) V V F v f F f f V f V F V f f V v v V v F V V f v V f v V v F F V f v V v v V v Vejam que o conectivo lógico também pode nos auxiliar a decidir se o sentido de determinadas proposições é ou não o mesmo, ou seja, o simbolismo utilizado é capaz de resolver problemas de sentido. Assim, você também deve lembrar e refletir sobre o fato que a validade de tal comparação pode ter origem na utilização da regra De Morgan que nos permite transformar determinadas proposições em outras de mesmo sentido. Com esse tipo de esquematismo podemos, pois, resolver parte do problema do sentido, mas fica a questão que faz o pano de fundo da seguinte afirmação feita por Wittgenstein: Os objetos constituem a substância do mundo (...) Se o mundo não tivesse substância, ter ou não ter sentido (Sinn) uma proposição dependeria de ser ou não verdadeira uma outra proposição. Surge, pois, a questão: para onde apontam as palavras que se referem a objetos, sujeitos ou predicados, qual seu significado? Respondê-la nos dará oportunidade de perceber como uma filosofia ou teoria do significado e do sentido pode abrigar determinada visão metafísica, abrigar aquilo que faz o pano de fundo dos aforismos e 5.123, por exemplo, do Tractatus. De qualquer modo, a compreensão da validade e a memorização de regras ou leis lógicas são fundamentais para o principal capítulo do estudo da lógica que é aprender a fazer dedução e provas, tais como a Prova por absurdo. ATIVIDADE Você conhece o significado das palavras ou expressões teorema, axioma, tautologia, dedução, demonstração e prova por absurdo? Compreendeu o uso das palavras substância, objeto, sujeito e predicado? Quais os objetos, sujeito e predicado da proposição Sócrates é branco? Com relação à substância e os objetos, quando a proposição Sócrates é branco pode ser dita verdadeira? A proposição Se o tempo estiver bom, então vou à festa tem ou não o mesmo sentido que as seguintes: O tempo não está bom ou vou à festa e Se não vou à festa, então o tempo não está bom? O que você acha que Wittgenstein queria dizer com os aforismos e do Tractatus? 26
11 Algumas observações sobre História da Lógica Aula 2 Comentário (III): Uma tautologia pode ser associada a uma tabela de verdade cujo resultado sempre é verdadeiro, dedução e demonstração podem ser associadas a uma conclusão que segue necessariamente de determinadas premissas, uma prova por absurdo é um tipo de demonstração que parte da negação do que esperamos provar, tal negação deve conduzir a um absurdo ou contradição, daí que seu contrário deva ser assumido como verdadeiro, justamente aquilo que no início gostaríamos que fosse aceito como verdadeiro. É bom memorizar exemplos delas! As questões relacionadas aos termos substância, objeto, sujeito e predicado podem ser resolvidas a partir da noção que um fato é um composto e que ele ocorre (fato positivo) ou não ocorre (fato negativo). A questão do sentido das proposições mencionadas deve ser resolvida a partir do cálculo/ tabela de verdade das proposições simbolizadas mediadas pelo símbolo, que atesta a verdade ou falsidade da identidade de sentido. Quanto aos aforismos do Tractatus as próximas aulas ajudarão ao menos a entender sua carga metafísica. CONCLUSÃO Portanto, a presente aula pretendeu chamar atenção para alguns dos mais básicos conceitos, princípios, expressões, temas, regras, esquemas, problemas, obras etc que dizem respeito ao que chamamos de Filosofia e História da Lógica. Dividimos nossas considerações em três grandes partes: primeiro falamos um pouco do surgimento da Lógica tomando como ponto de referência as obras do filósofo grego Aristóteles e do tipo de silogismo que leva seu nome; depois começamos a discutir a importância de determinadas conexões ou relações entre proposições complexas que podem ser explicitadas/esquematizadas em uma tabela de verdade, especialmente as que envolvem condições; por fim, mencionamos as noções de sentido e de significado a partir da tabela de verdade e da noção tractariana de substância do mundo. Do nosso ponto de vista, são esses os mais importantes temas da primeira e segunda unidade. Valeria a pena procurar saber mais sobre as palavras e expressões mencionadas até aqui em um Dicionário dos Filósofos como o de Denis Huisman, em algumas páginas da Enciclopédia livre Wikipédia (wikipedia.org.br) ou na internet de um modo geral; também não se esqueçam que é bom consultar obras como o Dicionário Houaiss da língua portuguesa e o Dicionário Aurélio da Língua portuguesa. 27
12 Lógica I RESUMO Com a aula Algumas observações sobre História da Lógica pretendemos chamar atenção para alguns conceitos, princípios, expressões, temas, regras, esquemas, problemas, obras etc que dizem respeito ao que chamamos de Filosofia ou História da Lógica; tais como o conceito de silogismo aristotélico, os princípios de bivalência e do terceiro excluído, a expressão função proposicional, o tema da validade de um argumento ou regra, as regras Modus Tollens e De Morgan, os esquemas tabela de verdade e diagrama sagital, os problemas do sentido e do significado, as obras Organon, com suas seis partes, e Tractatus logico-philosophicus etc. O faremos dividindo o conteúdo da aula em três grandes partes: primeiro falaremos um pouco do surgimento da Lógica tomando como ponto de referência as obras do filósofo grego Aristóteles e daquele tipo de raciocínio que leva seu nome, ou seja, do silogismo de tipo aristotélico; depois começaremos a discutir a importância de determinadas conexões ou relações entre proposições complexas que podem ser explicitadas/esquematizadas em uma tabela de verdade, discutindo, por fim, algumas questões com relação à importante noção de sentido. AUTOAVALIAÇÃO Li e me informei sobre o conteúdo da aula Algumas observações sobre História da Lógica? Sou capaz de compreender a divisão tripartite do conteúdo geral de Lógica I? Refleti o suficiente sobre os dois modos de pensar os enunciados? Compreendi bem quais serão de fato os assuntos tratados na primeira unidade de Lógica I? Sou capaz de buscar as informações (em revistas, livros, internet etc.) necessárias para compreender essa aula? PRÓXIMA AULA Começaremos fornecer técnicas de leitura e compreensão/interpretação de textos tratando do tema Da dialética platônica ao silogismo aristotélico 28
13 Algumas observações sobre História da Lógica Aula 2 REFERÊNCIAS ABBAGNANO, Nicola. Dicionário de Filosofia. Trad. Alfredo Bosi. São Paulo: Martins Fontes, ALCOFORADO, Paulo. Os antigos lógicos gregos. In: Ciência e Filosofia. n. 5, pp , ARISTÓTELES. Metafísica. Trad. Marcelo Perini. São Paulo: Edições Loyola, ARISTÓTELES. Órganon. Trad. Edson Bini. Bauru: São Paulo: EDIPRO, FERREIRA, Aurélio Buarque de Holanda. Dicionário Aurélio da língua portuguesa. Curitiba, PR: Ed. Positivo, BARONETT, Stan. Lógica: uma introdução voltada para as ciências. Trad. Anatólio Laschuk. Porto Alegre: Bookman, HOUAIS, Antônio e VILLAR, Mauro Salles. Dicionário Houaiss da língua portuguesa. Rio de Janeiro: Objetiva, KNEALE, William e KNEALE, Martha. O desenvolvimento da lógica. Trad. M. S. Lourenço. Lisboa: Fundação Calouste Gulbenkian, LEIBNIZ, Gottfried Wilhelm. Novos ensaios sobre o entendimento humano. Trad. Luiz João Baraúna. São Paulo: Ed. Abril Cultural, RUSSELL, Bertrand. Lógica e conhecimento (e outros). Trad. Pablo Ruben Mariconda. São Paulo: Ed. Abril Cultural, WITTGENSTEIN, Ludwig. Tractatus logico-philosophicus. Trad. Luiz Henrique Lopes dos Santos. São Paulo: EDUSP,
LÓGICA: CIÊNCIA DE DESCOBRIR (SCIENTIA INVENIENDI) FORMAS DE ARGUMENTOS E DE JULGAR (SCIENTIA DIJUDICANDI) SUA VALIDADE.
Aula 6 LÓGICA: CIÊNCIA DE DESCOBRIR (SCIENTIA INVENIENDI) FORMAS DE ARGUMENTOS E DE JULGAR (SCIENTIA DIJUDICANDI) SUA VALIDADE. META A partir de elementos combinatórios levar os alunos a criar possíveis
Lógica. História da Lógica
1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,
Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Expandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Lógica e Computação. Uma Perspectiva Histórica
Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
Lógica Formal e Booleana. Introdução
Lógica Formal e Booleana Introdução lara.popov@ifsc.edu.br Ela, a lógica, lhe dará clareza de pensamento, a habilidade de ver seu caminho através de um quebra-cabeça, o hábito de arranjar suas ideias numa
Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia. Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No.
COLÉGIO SHALOM ENSINO MEDIO 1 ANO - filosofia 65 Profº: TONHÃO Disciplina: FILOSOFIA Aluno (a):. No. ROTEIRO DE RECUERAÇÃO ANUAL 2016 Data: / / FILOSOFIA 1º Ano do Ensino Médio 1º. O recuperando deverá
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
n. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Professor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
LÓGICA I. André Pontes
LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.
FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS
FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item
Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas Relação das questões comentadas Gabaritos...
Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas... 10 Relação das questões comentadas... 14 Gabaritos... 15 1 Apresentação Olá, pessoal! Tudo bem com vocês? Esta é a aula demonstrativa
VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO
ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à
Lógica e Raciocínio. Introdução. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Introdução 1 Lógica... é a ciência que estuda os princípios e aproximações para estabelecer a validez da inferência e demonstração:
Matemática Computacional. Introdução
Matemática Computacional Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles
A Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA
MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos
Introdução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO
RACIONALIDADE ARGUMENTATIVA DA FILOSOFIA E A DIMENSÃO DISCURSIVA DO TRABALHO FILOSÓFICO Exercícios I. Documento elaborado no âmbito da definição das Aprendizagens Essenciais Aires Almeida, Luizete Dias
A Importância da Lógica para o Ensino da Matemática
Universidade do Estado do Rio Grande do Norte FANAT - Departamento de Informática Faculdade de Ciências e Tecnologia Mater Christi Curso de Sistemas de Informação A Importância da Lógica para o Ensino
n. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Para provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo
Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais
RESENHA. DINUCCI, A. L.; DUARTE, V. Introdução à lógica proposicional estoica. São Cristóvão: Editora UFS, 2016.
RESENHA DINUCCI, A. L.; DUARTE, V. Introdução à lógica proposicional estoica. São Cristóvão: Editora UFS, 2016. Lauro Iane de Morais Graduando em Filosofia bolsista PIBIC UFS Lançado em 2016 pela Editora
Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução
Geometria Euclidiana Plana - Um pouco de história Prof a. Introdução Daremos início ao estudo axiomático da geometria estudada no ensino fundamental e médio, a Geometria Euclidiana Plana. Faremos uso do
Lógica Matemática. Definição. Origem. Introdução
Lógica Matemática Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles
Matemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Cálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
fragmentos dos diálogos categorias e obras da exortativas interpretação aristóteles introdução, tradução e notas ricardo santos tradução ( universidad
fragmentos dos diálogos categorias e obras da exortativas interpretação aristóteles introdução, tradução e notas ricardo santos tradução ( universidade e textos introdutórios de lisboa) antónio de castro
AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015
AGRUPAMENTO DE ESCOLAS Nº1 DE GONDOMAR ANO LETIVO de 2014 / 2015 PLANIFICAÇÃO de Filosofia 11º ANO Gestão Temporal do Programa UNIDADE CONTEÚDO TEMPOS unidade CONTEÚDO LETIVOS TEMPOS LETIVOS Racionalidade
Aula 4 LEITURA E COMPREENSÃO/ INTERPRETAÇÃO (2): DO SILOGISMO ARISTOTÉLICO À SILOGÍSTICA. William de Siqueira Piauí
Aula 4 LEITURA E COMPREENSÃO/ INTERPRETAÇÃO (2): DO SILOGISMO ARISTOTÉLICO À SILOGÍSTICA META Apresentar a partir de algumas observações sobre a História da Filosofia e da Lógica os temas e conteúdos principais
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar
III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA
III. RACIONALIDADE ARGUMEN NTATIVA E FILOSOFIA 1. Argumentação e Lóg gica Formal 1.1. Distinção validade - verdade 1.2. Formas de Inferên ncia Válida. 1.3. Principais Falácias A Lógica: objecto de estudo
Capítulo O objeto deste livro
Capítulo 1 Introdução 1.1 O objeto deste livro Podemos dizer que a Geometria, como ciência abstrata, surgiu na Antiguidade a partir das intuições acerca do espaço, principalmente do estudo da Astronomia.
ÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos
ÍNDICE Prefácio PARTE I LÓGICA ARISTOTÉLICA Lição 1 Introdução. Lógica Aristotélica: Noções Básicas 9 Lição 2 O Quadrado da Oposição 15 Lição 3 Conversão, Obversão e Contraposição 21 Lição 4 A Teoria do
Lógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
ÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler
ÍNDICE 1. Introdução... 5 2. Competências essenciais do aluno... 6 3. Como ler um texto... 7 4. Como ler uma pergunta... 8 5. Como fazer um trabalho... 9 6. Conteúdos/Temas 11.º Ano... 11 III Racionalidade
3.4 Fundamentos de lógica paraconsistente
86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,
Introdução à Computação: Álgebra Booleana
Introdução à Computação: Álgebra Booleana Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória, ES
1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA
1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA 2016.2 (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA 1. (1.0) Responda à seguinte pergunta, recorrendo às regras do silogismo. Você
HISTÓRIA DA MATEMÁTICA I MAT 341 INTRODUÇÃO
HISTÓRIA DA MATEMÁTICA I MAT 341 INTRODUÇÃO 2016 3 Antonio Carlos Brolezzi IME-USP Grécia Antiga: berço da Matemática sistematizada Fontes principais: referências históricas em escritos filosóficos ou
Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
MD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;
Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;
Raciocínio Lógico Matemático
Raciocínio Lógico Matemático Cap. 4 - Implicação Lógica Implicação Lógica Antes de iniciar a leitura deste capítulo, verifique se de fato os capítulos anteriores ficaram claros e retome os tópicos abordados
Lógica Dedutiva e Falácias
Lógica Dedutiva e Falácias Aula 3 Prof. André Martins Lógica A Lógica é o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocínio
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por
NHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Antonio Paulo Muccillo de Medeiros
Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.
Lógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
5 AULA. Teorias Axiomáticas LIVRO. META: Apresentar teorias axiomáticas.
1 LIVRO Teorias Axiomáticas 5 AULA META: Apresentar teorias axiomáticas. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Criar teorias axiomáticas; Provar a independência dos axiomas de uma
Lógica e estruturação PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA
Lógica e estruturação da linguagem PROFESSOR NICHOLAS GABRIEL MINOTTI LOPES FERREIRA Na 3 Série do Ensino Médio, o professor decidiu aprofundar em um tema de extrema importância: LÓGICA. Vocês a estudarão
Aula 00. Matemática, Estatística e Raciocínio Lógico para PCDF. Matemática e Raciocínio Lógico Professor: Guilherme Neves
Aula 00 Matemática e Raciocínio Lógico Professor: Guilherme Neves www.pontodosconcursos.com.br 1 Apresentação Olá, pessoal! Saiu o edital da Polícia Civil do Distrito Federal. A banca organizadora será
CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO
CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
Apresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Bem vindo à Filosofia. Prof. Alexandre Cardoso
Bem vindo à Filosofia Prof. Alexandre Cardoso A criação da filosofia está ligada ao pensamento racional. Discutir, pensar e refletir para descobrir respostas relacionadas à vida. Os filósofos gregos deixaram
Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL
AULA 08 ARGUMENTAÇÃO E REDUÇÃO AO ABSURDO Argumentos DEINIÇÃO 1: Uma forma argumentativa da lógica proposicional (ou simplesmente argumento) é uma sequência finita de fórmulas da lógica proposicional.
Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação
Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO II_PARTE 1: Lógica de Argumentação 1 Origem Aristóteles - filósofo grego - 342 a.c, sistematizou os conhecimentos
1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
Proposições e argumentos. Proposições tem de ter as seguintes características:
Ser uma frase declarativa (afirmativa ou negativa) Ter sentido Proposições e argumentos Proposições tem de ter as seguintes características: Ter um valor de verdade( ser verdadeira ou falsa) possível determinável
ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo
Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:
Modus ponens, modus tollens, e respectivas falácias formais
Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens
INSTITUTO ÀGORA DE EDUCAÇÃO
INSTITUTO ÀGORA DE EDUCAÇÃO Curso de filosofia RESENHA SOBRE: BLACKBUM, Simon. Para que serve filosofia?. Disponível em: http: www.criticanarede.com/fa_10exceto.html; SHAND, John. O que é filosofia?. Disponível
FUNDAMENTOS DE LÓGICA E ALGORITMOS
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE FUNDAMENTOS DE LÓGICA E ALGORITMOS AULA 01 Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com 27/05/2016 SUMÁRIO Introdução
PROFESSOR DANILO BORGES FILOSOFIA 1º ANO DO ENSINO MÉDIO A FILOSOFIA DE PARMÊNIDES E SUA CONTRAPOSIÇÃO COM HERÁCLITO
PROFESSOR DANILO BORGES FILOSOFIA 1º ANO DO ENSINO MÉDIO A FILOSOFIA DE PARMÊNIDES E SUA CONTRAPOSIÇÃO COM HERÁCLITO Metafísica é quando o que escuta não ouve nada, e o que fala já não ouve. Voltaire Parmênides
PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA
PC Polícia Civil do Estado de São Paulo PAPILOSCOPISTA Concurso Público 2016 Conteúdo Teoria dos conjuntos. Razão e proporção. Grandezas proporcionais. Porcentagem. Regras de três simples. Conjuntos numéricos
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Cálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
Prof. João Giardulli. Unidade I LÓGICA
Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução
Aula 5 SÍNTESE DAS AULAS ANTERIORES (1): PROBLEMATIZAÇÃO E ESQUEMATIZAÇÃO DO QUE FOI ESTUDADO ATÉ O MOMENTO. William de Siqueira Piauí
Aula 5 SÍNTESE DAS AULAS ANTERIORES (1): PROBLEMATIZAÇÃO E ESQUEMATIZAÇÃO DO QUE FOI ESTUDADO ATÉ O MOMENTO. META Reconsiderar, a partir de nova esquematização ou formalização, problemas ou questões já
Fundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Introdu c ao ` a L ogica Matem atica Ricardo Bianconi
Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial
A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO. Resumo
A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO Autor: Stanley Kreiter Bezerra Medeiros Departamento de Filosofia UFRN Resumo Em 1962, Jaako Hintikka publicou Knowledge and Belief:
Silogismos Categóricos e Hipotéticos
Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar
Lógica Proposicional Parte 3
Lógica Proposicional Parte 3 Nesta aula, vamos mostrar como usar os conhecimentos sobre regras de inferência para descobrir (ou inferir) novas proposições a partir de proposições dadas. Ilustraremos esse
Filosofia (aula 9) Dimmy Chaar Prof. de Filosofia. SAE
Filosofia (aula 9) Prof. de Filosofia SAE leodcc@hotmail.com Lógica O problema lógico, embora para alguns possa parecer artificial, impõe-se por si. Ele surge logo que se nota que alguns conhecimentos
COPYRIGHT TODOS OS DIREITOS RESERVADOS - SABER E FÉ
Aviso importante! Esta matéria é uma propriedade intelectual de uso exclusivo e particular do aluno da Saber e Fé, sendo proibida a reprodução total ou parcial deste conteúdo, exceto em breves citações
Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
CONSELHO CIENTÍFICO-PEDAGÓGICO DE FORMAÇÃO CONTÍNUA APRESENTAÇÃO DE ACÇÃO DE FORMAÇÃO NAS MODALIDADES DE CURSO, MÓDULO E SEMINÁRIO Formulário de preenchimento obrigatório, a anexar à ficha modelo ACC 2
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Lógica: Quadrado lógico:
Lógica: 1. Silogismo aristotélico: Podemos encara um conceito de dois pontos de vista: Extensão a extensão é um conjunto de objectos que o conceito considerado pode designar ou aos quais ele se pode aplicar
Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.
Somo Gilda de La Roque Palis e Iaci Malta PUC - RJ Em sua autobiografia, Carl Gustav Jung 1, um dos grandes pensadores da Psicanálise, lembrando de seus tempos de colégio, diz:... o que mais me irritava
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
DEFINIÇÃO E USOS DA DIALÉTICA EM ARISTÓTELES ALGUMAS NOTAS
DEFINIÇÃO E USOS DA DIALÉTICA EM ARISTÓTELES ALGUMAS NOTAS CENCI, Márcio Paulo Prof. Dndo. da Unifra, Colaborador PIBID/UNIFRA/CAPES/Subprojeto Filosofia. Contato: mpcencei@gmail.com OLIVEIRA, Iuri Acadêmico