Логические основы вычислительной техники Формы мышления

Логика - это наука о формах и способах мышления.

Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание и умозаключение.

Понятие выделяет существенные признаки объекта, которые отличают его от других объектов. Объекты, объединенные понятием, образуют некоторое множество.

Высказывание строится на основе понятий и по форме является повествовательным предложением. Высказывание может быть истинным или ложным. Высказывание может быть простым или составным.

Умозаключения позволяют на основе известных фактов, выраженных в форме суждений (высказываний), получать заключение. То есть новое знание.

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.