(ló.gi.ca)

sf.

1. Forma de raciocinar coerente, em que se estabelecem relações de causa e efeito; a coerência desse raciocínio: Use a lógica para analisar essa questão: explicação sem lógica.

2. Modo de raciocinar próprio de alguém ou de um grupo: a lógica dos adolescentes

3. Modo coerente pelo qual coisas ou acontecimentos se encadeiam: a lógica da guerra

4. Fil. A parte da filosofia que estuda as leis do pensamento e que expõe as regras que devem ser observadas na exposição da verdade

5. O livro, compêndio ou tratado que ensina essa ciência

[F.: Do gr. logiké (tékhné) 'a ciência do raciocínio #####]

Lógica aristotélica
1 Fil. Ver Lógica formal.

Lógica booliana
1 Mat. Inf. Ver Álgebra booliana no verbete álgebra.

Lógica das proposições
1 Fil. Na Lógica formal (2), a parte que trata do Cálculo proposicional (ver no verbete cálculo); lógica sentencial.

Lógica das relações
1 Fil. Na Lógica formal (2), parte que trata do Cálculo funcional (ver no verbete cálculo).

Lógica dialética
1 Fil. Método lógico do hegelianismo, no qual a cada afirmação (tese) corresponde sua negação (antítese), desenvolvendo-se dessa contradição uma nova afirmação (síntese), e assim por diante.

Lógica difusa
1 Fil. Mat. Derivação da Lógica booliana, na qual uma proposição pode assumir graus intermediários de veracidade ou falsidade, ou seja, pode ser representada por número intermediário entre 0 e 1; lógica fuzzy. [Parametriza as variações e incertezas inerentes à linguagem natural.]

Lógica formal
1 Filos. Na filosofia clássica, os conceitos, métodos etc. do raciocínio lógico, independentemente dos conteúdos que enuncia; lógica aristotélica.
2 Na filosofia empirista e positivista, a parte que trata da estrutura das proposições e método pelo qual, a partir delas, se deduzem conclusões verdadeiras. [Compreende a Lógica das proposições e a Lógica das relações.]

Lógica fuzzy
1 Ver Lógica difusa.

Lógica matemática
1 Fil. Método, e seu estudo, de expressar as estruturas lógicas do pensamento em rigorosa linguagem matemática, a partir de alguns axiomas; lógica simbólica.

Lógica material
1 Fil. Aquela que estuda os métodos e leis do pensamento para identificar aqueles que levam à conclusão verdadeira e aqueles que conduzem a conclusão falsa. [Cf.: lógica transcendental.]

Lógica modal
1 Fil. A que contrapõe às proposições de simples afirmação e de negação as noções condicionantes de possibilidade e de necessidade.

Lógica polivalente
1 Lóg. Sistema de pensamento lógico no qual se admite a existência de mais de dois valores de verdade.

Lógica sentencial
1 Fil. Ver Lógica das proposições.

Lógica simbólica
1 Fil. Ver Lógica matemática.

Lógica transcendental
1 Fil. Método lógico do kantismo baseado na razão pura, ou seja, no princípio intrínseco do entendimento e do conhecimento, e de sua validade objetiva, independentemente da experiência, e anterior a ela. [Cf.: lógica material.]