UNIVERSIDADE FEDERAL DO MARANHO CENTRO DE CINCIAS SOCIAIS DEPARTAMENTO DE BIBLIOTECONOMIA CURSO DE BIBLIOTECONOMIA DISCIPLINA: LGICA PROFESSORA: CARMEM ALUNO:

WEDSON JONAS BARROS SILVA

CDIGO: BI1011382

Resumo do Texto - LGICAS, LGICAS: UMA VISO PANORMICA

A Lgica Formal trata da validade de argumentos, ou seja, da legitimidade de se apresentar uma proposio (a concluso) como verdadeira a partir da verdade de outras proposies (as premissas). Nessa perspectiva, o texto nos infere que a lgica formal temporal, ou seja, as proposies so admitidas como verdadeiras ou falsas abstraindose o tempo e apenas a forma com que elas conectam-se entre si determina seu valor, sendo verdadeira ou a validade de uma argumentao da qual essas proposies faam parte. No aspecto abordado, pode-se conduzir a outro sistema lgico coerente, ainda que bem diferente do sistema clssico. Assim, dentro desse sistema lgico no clssico as diversas lgicas poderiam representar diferentes modos de conduzir o raciocnio, casa um com um mbito de legitimidade. . Nesse ponto, o texto nos remete outras lgicas que oferecem ferramentas adicionais a analise do discurso e do pensamento humano. Essas lgicas so classificadas como No-Clssicas. Dentro desse conjunto encontram-se as seguintes divises: Extenses da lgica clssica, por incorporarem mais recursos expressivos: Lgicas temporais - consideram o fator tempo na avaliao de uma afirmao e na validao de um argumento. Lgicas modais incorporam operadores que modulam a verdade ou a falsidade, representando a possibilidade e a necessidade.

Alternativas lgica clssica, por rejeitarem algum de seus princpios:

Lgicas trivalentes contemplam trs valores de verdade: o verdadeiro, o falso e o que no nem verdadeiro, nem falso, por desconhecido ou incerto.

Lgicas

polivalentes

so,

fundamentalmente,

lgicas

probabilsticas, em que os valores de verdade se correspondem com o intervalo [0,1]. Nessa classe, destacam-se as lgicas fuzzy e indutiva. Lgicas paraconsistentes - negam o princpio da no-contradio, aceitando que uma proposio possa ser e no-ser,

simultaneamente.

ANLISE CRTICA A lgica clssica no d conta das inmeras experincias humanas que no podem ser traduzidas em sentenas classificveis, exclusivamente, em verdadeiras ou falsas, mostrando-se insuficiente na representao dos vrios tipos de argumento informal. As lgicas no clssicas, como extenses da Lgica Formal buscam aperfeioar a representao do raciocnio humano, e dessa maneira sobrepem-se com relao s limitaes das preposies aristotlicas. Nesse sentido, na tentativa de preencher as lacunas do formalismo da lgica clssica, alguns avanos podem ser obtidos, no entanto a cada novo avano mais lacunas aparecem. E nesse aspecto, a formalizao proposta por Aristteles e outros tericos permanece inativa.

QUESTES:

01 Qual a diferena da lgica formal aristotlica das outras lgicas, classificadas no texto como no clssicas? 02 O texto nos remete a reflexo sobre a permanncia inatingvel da formao completa do raciocino humano a partir das proposies de Aristteles e outros tericos. Nesse aspectos que caractersticas apontam para essa permanncia inatingvel?

03 Como as diversas lgicas poderiam representar diferentes modos de conduzir o raciocnio humano?