Aula 8 A LÓGICA ESTOICA. Aldo Dinucci
|
|
- Mateus Rijo Sabrosa
- 6 Há anos
- Visualizações:
Transcrição
1 Aula 8 A LÓGICA ESTOICA META Apresentar a partir de algumas observações sobre a História da Filosofia e da Lógica os temas e conteúdos principais referentes à lógica estoica. OBJETIVOS Ao final desta aula, o aluno deverá: Leitura cuidadosa dos textos que serão citados e atenção aos pontos que certamente demandam conhecimento histórico, filosófico ou prático, neste caso associado à capacidade de interpretar/esquematizar textos e argumentos. PRÉ-REQUISITOS São a PACIÊNCIA e a ATENÇÃO para ler o texto da aula, a capacidade de INTERPRETAR/ ESQUEMATIZAR/COMPREENDER quais teses estão envolvidas nos textos citados e a HABILIDADE para buscar na internet ou em material impresso certas palavras, conceitos, biografias, verbetes, imagens. Aldo Dinucci
2 Lógica I A LÓGICA ESTOICA O estoicismo produziu um dos dois grandes sistemas de lógica da Antiguidade. O outro foi o confeccionado por Aristóteles. Sistema que foi seguido e desenvolvido pelos peripatéticos, assim chamados relativamente ao Peripatos, colunata que havia nas proximidades do Liceu, no qual se reuniam e pesquisavam Aristóteles e seus alunos e, posteriormente, os alunos dos alunos de Aristóteles. O Liceu iniciou suas atividades em 335 a.c., só as encerrando no século 3 d.c. A escola tinha esse nome porque se encontrava nas proximidades do templo de Apolo Lykeios. As principais obras de lógica de Aristóteles estão contidas no Órganon. A lógica estoica foi desenvolvida primeiramente por Crisipo de Sólis. Crisipo viveu aproximadamente entre 280 e 208 a.c. Cf. Cícero, De Finibus, 4.9 (= SVF, 1.47): A dialética foi desenvolvida por Crisipo, mas por Zenão muito menos que pelos filósofos anteriores. Diógenes Laércio nos diz que Crisipo adquiriu tamanho reconhecimento como lógico que a opinião geral naqueles tempos era que, se os deuses usassem lógica, usariam a de Crisipo (Diógenes Laércio = SVF 2.1). Clemente de Alexandria observa que, entre os lógicos, o mestre é Crisipo, como, entre os poetas, Homero (Stromata, vii. 16). Crisipo foi aluno dos megáricos. A Escola Megárica foi fundada por Euclides de Mégara, que teve alunos como Eubúlides de Mileto, autor de sete paradoxos lógicos, que Diógenes Laércio (2.108) chama de argumentos dialéticos. São eles: O paradoxo do mentiroso: Alguém diz: O que digo agora é uma mentira. Se a proposição é verdadeira, ele está mentindo. Se é falsa, ele não está mentindo. Logo, se diz a verdade, está mentindo; se está mentindo, diz a verdade. O paradoxo do mascarado: Conheces este mascarado? ; Não ; Ele é o teu pai. Logo, conheces e não conheces o teu próprio pai. O paradoxo de Electra: Electra não sabe que o homem que se aproxima é seu irmão, Orestes. Mas Electra conhece seu irmão. Conhece então Electra o homem que se aproxima? O paradoxo do ignorado: Alguém ignora quem se aproxima dele e o trata como um estranho. O homem é seu pai. Aquele então ignora quem seja seu próprio pai e o trata como um estranho? O paradoxo do sorites: Um único grão não é um monte. Nem a adição de um só grão é o suficiente para transformar um tanto de areia num monte. Mas sabemos que, adicionando grãos um a um, em algum momento teremos um monte. O paradoxo do careca: um homem com muitos cabelos na cabeça não é careca. Nem a supressão de um fio o tornará careca. Mas se arrancarmos seus fios de cabelo um a um, eventualmente ele ficará careca. 96
3 A Lógica Estoica Aula 8 O paradoxo dos Chifres: O que não perdeste ainda tens; Não perdeste teus chifres; Logo, ainda os tens. Outro ilustre aluno de Euclides de Mégara é Trasímaco de Corinto, professor de Estilpo, professor do fundador do estoicismo, Zenão de Cítio. Eubúlides, por sua vez, teve como alunos Apolônio Crono, Diodoro Crono, autor do Argumento Mestre ou Dominador e que teria formulado argumentos contra o movimento, e Philo, o Dialético. Diodoro e Philo debateram questões relativas à modalidade lógica e às condicionais, sobre o que tinham visões distintas. Quanto às questões lógicas, podemos atribuir aos megáricos: (i) a invenção de paradoxos; (ii) o exame da questão da modalidade lógica; e (iii) a criação do debate sobre as condicionais, debate do qual participou Crisipo. DESENVOLVIMENTO Crisipo teria escrito 705 livros, 118 dos quais tratavam exclusivamente de lógica, mas nenhum deles nos chegou, exceto em fragmentos. Na verdade, com exceção dos estoicos do período imperial romano, todas as obras dos estoicos nos chegaram em fragmentos, o que gera a questão das fontes que devem ser consultadas para o estudo da lógica estoica. PRINCIPAIS AUTORES E FONTES PARA O ESTUDO DA LÓGICA ESTOICA Devido ao caráter fragmentário das fontes antigas, que só foram organizadas por volta do início do século XX, por muito tempo não se teve uma clara noção sobre o que realmente é a lógica estoica. Apenas em 1903 foi publicada uma obra que agrupou e organizou as fontes dos estoicos antigos: o Stoicorum veterum fragmenta, trabalho monumental de Hans von Arnim que foi publicado entre 1903 e 1905, em três volumes, aos quais Maximilian Adler adicionou um quarto, em 1924, com os índices. O passo inicial para a redescoberta do Pórtico deu-se em 1898, com Peirce, que foi o primeiro a notar que a noção de implicação do megárico Philo coincidia com a contemporânea de implicação material, e que o debate das condicionais que ocorrera no período helenístico (envolvendo Philo, Diodoro Crono e Crisipo) correspondia ao que transcorria em sua própria época. Entretanto, só em 1927 a lógica estoica foi propriamente redescoberta, e esse feito se deve ao lógico polonês Lukasiewicz, que percebeu que os estoicos anteciparam não somente questões relativas à implicação, mas muitos outros pontos presentes na lógica contemporânea. Lukasiewicz foi o primeiro a compreender que, enquanto na lógica aristotélica as variáveis devem ser substituídas por termos, na estoica elas devem ser substituídas 97
4 Lógica I por proposições e, assim, percebeu que a lógica estoica é, na verdade, uma lógica proposicional similar em muitos aspectos à contemporânea. A partir daí sucederam-se os estudos sobre a lógica do Pórtico. NOÇÕES BÁSICAS SOBRE A LÓGICA ESTOICA: Diógenes Laércio (7.41-4) nos informa que os estoicos não têm uma concepção unificada sobre a divisão da lógica. Alguns a dividem em duas ciências: retórica e dialética; outros, em um ramo concernente às definições e outro aos critérios; há também os que eliminam o ramo relativo às definições. Segundo Laércio, a definição estoica de retórica é ciência de bem falar em discurso expositivo (Diógenes Laércio ). Quanto à dialética, os estoicos a definem ora como o discorrer corretamente por meio de perguntas e repostas (Diógenes Laércio ), ora como a ciência do verdadeiro, do falso e do que não é um nem outro (Diógenes Laércio ). A dialética, por sua vez, divide-se no tópico relativo aos significados e às vozes. Este último tópico, por sua vez, divide-se no tópico acerca das representações e dos dizíveis subjacentes a elas (isto é, o sentido das representações), contando entre tais dizíveis os asseríveis (os equivalentes estoicos das proposições da lógica contemporânea) e os argumentos (Diógenes Laércio ). Como vemos, os estoicos incluem muito mais coisas do que atualmente se concebe como lógica. Eles chamam de dialética o que hoje conhecemos como lógica proposicional. Tal parte da lógica trata das inferências e dos asseríveis, os portadores primários de valor lógico de verdade ou falsidade. No processo inferencial, os asseríveis assumem ora a função de premissas, que são os asseríveis de que partimos, ora a função de conclusão, que é o asserível a que chegamos, compondo o argumento. Conforme o precedente, esse recorte, que aqui denominamos lógica proposicional estoica, está dividido em teoria dos asseríveis e teoria dos argumentos. A base do cálculo proposicional estoica compõe-se do asserível negativo (que corresponde à proposição negativa da lógica contemporânea), do asserível disjuntivo exclusivo (que corresponde à disjunção exclusiva da lógica contemporânea ), do asserível conjuntivo (que corresponde à conjunção da lógica contemporânea) e da implicação crisipeana, segundo a qual é verdadeira a condicional cuja contraditória da consequente esteja em conflito com a antecedente. Os estoicos consideram tal lógica indispensável para que o sábio seja infalível na argumentação (Diógenes Laércio ). Diferentemente de Aristóteles e dos peripatéticos, e com exceção de Aríston, estimam ser a lógica uma ciência, uma parte integrante da filosofia, e não mero estudo propedêutico às ciências. A concepção tradicional estoica da filosofia é tripartida: lógica, física e ética, distinção que Diógenes atribui a Zenão de Cítio, Crisipo, Diógenes 98
5 A Lógica Estoica Aula 8 da Babilônia e Posidônio de Rodes (Diógenes Laércio ). Crisipo e Eudromo (estoico de florescimento incerto) chamam tais partes de espécies ; os outros, de gêneros ; Apolodoro de Atenas, de tópicos. Cleanto, entretanto, divide a filosofia em seis partes: dialética, retórica, ética, política, física e teologia. Outros ainda, como Zenão de Tarso (fl. 200 a.c.), dizem que a filosofia não tem partes. Os estoicos comparam a filosofia a um animal cujos ossos e tendões são a lógica; a ética, a carne; e a física, a alma. Sexto observa que Posidônio apresenta concepção divergente, comparando a física à carne e a ética à alma (Cf. Contra os Professores 7.19). Os estoicos comparam também as partes da filosofia a um ovo, do qual a casca seria a lógica; a clara, a ética; a gema, a física. E ainda a um campo fértil, do qual a cerca seria a lógica; a terra ou as árvores, a física; e os frutos, a ética (Diógenes Laércio ). Long & Sedley (1987, p. 25) observam que os estoicos inauguram a ideia de filosofia como sistema, embora Xenócrates possa tê-los precedido com a divisão tripartite (lógica, ética e física). Alguns estoicos dizem que nenhuma parte tem precedência sobre outra. Outros, porém, dão prioridade ao estudo da lógica, seguido pelo da física e da ética. Segundo Diógenes Laércio (Diógenes Laércio ), professam essa concepção estoicos como Zenão, Crisipo, Arquedemo de Tarso e Eudromo. Panécio de Rodes e Posidônio começam pela física. Porém, com a já mencionada exceção de Aríston de Quios, bem como de Sêneca, todos os estoicos consideram fundamental o estudo da lógica. A seguinte diatribe de Epicteto ilustra a importância que os estoicos dão aos estudos lógicos: Quando um dos presentes falou: Persuade-me de que a lógica é útil, <Epicteto> disse: Queres que te demonstre isso? Sim, <respondeu o outro>. Portanto, é-me preciso selecionar um argumento demonstrativo? Quando o outro concordou, <Epicteto indagou>: E como saberás se eu te apresentar um sofisma? Quando o homem se calou, <Epicteto> disse: Vês como tu mesmo concordas que a lógica é necessária, já que sem ela não é possível saber se é necessária ou não. (Epicteto, Diatribes, 2.25) ATIVIDADES Sabendo que o asserível conjuntivo corresponde à proposição conjuntiva da lógica contemporânea, diga se os a seguintes asseríveis conjuntivos são verdadeiros ou falsos: 1. O sol é uma estrela e a lua um planeta. 2. Aracaju é uma cidade e Salvador também. 99
6 Lógica I 3. Sergipe fica na Antártica e o Rio de Janeiro na América do Sul. 4. Alunos de lógica estudam as regras corretas do pensar e alunos de biologia estudam astrofísica. COMENTÁRIO SOBRE AS ATIVIDADES De acordo com a lógica proposicional estoica e contemporânea, uma conjunção só é verdadeira quando todos os conjuntos que a compõem também o são. Verifique se esses conjuntos (os asseríveis dispostos ao redor da conjunção e ) são verdadeiros ou falsos e determine a verdade ou falsidade dos asseríveis conjuntivos acima. Lembre que é preciso primeiro identificar a conjunção, para, a seguir, identificar os asseríveis e, então, efetuar o cálculo. Use (v) para verdadeiro e (f) para falso. Por exemplo: A terra é uma estrela e você é um ser humano. Temos aí dois asseríveis simples: A terra é uma estrela, que é falso e você é um ser humano, que é verdadeiro. Como um asserível conjuntivo só é verdadeiro se seus conjuntos também o forem, tal asserível conjuntivo é falso. ATIVIDADES Sabendo que o asserível disjuntivo exclusivo corresponde à proposição disjuntiva exclusiva da lógica contemporânea, e que se chama exclusiva a disjunção que é verdadeira quando apenas um dos disjuntos também o for, o que não é o caso da disjunção inclusiva, que é verdadeira também quando muitos ou todos os disjuntos também o forem, diga se os seguintes asseríveis disjuntivos exclusivos são verdadeiros ou falsos: 1. Ou o sol é uma estrela ou tartarugas são mamíferos. 2. Ou viajamos no natal ou ficamos em casa. 3. Ou Sergipe fica no Nordeste ou o Rio de Janeiro no Sudeste. 4. Alunos de lógica estudam as regras corretas do pensar ou alunos de biologia estudam astrofísica. COMENTÁRIO SOBRE AS ATIVIDADES De acordo com a lógica proposicional estoica e contemporânea, uma disjunção exclusiva só é verdadeira quando apenas um dos disjuntos também o for. Verifique se esses disjuntos (os asseríveis 100
7 A Lógica Estoica Aula 8 dispostos ao redor da conjunção ou ) são verdadeiros ou falsos e determine a verdade ou falsidade dos asseríveis disjuntivos exclusivos acima. Lembre que é preciso primeiro identificar a conjunção, para, a seguir, identificar os asseríveis e, então, efetuar o cálculo. Use (v) para verdadeiro e (f) para falso. Por exemplo: A terra é uma estrela ou você é um ser humano. Temos aí dois asseríveis simples: A terra é uma estrela, que é falso e você é um ser humano, que é verdadeiro. Como um asserível disjuntivo exclusivo é falso quando os seus disjuntos são simultaneamente verdadeiros ou simultaneamente falsos, tal asserível disjuntivo exclusivo é verdadeiro. ATIVIDADES Sabendo que o asserível negativo corresponde à proposição negativa da lógica contemporânea, e que, quando uma proposição é negada, ela tem valor de verdade trocado, isto é, se é verdadeira, sua negação é falsa, e se é falsa, sua negação é verdadeira, indique se os seguintes asseríveis e suas correspondentes negações são verdadeiros ou falsos. Use (v) para verdadeiro e (f) para falso. 1. O sol é uma estrela. 2. Sergipe fica no Nordeste. 3. Alunos de biologia estudam astrofísica. 4. A lua é um satélite natural. COMENTÁRIO SOBRE AS ATIVIDADES De acordo com a lógica proposicional estoica e contemporânea, quando uma proposição é negada, ela tem valor de verdade trocado, isto é, se é verdadeira, sua negação é falsa, e se é falsa, sua negação é verdadeira. Verifique se esses asseríveis são verdadeiros ou falsos; a seguir, efetue a negação deles e verifique seu valor de verdade. Lembre que é preciso negar o asserível como um todo. Por exemplo, a negação de É dia é Não é dia ou Não é o caso que seja dia. Por exemplo: A terra é uma estrela. Negação: Não é o caso que o sol seja uma estrela. Como o asserível simples: A terra é uma estrela, é falso, sua negação é verdadeira. 101
8 Lógica I ATIVIDADES Sabendo que o asserível condicional estoico é verdadeiro quando a contraditória da consequente está em conflito com a antecedente, verifique se as seguintes condicionais são verdadeiras ou falsas.: 1. Se é dia, há luz. 2. Se falo com Sócrates, caminho. 3. Se é dia, é dia. 4. Se a Terra é redonda, Marte é um planeta. COMENTÁRIO SOBRE AS ATIVIDADES De acordo com a lógica proposicional estoica, uma condicional é verdadeira quanto a contraditória de sua consequente está em conflito com a antecedente. Sendo assim, (1) Se é dia, há luz é verdadeira pelo critério estoico, pois não há luz está em conflito com é dia ; (2) Se falo com Sócrates, caminho é falsa, pois não caminho não está em conflito com falo com Sócrates ; (3) Se é dia, é dia é verdadeira, pois não é dia está em conflito com é dia ; (4) Se a terra é redonda, Marte é um planeta é falsa, pois Não é o caso que Marte seja um planeta não está em conflito com a Terra é redonda. RESUMO Com a aula A Lógica Estoica pretendemos apresentar noções básicas sobre essa lógica, mencionando sua redescoberta, os principais lógicos antigos envolvidos, sua divisão, que inclui, entre suas partes o que chamam de dialética, semelhante à lógica proposicional contemporânea. Salientamos também que o que aqui denominamos lógica proposicional estoica se divide em teoria dos asseríveis e teoria dos argumentos. Mencionamos também que a base do cálculo proposicional estoica compõe-se do asserível negativo (que corresponde à proposição negativa da lógica contemporânea), do asserível disjuntivo exclusivo (que corresponde à disjunção exclusiva da lógica contemporânea ), do asserível conjuntivo (que corresponde à conjunção da lógica contemporânea) e da implicação crisipeana, segundo a qual é verdadeira a condicional cuja contraditória da consequente esteja em conflito com a antecedente. 102
9 A Lógica Estoica Aula 8 AUTOAVALIAÇÃO Sou capaz de compreender como se deu a redescoberta da lógica estoica? Estou ciente de que foi criada por Crisipo de Sólis? Sou capaz de compreender que o que é, para os estoicos, um asserível negativo, um asserível disjuntivo exclusivo e um asserível conjuntivo, bem como efetuar cálculos básicos a partir dessas noções? PRÓXIMA AULA Voltaremos a oferecer técnicas de Leitura e compreensão/interpretação a partir do tema Uma introdução ao problema dos futuros contingentes. REFERÊNCIAS BARNES, J. Logic and Imperial Stoa. Leiden: Brill, BOBZIEN, S. Stoic Logic. IN: Oxford Studies in Ancient Philosophy, 14, , BOBZIEN, S. Stoic Syllogistic. IN: The Cambridge Companion to Stoics. Ed. Brad Inwood. Cambridge: Cambridge University Press CÍCERO. De finibus bonorum et malorum. Trad. H. Rackham. Harvard: Loeb, DINUCCI, A. Taxonomia dos axiomata da lógica proposicional estoica. IN: O que nos faz pensar, no. 34, p DINUCCI, Aldo e DUARTE, Walter (Orgs.). Introdução à lógica estoica. Sergipe: EDUFS, DIÓGENES LAÉRCIO. Lives of Eminent Philosophers. Trad. R. D. Hicks. Harvard: Loeb, EPICTETUS. Discourses. Trad. Oldfather. Harvard: Loeb, LONG & SEDLEY. Hellenistic Philosophers, (volume 1 e 2). Cambridge: Cambridge University Press, LUKASIEWICZ. On the History of the Logic of Proposition [1934]. IN: Jan Lukasiewicz Selected Works. L. Borkowski (Ed.). Amsterdam: North-Holland Pub. Co PEIRCE. Collected Papers, vol 3. Cambridge: Harvard, SEXTO EMPÍRICO. Against the Professors. Translated by. R. G. Bury. Harvard: Loeb Classical Library, Contra os gramáticos. Trad. Rafael Huguenin e Rodrigo Pinto de Brito. São Paulo: EDUNESP,
10 Lógica I. Contra os retóricos. Trad. Rafael Huguenin e Rodrigo Pinto de Brito. São Paulo: EDUNESP, VON ARNIM, H. Stoicorum Veterum Fragmenta Volume 1, 2, 3 e 4 Berlim: De Gruyter,
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
LÓGICA ESTOICA: UMA APRESENTAÇÃO
LÓGICA ESTOICA: UMA APRESENTAÇÃO Valter Duarte Moreira Junior Doutorando pela Universidade Estadual do Rio de Janeiro- UERJ RESUMO: O presente trabalho foi elaborado com o objetivo de apresentar de maneira
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,
ÉTICA ARISTOTÉLICA A ÉTICA EM ARISTÓTELES
A ÉTICA EM ARISTÓTELES ÉTICA ARISTOTÉLICA - A Ética aristotélica faz parte do saber prático: distingue-se do saber teórico porque seu objetivo não é o conhecimento de uma realidade determinada, mas do
NOTAS SOBRE A LÓGICA ESTOICA
NOTAS SOBRE A LÓGICA ESTOICA Valter Duarte Moreira Junior Mestrando em Filosofia pela UFS RESUMO: Diante do grande desenvolvimento da Lógica e do cálculo proposicional no século XX, estudiosos do assunto
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
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
Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Aula 2 ALGUMAS OBSERVAÇÕES SOBRE HISTÓRIA DA LÓGICA. William de Siqueira Piauí
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.
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
DISCIPLINA: TÓPICOS DE CONHECIMENTOS E LINGUAGEM I
1. IDENTIFICAÇÃO DISCIPLINA: TÓPICOS DE CONHECIMENTOS E LINGUAGEM I PROFESSOR(ES): Dr. Marcos Ribeiro Balieiro Dr. Rodrigo Pinto de Brito CARGA HORÁRIA: 90 Horas 6 Créditos INÍCIO: 26/08/2014 TÉRMINO:
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.
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
QUESTIONÁRIO DE FILOSOFIA ENSINO MÉDIO - 2º ANO A FILOSOFIA DA GRÉCIA CLÁSSICA AO HELENISMO
QUESTIONÁRIO DE FILOSOFIA ENSINO MÉDIO - 2º ANO A FILOSOFIA DA GRÉCIA CLÁSSICA AO HELENISMO ESTUDAR PARA A PROVA TRIMESTRAL DO SEGUNDO TRIMESTRE PROFESSORA: TATIANA SILVEIRA 1 - Seguiu-se ao período pré-socrático
2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores
1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos
INTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:
INTRODUÇÃO A LÓGICA Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas 1 CIENCIA E LÓGICA RACIOCINIO LÓGICO NOTAÇÃO POSICIONAL PRINCIPIOS DA LÓGICA CONECTIVOS LÓGICOS REGRAS DE
Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Ló gica. Para Concursos Públicos. Professor Luiz Guilherme
Ló gica Para Concursos Públicos Professor Luiz Guilherme 2014 1 Lógica Para Concursos Públicos Proposição... 2 Valor Lógico das Proposições... 2 Axiomas da Lógica... 2 Tabela Verdade:... 3 Conectivos:...
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
COMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Unidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
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.
A teoria das das idéias no médio-platonismo: o capítulo IX do Didascálios de Alcínoo
A teoria das das idéias no médio-platonismo: o capítulo IX do Didascálios de Alcínoo Bernardo Guadalupe dos Santos Lins Brandão geraldosantos@yahoo.com.br Programa de Pós-Graduação em Filosofia, UFMG 1.
Lógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
CASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Proposição Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico PROPOSIÇÃO TEMA: PROPOSIÇÃO A proposição lógica é o alicerce na construção do conhecimento
Campos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
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
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
Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Lógica Proposicional. 1- O que é o Modus Ponens?
1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu
RLM Material de Apoio Professor Jhoni Zini
PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração
Fundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Os Lógicos Gregos segundo Bocheński, Mates e Sedley
Os Lógicos Gregos segundo Bocheński, Mates e Sedley Paulo Alcoforado Se o termo lógica for tomado em acepção ampla e relativamente vaga, pode-se afirmar que aquilo que ele designa tem uma origem remota.
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
FILOSOFIA HELENÍSTICA CURSINHO DRUMMOND 2017 PROF. DOUGLAS PHILIP
FILOSOFIA HELENÍSTICA CURSINHO DRUMMOND 2017 PROF. DOUGLAS PHILIP CARACTERÍSTICAS GERAIS PERÍODO HELENÍSTICO (IV a.c. I d.c.) Helenismo: Designa a influência da cultura grega em todas as regiões conquistadas
Matemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Filosofia Grega Clássica - parte I: o período socrático séculos 5-4 a.c.
Filosofia Grega Clássica - parte I: o período socrático séculos 5-4 a.c. Atenas no séc. 5 a.c.: - centro da vida social, política e cultural da Grécia - época da democracia, quando os cidadãos participavam
A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 17/360
1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 17/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO
Indiscernibilidade de Idênticos. Atitudes Proposicionais e indiscernibilidade de idênticos
Indiscernibilidade de Idênticos Atitudes Proposicionais e indiscernibilidade de Consideremos agora o caso das atitudes proposicionais, das construções epistémicas e psicológicas, e perguntemo-nos se é
01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
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
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.
Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Introdução à Computação
Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1 Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma.
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á
Resolução da Questão 1 (Texto Definitivo)
Questão Redija em texto dissertativo acerca do seguinte tema. A ALMA E A CIDADE EM PLATÃO Ao elaborar seu texto, aborde, necessariamente, os seguintes aspectos: teoria política de Platão em A República
COLÉGIO MAGNUM BURITIS
COLÉGIO MAGNUM BURITIS PROGRAMAÇÃO DE 1ª ETAPA 1ª SÉRIE PROFESSOR (A): Alair Matilde Naves DISCIPLINA: Filosofia TEMA TRANSVERSAL: A ESCOLA E AS HABILIDADES PARA A VIDA NO SÉCULO XXI DIMENSÕES E DESENVOLVIMENTO
Construindo uma tese científica: pesquisa e argumentação
1 1. Artigo Tema: Ensino de argumentação filosófica Construindo uma tese científica: pesquisa e argumentação Gabriel Goldmeier Conhecimento: crença verdadeira corretamente justificada A Teoria do Conhecimento
Exercitando o raciocínio lógico-dedutivo!
Exercitando o raciocínio lógico-dedutivo! Exercícios de raciocínio lógico-dedutivo a favor de Deus. Primeiramente devemos entender o conceito da dedução lógica, para então, realizarmos o seu exercício.
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 3 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1
Lógica Computacional Métodos de Inferência Passos de Inferência Raciocínio por Casos Raciocínio por Absurdo 1 Outubro 2015 Lógica Computacional 1 Inferência e Passos de Inferência - A partir de um conjunto
UNESP 2013 (Questão 12)
UNESP 2013 (Questão 12) Do lado oposto da caverna, Platão situa uma fogueira fonte da luz de onde se projetam as sombras e alguns homens que carregam objetos por cima de um muro, como num teatro de fantoches,
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
AULA DE FILOSOFIA. Prof. Alexandre Cardoso
AULA DE 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
LÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO
ACLÉSIO MOREIRA RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL 01. (IBFC 2016) A conjunção entre duas proposições compostas é verdadeira se: a) os valores lógicos de ambas as proposições forem falsos b) se o valor
Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Plano de Ensino. EMENTA (parte permanente) PROGRAMA (parte variável)
Plano de Ensino DISCIPLINA: Ética IV PRÉ-REQUISITOS: HF376 PROFESSOR: Luiz Eva CÓDIGO: HF379 SEMESTRE: 1 / 2013 C.H. TOTAL: 60 C.H. SEMANAL: 04 EMENTA (parte permanente) Estudo de um ou mais autores clássicos
INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
n. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
Lógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
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
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 4 Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
A ARTE DO BEM-VIVER E SEU MODELO ESTRUTURAL SEGUNDO A FILOSOFIA DE EPICTETO
A ARTE DO BEM-VIVER E SEU MODELO ESTRUTURAL SEGUNDO A FILOSOFIA DE EPICTETO Fernando Fontoura, Mestrando (PUC-RS). RESUMO: O objetivo deste artigo é reforçar a concepção de filosofia como prática voltada
Alfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
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
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
Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Lógica dos Quantificadores: sintaxe
Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas
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
Fundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
3º ano Filosofia Teorias do conhecimento Prof. Gilmar Dantas. Aula 5 Aristóteles e o mundo sensível
3º ano Filosofia Teorias do conhecimento Prof. Gilmar Dantas Aula 5 Aristóteles e o mundo sensível O posicionamento das mãos dos pensadores representa a maneira de pensar de cada um deles. Platão enfatiza
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
Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada
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 E CONJUNTO. Professor: Adriano Sales
LÓGICA E CONJUNTO Professor: Adriano Sales LÓGICA Qual é o significado de argumentação? Segundo o dicionário Houaiss é: ARGUMENTAÇÃO: Arte, ato ou efeito de argumentar; Troca de palavras em controvérsia
Lógica dos Conectivos: validade de argumentos
Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior
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
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
Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Unidade 2: História da Filosofia Filosofia Clássica. Filosofia Serviço Social Igor Assaf Mendes
Unidade 2: História da Filosofia Filosofia Clássica Filosofia Serviço Social Igor Assaf Mendes Conteúdo (a) Nascimento da filosofia (b) Condições históricas para seu nascimento (c) Os principais períodos
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
MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI
MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI CONSTRUÇÃO DA TABELA- VERDADE Dada a fórmula: {A [C (A C)]} Observamos três ocorrências de conectivos:,,. O último é a primeira
Lógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
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,
Considerações historiográficas acerca da lógica dos estoicos
Considerações historiográficas acerca da lógica dos estoicos Cleverson Leite Bastos * Paulo Eduardo de Oliveira ** Resumo: O presente estudo pretende analisar algumas questões relacionadas à forma como
Matemática Discreta - Exercícios de Lógica. 1. Diga que relações lógicas existem entre as seguintes proposições:
1. Diga que relações lógicas existem entre as seguintes proposições: (a) Todos os marcianos falam inglês. (b) Todos os marcianos não falam inglês. (c) Nenhum marciano fala inglês. (d) Alguns marcianos
Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Plano de Atividades Pós-Doutorado
Plano de Atividades Pós-Doutorado O presente projeto de pesquisa tem a proposta de três bolsas de pósdoutorados, para candidatos selecionados com base em uma chamada internacional, de modo a desenvolverem
UNIVERSIDADE DE SÃO PAULO
INTRODUÇÃO À FILOSOFIA 1º Semestre de 2009 Disciplina Obrigatória Destinada: alunos de Filosofia Código: FLF0113 Sem pré-requisito Prof. Dr. João Vergílio Gallerani Cuter Prof. Dr. José Arthur Giannotti
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas Ficha técnica Autores: Professores de Filosofia do
IME, UFF 7 de novembro de 2013
em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.
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.
Lógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Lógica para Computação
Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,
Exercícios de lógica -sensibilização
Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica filosófica. Um homem olhava uma foto, e alguém lhe
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