A Logica e a Dialética

Escola Superior de Administração e Marketing e Comunicação - ESAMC

A LÓGICA E A DIALÉTICA

A LÓGICA E A DIALÉTICA

        Trabalho apresentado na disciplina de lógica como requisito de avaliação do curso de Engenharia

SÚMARIO

1 A LOGICA FORMAL ..............................................................................................3

1. A história da logica formal .................................................................................... 3
2. Tabela verdade .......................................................................................................4

1. Negação ............................................................................................................4
2. Conjunção .........................................................................................................4
3. Desjunção...........................................................................................................4
4. Implicação..........................................................................................................5
5. Bi-implicação ....................................................................................................5

1. Forma, coerência e formalismo ...............................................................................5

1. Forma ................................................................................................................5
2. Coerência ..........................................................................................................6
3. Formalismo ...................................................................................................... 6

1. Dinâmica do conceito, juízo, raciocínio e formalização do conteúdo ....................7

1. Dinâmica do conceito e juízo ............................................................................7
2. Raciocínio e formalização do conteúdo ............................................................8

1. O PRINCIPIO DE IDENTIDADE E AS LEIS FUNDAMENTAIS DA LÓGICA FORMAL      ...........................................................................................................9

1. A lei da identidade ..................................................................................................9
2. . A lei da não contradição .......................................................................................9
3.  A lei do terceiro excluído .....................................................................................10

1. A LÓGICA DIALÉTICA    ...................................................................................10

1. O contexto histórico da dialética ............................................................................10
2.  Lógica formal e lógica dialética ........................................................................... 11

4   A LÓGICA MODERNA E AS LEIS DA DIALÉTICA ..........................................11

4.1 O esquema dialético .................................................................................................11

4.2 As leis da dialética ...................................................................................................12

4.3 Lei da interação universal, lei do movimento universal, lei dos contrários, lei dos saltos, lei da superação, regras práticas ........................................................................ 13 5. CONCEITOS .............................................................................................................14

6. REFERENCIAS .........................................................................................................16

1. A LÓGICA FORMAL

1.1 A história da lógica formal

O início do pensamento lógico formal, se dá no ano de 1882, com o filósofo alemão Friederich Frege, essa lógica formal se origina de uma hibridização do raciocínio abstrato humano com as leis imutáveis matemáticas para ocorrer a investigação e a validade das cadeias de pensamento, trazendo os pensamentos com base linguística em expressões algébricas.

Essa ramificação do pensamento lógico deu continuidade e foi acrescido de conteúdo pelo matemático inglês George Boole, conhecido por ter criado as tabelas verdade e regras de inferência para analisar as adaptações a partir da forma linguística corrente. Através do seu método, a lógica formal se tornou conhecida como linguagem booleana e permitiu analisar proposições tautológicas e não tautológicas.

Entretanto, foi Frege que criou o vocabulário que permite traduzir a língua dominante para a matemática, inserindo-se este dentro do âmbito das regras e conceitos básicos da lógica aristotélica.

Essa lógica adaptada e depois desenvolvida, foi muito importante para avanços no pensamento sistêmico do século xix, apesar de não ser perfeita e conter alguns defeitos. Vale também ressaltar que a lógica formal ou de predicados, embora esteja nos domínios da filosofia e da matemática, possui uma praticidade de aplicação no mundo, sendo bem utilizada na linguagem de computação e na criação de sistemas com inteligência artificial.

Para a composição de um vocabulário logico e formal Friederich Frege criou um sistema linguístico composto por variáveis, símbolos interpretáveis, lógicos e auxiliares de pontuação. As variáveis determinadas por ele foram representadas por letras minúsculas de “v” a “z”, com ou sem índice inferior. Indicam elementos desconhecidos e podem possuir o acréscimo de um índice inferior para ampliar sua quantidade.

Indicam elementos desconhecidos e podem possuir o acréscimo de um índice inferior para ampliar sua quantidade. Os símbolos interpretáveis se dividem em nominais e verbais. Os símbolos interpretáveis nominais indicam elementos conhecidos, representados por letras minúsculas entre “a” e “t”, com ou sem índice inferior para ampliar sua variação.

...