PESQUISA

Lógica formal e suas leis básicas

Lógica - a ciência dos métodos, leis e formaspensando. A lógica formal foi desenvolvida pelos gregos antigos muito antes da nossa era. Foram os gregos os primeiros a construir uma sociedade democrática, onde as decisões e as leis foram tomadas nas assembléias populares. Eles criaram uma ciência do litígio em um nível primitivo. Uma ocupação favorita da juventude aristocrática foram as discussões com os filósofos. Daí o amor universal pelo desenvolvimento das ciências teóricas. Os gregos só precisavam de um ensinamento sobre como custar evidências científicas.

O primeiro curso dos fundamentos da lógica desenvolvido por Aristóteles. Ele chamou a atenção para o fato de que qualquer raciocínio é baseado em leis gerais, cuja violação leva a conclusões errôneas. A lógica formal de Aristóteles baseou-se nas seguintes leis:

  1. Se os juízos forem afirmativos, a conclusão deles retirada não pode ser negativa.
  2. Se uma das afirmações for negativa, a conclusão geral será sempre negativa.

Portanto, a lógica formal éconhecimento dos princípios e leis da construção efetiva e correta do raciocínio, levando em conta a forma de sua construção (maneiras de conectar as partes individuais do raciocínio geral).

Todos os fenômenos e objetos estão inter-relacionados. Relacionamentos podem ser objetivos ou subjetivos, gerais ou particulares, necessários ou incidentais. A mais significativa dessas conexões é chamada de leis. Todos eles refletem a mesma realidade, portanto, eles não podem se contradizer. Todas as leis do pensamento humano estão relacionadas com as leis do desenvolvimento da natureza.

As leis do pensamento são uma conexão interior estável entre os pensamentos. Se uma pessoa não puder conectar seus pensamentos, ela não chegará à conclusão correta e não poderá trazê-la a outros.

Leis básicas da lógica formal - estas são as leis da consistência, da identidade,exceções do terceiro e da lei da razão suficiente. O desenvolvimento dos três primeiros pertence a Aristóteles e Platão, o último - Leibniz. Violações dessas leis (especialmente as três primeiras) levam a contradições, tornando impossível distinguir a verdade das mentiras. Esta última lei é menos normativa e é aplicada de forma mais restritiva.

Leis não-essenciais da lógica são regras.julgamentos e conceitos operacionais, obtendo uma conclusão verdadeira no silogismo, aumentando a probabilidade de conclusões de inferência indutiva e tradicional.

A lei da consistência significa que o pensamento não deve ser contraditório, mas deve refletir a certeza qualitativa das coisas.

A lei do meio excluído prescreve nãopesquisar entre duas afirmações contraditórias, mas verdadeiras, em terceiro lugar, e reconhecer a verdade de apenas uma delas. Um dos componentes da contradição é, por todos os meios, verdadeiro.

A lei da identidade lógica formal trata comoa exigência de pensar a precisão, ou seja, sob qualquer termo, você precisa entender com precisão sua definição e significado. A essência dos conceitos e julgamentos não pode ser distorcida à vontade.

A lei da razão suficiente é queque qualquer pensamento verdadeiro deve ser justificado por outros pensamentos verdadeiros, e pensamentos falsos não podem ser substanciados. No desenvolvimento de julgamentos deve refletir a relação causal. Só neste caso a sua confiabilidade pode ser comprovada.

A forma lógica do pensamento e como determinar formasquaisquer pensamentos são expressos com a ajuda de termos lógicos, que incluem as conjunções "e", "ou", "se ..., então ...", nega "não é verdade" ("não"), as palavras "algumas", tudo ”(“ não um ”), um monte de“ essência ”(que significa“ é ”), etc. Identificar a forma lógica de julgamento pode ser distraído do significado de termos ilógicos, que são incluídos na expressão verbal deste julgamento. Em outras palavras, a lógica formal expressa a estrutura do pensamento. A forma lógica é sempre informativa e informativa.

Dependendo de suas formas, os pensamentos são divididos em classes: conceitos, conclusões e julgamentos. Um conceito é um pensamento que generaliza objetos com base em suas características básicas. Um julgamento é um pensamento afirmando a existência (ausência) do estado de coisas. A inferência é um pensamento que reflete a aquisição de conhecimento, expresso em julgamentos, de outros conhecimentos.

  • Avaliação: