Neste artigo, a lógica formal é definida como a ciência das leis do pensamento e a arte de aplicá-los corretamente na procura e demonstração da verdade.
Lógica formal
Duas ou mais proposições podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo: p: 1 + 1 = 2 e "Lógica é o estudo do raciocínio."
lógica material (ou maior), parte da lógica que trata da aplicação das operações do pensamento segundo a matéria ou natureza dos objetos a conhecer. Enquanto a lógica formal se preocupa com a estrutura do pensamento, a lógica material investiga a adequação do raciocínio à realidade.
Lógica Formal - estudo das condições de coerência do pensamento e do discurso. A lógica formal estuda argumentos, procurando estabelecer a relação entre a forma de um argumento e a sua validade. A lógica ensina a distinguir argumentos de não-argumentos e argumentos válidos de argumentos não-válidos.
Na lógica formal, também chamada de lógica simbólica, há a redução das proposições a conceitos bem definidos. Desse modo, o que é dito não é o mais importante, e sim, sua forma. A forma lógica dos enunciados é trabalhada através da representação (simbólica) das proposições por letras: p, q e r.
20 curiosidades que você vai gostar
A Lógica Formal, lógica clássica de Aristóteles, é uma forma de pensar, de conhecer, de organizar o raciocínio sem considerar o conteúdo. O raciocínio se faz com o relacionamento de duas idéias: as premissa e a conclusão, que na lógica chamamos de inferência. Ocorre que nem todo raciocínio é lógico.
A lógica formal ou menor compreende três partes, que tratam da apreensão e do termo, do juízo e da proposição, e do raciocínio e da argumentação.
A lógica surge como parte da filosofia, estudando o formato do pensamento. Ela analisa o modo como relacionamos as informações e se concluímos de forma correta. Ela serve como ferramenta para pensar a verdade.
A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas.
A lógica é essencialmente o estudo do raciocínio ou argumentação. ... Treinar-nos para construir bons argumentos e identificar os maus é uma habilidade que é útil em quase todos os campos, assim como na vida cotidiana. Isso nos ajuda a direcionar-nos para a verdade e para longe da falsidade.
Qual a diferença entre lógica formal e lógica dialética? A lógica formal (ou aristotélica), oferece procedimentos que podem ser utilizados em qualquer tipo de raciocínio, não apenas de forças contrárias. Para Aristóteles, a lógica é um “instrumento para conhecer”.
Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.
...
Dada uma premissa, uma conclusão, e uma regra segundo a qual a premissa implica a conclusão, eles podem ser explicados da seguinte forma:Dedução corresponde a determinar a conclusão. ... Indução é determinar a regra.
A lógica formal se preocupa em demonstrar a validade de um argumento, enquanto a lógica material se preocupa em mostrar a veracidade de um argumento. d. A lógica formal se preocupa em demonstrar a verdade, enquanto a lógica material se preocupa em mostrar a probabilidade de algo ser verdade.
Lógica informal ou lógica não-formal é o estudo dos argumentos apresentados na linguagem comum, em contraste com as apresentações de argumentos numa linguagem artificial, formal ou técnica (ver lógica formal).
A história da Lógica tem início com o filósofo grego ARISTÓTELES (384 - 322a. C.) de Estagira (hoje Estavo) na Macedônia. Aristóteles criou a ciência da Lógica cuja essência era a teoria do silogismo (certa forma de argumento válido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Ciência.
sentença declarativa, na qual podemos atribuir um valor lógico Verdadeiro ou Falso, seja ela expressa de forma negativa ou afirmativa.
A lógica investiga o que faz um silogismo ser verdadeiro, os tipos de proposições de silogismo e os elementos que constituem uma proposição.
...
Há dez categorias ou termos:Substância;Quantidade;Qualidade;Relação;Lugar;Tempo;Posição;Posse;
O exemplo clássico que resume o funcionamento da dedução na lógica aristotélica diz o seguinte: “Todos os homens são mortais. Sócrates é homem. ... “A lógica aristotélica baseia-se no pressuposto de que a razão humana é capaz de deduzir conclusões a partir de afirmações ou negações anteriores.
Para um raciocínio ser lógico é necessário atender a três princípios: princípio da identidade, princípio do terceiro excluído e o princípio da não contradição. O princípio da identidade é a veracidade das idéias, ou seja, aquilo é, o que é: uma cadeira é uma cadeira, um livro é um livro, a vida é a vida.
Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. ... O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica.
Quando Aristóteles definiu o ser humano como o animal dotado da palavra (logos), ele quis dizer que somente nós conseguimos realizar um processo de abstração do mundo físico por meio da linguagem. ... Porém, para que funcione adequadamente, a linguagem também necessita de regras.
Exemplos. é verdade simplesmente por sua forma. Ou seja, o valor "intermediário", que Sócrates não é nem mortal, nem não-mortal, é excluído pela lógica, e portanto, ou a primeira possibilidade (Sócrates é mortal) ou a negação (não é o caso de Sócrates ser mortal) tem que ser verdade.
De acordo com Aristóteles, a lógica tem como objeto de estudo o pensamento, assim como as leis e regras que o controlam, para que esse pensamento seja correto. Para o filósofo grego, os elementos constituintes da lógica são o conceito, juízo e raciocínio.
A lógica aristotélica, portanto, bem como a platônica, é essencialmente dedutiva, demonstrativa, apodíctica. O seu processo característico, clássico, é o silogismo.
A lógica aristotélica é baseada no silogismo, um sistema argumentativo baseado em proposições que levam a uma conclusão. Nesse caso, a lógica aristotélica não se preocupa em validar as proposições ou a conclusão, mas observar como as premissas foram concluídas.
Como tirar o lag dos jogos do BlueStacks?
Como tirar mancha de colher de silicone?
Como tirar som de latido de cachorro?
Como tirar informe de rendimento no Santander?
Qual o tratamento para aderência pélvica?
Como transportar ovo de Páscoa de colher?
Como transformar 8 4 em porcentagem?
Pode colocar foto no currículo sorrindo?
Como conservar sorvete para vender na rua?
Como saber se vc é introvertido ou extrovertido?
Pode levar carne congelada no carro?
Como parar de ser uma pessoa falsa?
Como é transportado o sêmen bovino?
Como saber se estou com narcolepsia?
Quanto mais pulverizados estiverem os reagentes mais rápida será a reação?