Argumentos tanto podem ser válidos ou inválidos. Se um argumento é válido, e a sua premissa é verdadeira, a conclusão deve ser verdadeira: um argumento válido não pode ter premissa verdadeira e uma conclusão falsa.
A validade de um argumento depende, porém, da real veracidade ou falsidade das suas premissas e e de sua conclusões. No entanto, apenas o argumento possui uma forma lógica. A validade de um argumento não é uma garantia da verdade da sua conclusão. Um argumento válido pode ter premissas falsas e uma conclusão falsa.
segunda-feira, 31 de maio de 2010
EXEMPLOS DE ARGUMENTOS
EXEMPLOS DE ARGUMENTOS
Argumentos Formais e Informais
Argumentos informais são estudados na lógica informal. São apresentados em linguagem comum e se destinam a ser o nosso discurso diário. Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência.
Argumentos Dedutivos
Um argumento dedutivo é aquele cuja validade depende unicamente da sua forma lógica. Isto é, o argumento é válido se a conclusão for sustentada e apoiada logicamente pelas premissas. Mesmo que as premissas sejam falsas, supondo que são verdadeiras, se a conclusão que se segue for também verdadeira (sendo de facto falsa) o argumento é válido. A validade do argumento dedutivo não depende do conteúdo mas sim da forma lógica.
Argumentos Formais e Informais
Argumentos informais são estudados na lógica informal. São apresentados em linguagem comum e se destinam a ser o nosso discurso diário. Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência.
Argumentos Dedutivos
Um argumento dedutivo é aquele cuja validade depende unicamente da sua forma lógica. Isto é, o argumento é válido se a conclusão for sustentada e apoiada logicamente pelas premissas. Mesmo que as premissas sejam falsas, supondo que são verdadeiras, se a conclusão que se segue for também verdadeira (sendo de facto falsa) o argumento é válido. A validade do argumento dedutivo não depende do conteúdo mas sim da forma lógica.
O QUE SÃO ARGUMENTOS
O que são argumentos?
Na lógica, um argumento é um conjunto de uma ou mais sentenças declarativas (ou "proposições") conhecidas como premissas, acompanhada de uma outra frase declarativa que é conhecida como conclusão.
Um argumento dedutivo afirma que a verdade de uma conclusão é uma consequência lógica das premissas que o antecedem.
Um argumento indutivo afirma que a verdade da conclusão é apenas apoiada pelas premissas.
Toda premissa, assim como toda conclusão, - apenas pode ser verdadeira ou falsa; nunca pode ser ambígua.
Na lógica, um argumento é um conjunto de uma ou mais sentenças declarativas (ou "proposições") conhecidas como premissas, acompanhada de uma outra frase declarativa que é conhecida como conclusão.
Um argumento dedutivo afirma que a verdade de uma conclusão é uma consequência lógica das premissas que o antecedem.
Um argumento indutivo afirma que a verdade da conclusão é apenas apoiada pelas premissas.
Toda premissa, assim como toda conclusão, - apenas pode ser verdadeira ou falsa; nunca pode ser ambígua.
PROPOSIÇÕES COMPOSTAS
Uma proposição composta é um conjunto de proposições simples com seus conectivos, representada por uma letra maiúscula. Ex: P: pq ou P (p,q):p,q. Para n proposições simples com possibilidades V e F, considera-se que a tabela-verdade que os combina terá 2n linhas.
Tautologia
Tautologia é uma proposição composta onde todas as suas combinações finais são V.
Tautologia
Tautologia é uma proposição composta onde todas as suas combinações finais são V.
CONECTIVOS
O que são conectivos?
Conectivos lógicos são palavras usadas para conectar as proposições formando novas sentenças.
Os principais conectivos lógicos são:
Fonte: Wikipedia
Conectivos lógicos são palavras usadas para conectar as proposições formando novas sentenças.
Os principais conectivos lógicos são:
Fonte: Wikipedia
domingo, 30 de maio de 2010
O que é lógica?
A lógica (do grego clássico λογική logos, que significa palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é uma ciência de índole Filosófica fortemente ligada à Matemática. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fim em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros.
sábado, 29 de maio de 2010
Comentário sobre a série Dr House
A série de televisão “House” é exibida pelo canal fechado “Universal Chanel”. House é como uma espécie de Sherlock Holmes da medicina que se notabiliza por elaborar excelentes diagnósticos em situações extremamente complexas.
No começo do processo de diagnóstico os sintomas conhecidos são enunciados e escritos no quadro branco em que no mesmo são deliberadas várias doenças ou outros sintomas que vão surgindo. Como House gosta de mostrar aos outros que tem razão, recorre muitas vezes ao método Socrático que consiste em uma abordagem para geração e validação de idéias e conceitos baseada em mais perguntas.
No começo do processo de diagnóstico os sintomas conhecidos são enunciados e escritos no quadro branco em que no mesmo são deliberadas várias doenças ou outros sintomas que vão surgindo. Como House gosta de mostrar aos outros que tem razão, recorre muitas vezes ao método Socrático que consiste em uma abordagem para geração e validação de idéias e conceitos baseada em mais perguntas.
terça-feira, 25 de maio de 2010
Cálculo Proposicional
O Cálculo Proposicional Clássico (CPC) consiste num sistema simbólico de Lógica Clássica. E como todos os sistemas de lógica clássica, segue os seguintes princípios:
Bivalência: Cada fórmula recebe apenas um de dois valores distintos e absolutos, verdadeiro ou falso.
Não-contradição: Dadas uma fórmula e sua negação, uma delas é falsa.
Terceiro Excluído: Dadas uma fórmula e sua negação, uma delas é verdadeira.
Identidade: Se uma fórmula é verdadeira, então esta fórmula é verdadeira.
O CPC se distingue de outros sistemas de Lógica Clássica por lidar apenas com:
Bivalência: Cada fórmula recebe apenas um de dois valores distintos e absolutos, verdadeiro ou falso.
Não-contradição: Dadas uma fórmula e sua negação, uma delas é falsa.
Terceiro Excluído: Dadas uma fórmula e sua negação, uma delas é verdadeira.
Identidade: Se uma fórmula é verdadeira, então esta fórmula é verdadeira.
O CPC se distingue de outros sistemas de Lógica Clássica por lidar apenas com:
Tabela-Verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto.
As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein.
As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein.
Conceito de Lógica Matemática
Lógica Matemática é o uso da lógica formal para estudar o raciocínio matemático-- ou, como propõe Alonzo Church[1], 'lógica tratada pelo método matemático'. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica.(Gottlob Frege, p.ex., tentou reduzir a aritmética à lógica; Bertrand Russell e A. N. Whitehead, tentaram reduzir toda a matemática então conhecida à lógica -- a chamada 'lógica de segunda ordem'.)
