1)Происхождение термина «Логика».

Слово «логика» восходит к древнегреческому слову «logos» означавшему мысль, слово, понятие, закон, рассуждение, учение, наука.

Логика ведет свое происхождение от ораторского искусства. Убедить собеседника не возможно, если оратор сам себе противоречит. В Древней Греции, где важнейшие вопросы решались на советах, всякий уважающий себя философ, политический деятель или литератор старался свою речь строить так , что бы она была доходчива и разумна .В античном мире ценилось умение  высказываться точно, кратко и остроумно. Недаром, за частую не имея никаких данных о жизни многих древних мудрецов, мы тем не менее знаем о них хотя бы по одному  афоризму, некогда произнесенному ими. Как жил Евклид, чем интересовался , кроме геометрии? Неизвестно; зато все знают как он ответил ученику, спросившему; "Какая польза будет мне от изучения  математики?" Разгневанный Евклид позвал слугу и сказал; " Дай ему грош, он ищет выгоды, а не знаний!"

2) Мышление и язык: язык и мышление тесно взаимосвязаны. При помощи языка люди выражают и закрепляют результаты своей мыслительной работы, обмениваясь мыслями, добиваются взаимного понимания.

3) Понятие истинности и ложности: т.е эта категория понимается как соответствует или не соответствует действительности. Если в суждении утверждается связь, соответствующая действительности, или отрицается связь, отсутствующая в действительности, то такое суждение истинно. А если наоборот, то оно ложно.

4) Язык логики: В логике есть свой язык, который называется язык предикатов. Он применяется в логической системе, называемой исчислением предикатов. Есть так же язык высказываний. Он применяется в логической системе, называемой исчислением высказываний.

5) Определение категории знак.

Это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета. Выделяются два вида знаков: Знаки-образы – имеют определенное сходства с предметами (фотоснимки, отпечатки пальцев); Знаки-символы – не имеют сходства с предметами (нотные знаки, знаки азбуки Морзе).

7) Логическая форма мысли – это способ связи элементов мысли, её строение, благодаря которому содержание существует и отражает действительность. В реальном процессе мышления содержание и форма мысли существуют в неразрывном единстве.

Это строение этой мысли, т.е. способ связи ее основных частей.

8)Основные формально-логические законы: Логика выделяет четыре основных закона, выражающих основные свойства логического мышления- определённость, непротиворечивость, последовательность и обоснованность.

1) Закон тождества. Всякая мысль в процессе рассуждения должна быть тождественна самой себе ( а есть а; а=а; где а – любая мысль; или р, то р)

2) Закон непротиворечия. Два несовместимых с друг другом суждения не могут быть одновременно истинными, одно из них необходимо ложно. (неверно что р и не-р одновременно истинны;)

3) Закон иключённого третьего. Два противоречащих друг другу суждения не могут быть одновременно ложными, одно из них необходимо истинно. (а есть Б, либо не-Б).

4) Закон достаточного основания. Всякая мысль признаётся истинной, если она имеет достаточное основание.(если Б, то есть и его основание А).