Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo de Logica Formal e Informal
Resumo de Logica Formal e Informal
Segue-se
Portanto
Consequentemente
Por isso
Por conseguinte
Da que
Infere-se que
Concluo
Indicadores de Premissa
Ora
Visto que
Dado que
Devido a
Porque
A razo que
Como
Por causa de
Os juzos nos quais se diz que alguns ou todos os membros da classe nomeada
pelo sujeito se incluem ou no se incluem na classe representa pelo predicado
d-se o nome de juzos categricos.
Os juzos podem ser classificados quanto quantidade em:
o Uma proposio universal aquela na qual o sujeito representa todos
os membros de uma classe, ou seja, tomado em toda a sua extenso.
[Quantificadores -> todo(s) e nenhum(ns)]
o Uma proposio particular aquela na qual o sujeito representa uma
parte no determinada dos membros de uma classe, isto , tomada em
parte indeterminada da sua extenso. [Quantificadores -> algum(s)]
o Os juzos singulares so os que tm como sujeito um ente concreto,
determinado, sendo equiparados aos juzos universais, pois a extenso
de um termo singular , contendo um s ente, tomado em toda a sua
extenso neste juzo.
A qualidade de uma proposio a propriedade que ela tem de ser afirmativa
ou negativa.
o Proposio negativa cpula indica que o predicado no convm
ao sujeito. -> Predicado universal.
o Proposio afirmativa cpula indica que o predicado convm ao
sujeito. -> Predicado particular.
Um silogismo categrico um raciocnio dedutivo constitudo por 3 proposies:
2 premissas e 1 concluso que deve derivar necessariamente das premissas.
Um silogismo categrico contm 3 termos, que aparecem duas vezes nas
diferentes proposies.
O termo mdio aquele que aparece em ambas as premissas, mas no aparece
nem pode aparecer na concluso.
O termo maior o predicado da concluso, aparecendo tambm na premissa
maior.
O termo menor o sujeito da concluso e aparece na premissa menor.
Regras da validade dos silogismos:
1. O silogismo categrico s pode conter 3 termos e cada termo deve ter o
mesmo significado ao longo do argumento.
2. O termo mdio s pode aparecer nas premissas.
3. Os termos maior e menor no podem ter maior extenso na concluso do
que tm nas premissas, ou seja, os termos tm de estar distribudos nas
premissas se estiverem distribudos na concluso.
4. O termo mdio dever ter extenso universal em elo menos umas das
premissas, ou seja, o termo mdio tem de estar distribudo pelo menos uma
vez.
5. Premissas afirmativas exigem uma concluso afirmativa.
6. De premissas negativas nada se pode concluir.
7. De premissas particulares nada se pode concluir.
8. A concluso segue sempre a parte mais fraca: ser negativa se houver uma
premissa negativa, ser particular havendo uma premissa particular.
Usando padres vlidos de argumentao, identificados pela lgica dedutiva,
temos a garantia de que, se as premissas forem verdadeiras, as concluses
tambm so verdadeiras. Esta garantia s pode ser dada pela deduo e, por
isso, as conexes dedutivas so as mais seguras de que dispomos.
Os instrumentos da lgica formal so indispensveis para a construo e
avaliao crtica do corpo de crenas ou conhecimentos.
A deduo no abrange todo o domnio da argumentao pelo que tem de ser
complementada com outros padres de argumentao, estudados pela lgica
no dedutiva ou informal.
Na lgica dedutiva, logo que se detecta a invalidade de um argumento, este
abandonado sem que se lhe reconhea qualquer grau de fora. Contudo a
lgica informal permite estudar argumentos, que embora a concluso possa ser
falsa, nos do razes para aceitarmos que a concluso plausvel, provvel ou
verosmil.
A lgica informal necessria para avaliar os argumentos que apesar de
invlidos, do algum apoio concluso.
o Existem argumentos fortes, que apesar de invlidos, justificam a nossa
aceitao da concluso.
A lgica informal estuda as regras ou padres que tornam um argumento forte.
o A lgica informal admite que os argumentos tenham graus de fora,
permitindo-nos estudar os padres ou critrios segundo os quais
graduamos os argumentos informais.
A lgica informal necessria, porque precisamos de uma lgica que no
prescinda de referncias aos contedos.
A lgica informal necessria para estudar os aspectos concretos da
argumentao.
o Reconhece que a argumentao em concreto exige pelo menos 2
argumentadores, que tm um conhecimento parcelar e inseguro que
ajuda a distinguir as maneiras correctas de orientar o pensamento para a
verdade.
Os erros tpicos da argumentao designam-se falcias, podendo estas ser
involuntrias (paralogismos) ou voluntrias (sofisma).
As falcias formais so erros de raciocnio que resultam exclusivamente da
forma lgica.
As falcias informais so erros de raciocnio que no resultam exclusivamente da
forma lgica, ou seja, so erros argumentativos, cuja invalidade no resulta de uma
deficincia lgica, mas sim do contedo do argumento, da sua matria
dependente, portanto da linguagem natural comum.
Generalizao Indutiva:
o Consiste em atribuir a todos os casos possveis de certo tipo aquilo que se
verificou em alguns desses casos.
Os argumentos so constringentes e
necessrios.
As consequncias so necessariamente
verdadeiras.