Introdução à Lógica: Tipos, Princípios e Filosofia

Filosofia e os Fundamentos da Lógica

Lógica: A lógica (do grego clássico logos, que significa pensamento, ideia, argumento, relato, razão lógica ou princípio lógico) é uma ciência de índole matemática e fortemente ligada à Filosofia. O principal organizador da lógica clássica foi Aristóteles. Ele divide a lógica em formal e material.

Lógica Aristotélica: Sistema lógico desenvolvido por Aristóteles. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

Lógica Formal: Chamada de lógica simbólica, preocupa-se com a estrutura do raciocínio.

Lógica Material: É no campo da lógica material que se pode falar em verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática: É o uso da lógica formal para estudar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

Lógica Filosófica: A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais.

Lógica de Vários Valores: Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).

Lógica e Computadores: A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico, e a linguagem de programação Prolog é comumente utilizada para isso. Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tipos de Lógica: Pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica" ou "lógica aristotélica".

Complementares da Lógica Clássica:

• Lógica Modal: Agrega à lógica clássica o princípio das possibilidades.
• Lógica Epistêmica: Também chamada "lógica do conhecimento", agrega o princípio da certeza ou da incerteza.
• Lógica Deôntica: Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Anticlássicas:

• Lógica Paraconsistente: É uma forma de lógica onde não existe o princípio da contradição.
• Lógica Paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente falsa.
• Lógica Difusa: Trabalha com o conceito de graus de pertinência.

Filosofia e os Fundamentos da Lógica (Repetição 2)

Lógica: A lógica (do grego clássico logos, que significa pensamento, ideia, argumento, relato, razão lógica ou princípio lógico) é uma ciência de índole matemática e fortemente ligada à Filosofia. O principal organizador da lógica clássica foi Aristóteles. Ele divide a lógica em formal e material.

Lógica Aristotélica: Sistema lógico desenvolvido por Aristóteles. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

Lógica Formal: Chamada de lógica simbólica, preocupa-se com a estrutura do raciocínio.

Lógica Material: É no campo da lógica material que se pode falar em verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática: É o uso da lógica formal para estudar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

Lógica Filosófica: A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais.

Lógica de Vários Valores: Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).

Lógica e Computadores: A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico, e a linguagem de programação Prolog é comumente utilizada para isso. Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tipos de Lógica: Pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica" ou "lógica aristotélica".

Complementares da Lógica Clássica:

• Lógica Modal: Agrega à lógica clássica o princípio das possibilidades.
• Lógica Epistêmica: Também chamada "lógica do conhecimento", agrega o princípio da certeza ou da incerteza.
• Lógica Deôntica: Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Anticlássicas:

• Lógica Paraconsistente: É uma forma de lógica onde não existe o princípio da contradição.
• Lógica Paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente falsa.
• Lógica Difusa: Trabalha com o conceito de graus de pertinência.

Filosofia e os Fundamentos da Lógica (Repetição 3)

Lógica: A lógica (do grego clássico logos, que significa pensamento, ideia, argumento, relato, razão lógica ou princípio lógico) é uma ciência de índole matemática e fortemente ligada à Filosofia. O principal organizador da lógica clássica foi Aristóteles. Ele divide a lógica em formal e material.

Lógica Aristotélica: Sistema lógico desenvolvido por Aristóteles. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

Lógica Formal: Chamada de lógica simbólica, preocupa-se com a estrutura do raciocínio.

Lógica Material: É no campo da lógica material que se pode falar em verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática: É o uso da lógica formal para estudar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

Lógica Filosófica: A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais.

Lógica de Vários Valores: Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).

Lógica e Computadores: A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico, e a linguagem de programação Prolog é comumente utilizada para isso. Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tipos de Lógica: Pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica" ou "lógica aristotélica".

Complementares da Lógica Clássica:

• Lógica Modal: Agrega à lógica clássica o princípio das possibilidades.
• Lógica Epistêmica: Também chamada "lógica do conhecimento", agrega o princípio da certeza ou da incerteza.
• Lógica Deôntica: Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Anticlássicas:

• Lógica Paraconsistente: É uma forma de lógica onde não existe o princípio da contradição.
• Lógica Paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente falsa.
• Lógica Difusa: Trabalha com o conceito de graus de pertinência.

Filosofia e os Fundamentos da Lógica (Repetição 4)

Lógica: A lógica (do grego clássico logos, que significa pensamento, ideia, argumento, relato, razão lógica ou princípio lógico) é uma ciência de índole matemática e fortemente ligada à Filosofia. O principal organizador da lógica clássica foi Aristóteles. Ele divide a lógica em formal e material.

Lógica Aristotélica: Sistema lógico desenvolvido por Aristóteles. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

Lógica Formal: Chamada de lógica simbólica, preocupa-se com a estrutura do raciocínio.

Lógica Material: É no campo da lógica material que se pode falar em verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática: É o uso da lógica formal para estudar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

Lógica Filosófica: A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais.

Lógica de Vários Valores: Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).

Lógica e Computadores: A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico, e a linguagem de programação Prolog é comumente utilizada para isso. Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tipos de Lógica: Pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica" ou "lógica aristotélica".

Complementares da Lógica Clássica:

• Lógica Modal: Agrega à lógica clássica o princípio das possibilidades.
• Lógica Epistêmica: Também chamada "lógica do conhecimento", agrega o princípio da certeza ou da incerteza.
• Lógica Deôntica: Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Anticlássicas:

• Lógica Paraconsistente: É uma forma de lógica onde não existe o princípio da contradição.
• Lógica Paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente falsa.
• Lógica Difusa: Trabalha com o conceito de graus de pertinência.

Filosofia e os Fundamentos da Lógica (Repetição 5)

Lógica: A lógica (do grego clássico logos, que significa pensamento, ideia, argumento, relato, razão lógica ou princípio lógico) é uma ciência de índole matemática e fortemente ligada à Filosofia. O principal organizador da lógica clássica foi Aristóteles. Ele divide a lógica em formal e material.

Lógica Aristotélica: Sistema lógico desenvolvido por Aristóteles. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

Lógica Formal: Chamada de lógica simbólica, preocupa-se com a estrutura do raciocínio.

Lógica Material: É no campo da lógica material que se pode falar em verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática: É o uso da lógica formal para estudar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

Lógica Filosófica: A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais.

Lógica de Vários Valores: Sistemas que vão além dessas duas distinções (verdadeiro e falso) são conhecidos como lógicas não aristotélicas, ou lógica de vários valores (ou então lógicas polivaluadas, ou ainda polivalentes).

Lógica e Computadores: A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico, e a linguagem de programação Prolog é comumente utilizada para isso. Na ciência da computação, a álgebra booleana é a base do projeto de hardware.

Tipos de Lógica: Pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica" ou "lógica aristotélica".

Complementares da Lógica Clássica:

• Lógica Modal: Agrega à lógica clássica o princípio das possibilidades.
• Lógica Epistêmica: Também chamada "lógica do conhecimento", agrega o princípio da certeza ou da incerteza.
• Lógica Deôntica: Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Anticlássicas:

• Lógica Paraconsistente: É uma forma de lógica onde não existe o princípio da contradição.
• Lógica Paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente falsa.
• Lógica Difusa: Trabalha com o conceito de graus de pertinência.