Filosofando

Conceito A Lógica é o estudo filosófico do raciocínio válido . Utilizada em atividades mais intelectuais, a lógica é estudada principalmente nas disciplinas de filosofia, matemática, semântica e ciência da computação. O conceito de forma lógica é central à lógica, e assenta na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. Lógica de predicados Gottlob Frege, em sua Conceitografia, descobriu uma maneira de reordenar várias orações para tornar sua forma lógica clara, com a intenção de mostrar como as orações se relacionam em certos aspectos. Antes de Frege, a lógica formal não obteve sucesso além do nível da lógica de orações: ela podia representar a estrutura de orações compostas de outras orações, usando palavras como "e", "ou" e "não", mas não podia quebrar orações em partes menores. Não era possível mostrar como "Vacas são animais" leva a concluir que "Partes de vacas são partes de animais". A lógica de orações explica como funcionam palavras como "e", "mas", "ou", "não", "se-então", "se e somente se", e "nem-ou". Frege expandiu a lógica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variáveis e quantificadores para reorganizar orações. Para introduzir um quantificador "todos", você assume uma variável arbitrária, prova algo que deva ser verdadeira, e…

hMenez es Linguagens Formais e Autômatos P. Blauth Menezes 1 2 3 4 5 6 7 8 9 Linguagens Formais e Autômatos Introdução e Conceitos Básicos Linguagens e Gramáticas Linguagens Regulares Propriedades das Linguagens Regulares Autômato Finito com Saída Linguagens Livres do Contexto Propriedades e Reconhecimento das Linguagens Livres do Contexto Linguagens Recursivamente Enumeráveis e Sensíveis ao Contexto Hierarquia de Classes de Linguagens e Conclusões 2 1 – Introdução e Conceitos…

INTRODUÇÃO A lógica antiga, moderna ou clássica não era plenamente formal, pois não era apática aos conteúdo das preposições nem às operações intelectuais do sujeito do conhecimento. Era atribuída a forma lógica o valor de falsidade ou verdade com base na falsidade ou verdade dos atos de conhecimento do sujeito e na irrealidade ou realidade dos objetos conhecidos. Em oposição a essa linha de pensamento, a lógica contemporânea, procura se tornar um cálculo simbólico, preocupando-se…

INTRODUÇÃO A ÁLGEBRA AULA 1 . Introdução á disciplina "Introdução a Álgebra". Descrição dos conteúdos . Sistema de avaliação da disciplina. Conceito de lógica. Proposição. Negação. Proposição composta. Dr. Alejandro Duffus Scott. duffus48@yahoo.com Conteúdos programáticos • • • • • • • • • • • Los conteúdos programáticos de esta disciplina são: Noções de Lógica; Conjuntos.. Números Naturais. Números Inteiros; Princípio de indução finita. Números racionais. Números Irracionais.…

Argumentação e Demonstração Enquanto a lógica formal é a lógica da demonstração, a lógica informal é a da argumentação. Enquanto a demonstração é correcta ou incorrecta, constringente no primeiro caso e sem valor no segundo, os argumentos são mais ou menos fortes, mais ou menos pertinentes, mais ou menos convincentes. Na argumentação não se trata de mostrar, como na demonstração, que uma qualidade objectiva, como a verdade, passa das premissas para a conclusão, mas que se pode fazer…

A Lógica (do grego λογική logos1 ) é o estudo filosófico do raciocínio válido2 . Utilizada em atividades mais intelectuais, a lógica é usada principalmente nas disciplinas de filosofia, matemática, semântica e ciência da computação. Ela examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na…

1- Por que a lógica não entra na classificação aristotélica das ciências? Resposta: Para Aristóteles, a lógica não era uma ciência teorética, nem prática nem produtiva, mas um instrumento para as ciências. Eis por que o conjunto das obras lógicas aristotélicas recebeu o nome de Órganon. 2- No pensamento aristotélico, quais as principais características da lógica? Resposta: As principais características da lógica no pensamento aristotélico são: instrumental, formal, propedêutica ou…

1- Por que a lógica não entra na classificação aristotélica das ciências? Resposta: Para Aristóteles, a lógica não era uma ciência teorética, nem prática nem produtiva, mas um instrumento para as ciências. Eis por que o conjunto das obras lógicas aristotélicas recebeu o nome de Órganon. 2- No pensamento aristotélico, quais as principais características da lógica? Resposta: As principais características da lógica no pensamento aristotélico são: instrumental, formal, propedêutica ou…

Muzambinho para o seminário de Linguagens Formais e Autômatos. Orientadora: Professora Aracele Garcia de Oliveira Muzambinho 2011 1 – INTRODUÇÃO Este trabalho retrata o matemático estaduniense Alonzo Church. De princípio, haverá uma explanação a respeito de sua vida e contribuições. Logo após, contribuições estas, serão dissertadas com explicação das circunstâncias que ocorreram. 2 – VISÃO GERAL Alonzo Church (Washington, DC, 14 de junho de 1903 – Hudson (Ohio) – 8 de…

Trabalho De Língua Portuguesa Linguagem formal e informal Professora: Maiza 6ºano Sala: A Aluno: Lucas Gabriel Data: 14/02/2012 Convivemos em uma sociedade na qual trocamos experiências com as outras pessoas a todo o momento, seja para ensinar ou para aprender com elas. E esta troca de experiências só é permitida porque podemos utilizar de um recurso muito precioso – a linguagem. Ao falar, usamos a linguagem oral, e para escrever, a…