ЛИННЕЙ (Linné) Карл (1707−1778) − шведский естествоиспытатель. Род. в семье деревенского пастора. С юности его увлекала естественная история, особенно ботаника. В 1727 г. Л. поступил в Лундский унт, а в следующем году перешёл в Упсальский ун-т, где преподавание ботаники и медицины было поставлено лучше. Успешная учёба в ун-те привела к тому, что он остался там читать лекции и вести науч. работу. Именно в это время он начал заниматься вопросами классификации растений. В 1735 г. для продолжения карьеры Л. поступил в Хардервейкский университет в Голландии, где вскоре получил степень д-ра медицины. Его ботанические работы, особенно «Роды растений», легли в основу совр. систематики растений. В них Л. описал и применил новую систему классификации, значительно упрощавшую определение организмов. Хотя классификация Л. во многом искусственна, она была настолько удобнее всех существовавших в то время систем, что вскоре получила всеобщее признание. Её правила формулировались столь просто и чётко, что казались законами природы. Ещё более смелым трудом стала знаменитая «Система природы», первое издание к-рой было попыткой распределить все творения природы – животных, растения и минералы – по классам, отрядам, родам и видам, а также установить правила их идентификации. Исправленные и дополненные издания этого трактата выходили 12 раз в течение жизни Линнея и несколько раз переиздавались после его смерти. В 1753 г. он завершил свой великий труд «Виды растений». В нём содержатся описания и бинарные названия всех видов растений, определившие совр. ботаническую номенклатуру.
ЛОГИКА формальная (греч. λογική, от λογικός – построенный на рассуждении, от λόγος – слово, понятие, рассуждение, разум) – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой обл. знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т.п. Задача Л., к-рую вслед за Кантом обычно наз. формальной Л., историч. сводилась к каталогизации правильных способов рассуждений (способов «обращений с посылками»), позволяющих из истинных суждений-посылок всегда получать истинные суждения-заключения. Известным набором таких способов рассуждений однозначно определялся процесс дедукции, характерный для т.н. традиционной Л., ядро к-рой составляла силлогистика, созданная Аристотелем. Он создал первую классификацию логич. ошибок, первую матем. модель атрибутивных отношений, заложил основы учения о логич. доказательстве (логич. обосновании истинности). По мере изучения особенностей умозаключений и демонстративного (доказывающего) мышления вообще предмет традиционной Л. расширялся за счёт несиллогистических, хотя и дедуктивных способов рассуждений, а также за счёт индукции. Совр. формальная Л. – историч. преемник традиционной Л.
