A lógica formal e suas leis básicas

click fraud protection

lógica - a ciência de métodos, leis e formas de pensar.A lógica formal foi desenvolvido pelos antigos gregos muito antes de nossa era.Foram os primeiros gregos a construir uma sociedade democrática onde as leis e as decisões tomadas na Assembleia Nacional.Eles criaram uma ciência primitiva de litígio.Um passatempo favorito dos jovens aristocrático teve discussões com os filósofos.Por isso, o amor universal para o desenvolvimento da ciência teórica.Gregos só tinha a doutrina de como ser evidência científica.

primeiro curso as noções básicas de lógica desenvolvida por Aristóteles.Ele chamou a atenção para o fato de que todos os argumentos baseiam-se na lei comum, cuja violação conduz a conclusões errôneas.A lógica formal de Aristóteles foi baseado nessas leis:

  1. Se julgamentos são afirmativa, o que fazem deles a conclusão não pode ser negativo.
  2. Se uma das declarações é negativo, ea conclusão geral será sempre negativa.

Parece que a lógica formal - um conhecimento dos princípios e leis de forma eficaz, a construção adequada de raciocínio no que diz respeito à forma de sua construção (maneiras de conectar partes de considerações gerais).

Todos os fenômenos e objetos têm um relacionamento.Os links podem ser objetiva ou subjetiva, compartilhado ou privado, necessário ou acidental.O mais significativo desses títulos são chamados de leis.Todos eles refletem a mesma realidade, portanto, não podem se contradizer.Todas as leis do pensamento humano estão ligados às leis da natureza.Leis

de pensamento são conexão interna estável entre pensamentos.Se uma pessoa não pode vincular seus pensamentos, ele não chegou à conclusão de direita e não será capaz de trazê-lo para os outros.

leis básicas da lógica formal - as leis de consistência, a identidade, o meio excluído ea lei da razão suficiente.O desenvolvimento dos três primeiros pertencem a Aristóteles e Platão, a última - Leibniz.As violações dessas leis (especialmente os três primeiros) leva a contradições, tornando-se impossível distinguir a verdade da mentira.Últimos menos regulamentos e da lei aplica-se mais limitada.

Non-core leis da lógica - é a legislação de conceitos e julgamentos de funcionamento, obtenção de conclusão verdadeira em um silogismo, aumentando a probabilidade de raciocínio indutivo e conclusões traduktivnogo personagem.Consistência Act

significa que o pensamento não deve ser controverso, e deve refletir a qualidade de certas coisas.

lei do terceiro excluído não requer olhar entre os dois declaração conflitante, mas é verdade uma terceira coisa, e reconhecer a verdade de apenas um deles.Um dos componentes do conflito - certamente verdadeira.Lei

da lógica formal trata identidade como uma exigência do pensamento de precisão, ou seja, a partir de qualquer termo que você precisa entender exatamente sua definição e significado.A essência dos conceitos e julgamentos não podem distorcer a vontade.Lei

da razão suficiente é que qualquer verdadeiro pensamento necessária para justificar os verdadeiros pensamentos dos outros, e idéias falsas não pode ser justificada.No desenvolvimento das decisões deverão reflectir uma relação causal.Só que neste caso pode ser comprovada confiabilidade.

forma lógica de pensamento e formas de definir qualquer forma de pensamentos expressos por termos lógicos, que incluem a palavra "e", "ou", "se ... então ..." negação "não é verdade que"(" não "), a palavra" alguns "," all "(" não "), um grupo de" essência "(na acepção do" é "), etc.Identificar a forma lógica de julgamento pode ser distraído do significado dos termos de ilógico que são expressão verbal do presente acórdão.Em outras palavras, a lógica formal expressa a estrutura de pensamento.Forma lógica é sempre informativo e significativo.

Dependendo de suas formas de pensamento são divididos em classes: os conceitos, raciocínio e julgamento.O conceito - a idéia generaliza objetos com base em suas características básicas.Julgamento - a ideia, afirmando a presença (ausência) da situação.Inferência - pensou, refletindo a aquisição de conhecimento como expresso nos julgamentos de outros conhecimentos.