Основные положения и понятия классической формальной логики

Классическая формальная логика изначально появилась в качестве теоретической дисциплины, призванной быть инструментом или органом (как выражались древние, «органоном») теоретико-мировоззренческой деятельности во всех её проявлениях. Область использования логического знания оказалась предельно широка: от так называемой сферы здравого смысла обыденного познания до инструментального аппарата специализированных научных дисциплин. И, конечно же, логическое знание по большому счёту происходит из философии как сферы основного его функционирования, что даёт основания считать логику по преимуществу философской наукой. Фактически научная логическая проблематика выявилась на рубеже V—IV вв. до н.э. в тех древних цивилизациях (Греция, Индия и Китай), где в рамках появившегося в VII—VI вв. до н.э. философского мировоззрения началось теоретико-понятийное выяснение содержания связи истинности той или иной выражаемой языком (вербально) человеческой мысли о действительности со строением самой этой мысли. Не занимаясь выяснением истинности или ложности конкретной мысли о действительности, логика как наука решает проблему правильности построения самого акта мышления, так чтобы из истинной исходной информации можно бы было гарантированно — или во всяком случае осмысленно — получать новую истинную информацию. Стороны, смысловые моменты указанной выше связи могут быть сгруппированы в три круга проблем: языковой (логико-семиотический); построения теории правильных (дедуктивных) рассуждений; правил и способов организации систем знаний (логико-методологический). В ходе решения указанных проблем выкристаллизовались фундаментальные логические понятия: истинности (ложности); признака, знака с его значением и смыслом; логической формы, логического закона; формальной правильности; логического следования; логической теории и т. д. Исторически в логике как науке используются понятия истинности и ложности мысли (суждения, умозаключения) в качестве относящихся только к конкретному содержанию какого-либо суждения (или их цепочки) о действительности (принцип конкретности истины).