Логика (logos - греч.) - мысль, слово, разум. Предмет изучения логики - мысль и мышление. Мышление изучается не только логикой. Логика исследует мышление как средство познания объективного мира, те его формы и законы, в которых происходит отражение мира в процессе мышления. Логика является философской наукой. Логическая форма - это строение конкретной мысли, способ связи ее составных частей. Л.ф. мысли можно выразить при помощи символов. S - субьект (понятие о предмете суждения),
P - предикат (понятие о признаке предмета). Все S есть P - все караси - рыбы, все люди - смертны.
Если S есть P , то S есть P1 - если железо нагреть, то оно расширяются.
4. Когда возникла логика как наука?
Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э.. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Можно выделить следующие исторические и региональные формы логики (приведены также их наименования, исторически существовавшие и принятые в литературе по истории формальной логики):
· Древнекитайская логика
· Индийская логика
· Европейская и ближневосточная логика: традиционная логика (в широком смысле)
· Античная и раннесредневековая логика: диалектика
· Средневековая логика
· Арабская и еврейская средневековая логика
· Восточнохристианская средневековая логика
· Западноевропейская средневековая логика: схоластическая логика, диалектика
· Логика европейского Возрождения; диалектика
· Логика Нового времени: традиционная логика (в узком смысле), формальная логика
· Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).
Логика в своём развитии прошла три порога:
· порог формализации рассуждений (во всех трёх традициях)
· введение условных (символических, буквенных и числовых) обозначений (только европейская традиционная логика)
· научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов).