Логика (гр. λογική - «талдауға құрылған», λόγος — «сөз», «сөйлем», «ойлау», «ақыл») — ойлау, оның формалары мен заңдылықтары туралы ғылым. Логика дәлелдеу мен теріске шығарудың белгілі бір әдіс-тәсілдері қаралатын ғылым теориялар жиынтығын құрайды.Логика тарихы философия тарихымен тығыз байланысты. Логиканың алғашқы тарихи нұсқасын б.з.б. 4 ғасырда ежелгі грек философы Аристотель жасаған. Ол дедуктивтік ой қорытулар теориясын (яғни силлогистиканы) қалыптастырып, логика қателердің алғашқы жіктелімін жасап берді және Логикалық дәлелдеу туралы ілімнің негізін қалады. Дәстүр бойынша Аристотельдің Логикасы — аподейктика — анық, ақиқат білім туралы ілім, ол Аристотельдің “Аналитикасында” баяндалған.
Мәлімет http://kk.wikipedia.org сайтынан алынды.