КОТАРБИНЬСКИЙ (Kotarbinski) Тадеуш (р.1886)__польский философ и логик, действительный
член Польской Академии наук, иностранный член АН СССР. В 1951—1961 гг. заведовал кафедрой логики Варшавского университета. Областью своей деятельности он называет логику как общеобразовательную дисциплину, непосредственно связанную с жизнью и объемлющую вопросы теории познания, семантики естественного, т. е. повседневного языка, а также проблемы методологии и дидактики. Вначале свое философское учение Котарбиньский называл «реизмом» (от лат. слова res — вещь), согласно которому существуют только вещи, которые познает человек; а поскольку не существует общих предметов, а существует лишь бесконечнее множество конкретных тел, он называл свое учение также и «конкретизмом». Это был материализм, но такой материализм, которому были присущи определенные пробелы и слабости. В последние годы Котарбиньский все более сближается с позицией диалектического и исторического материализма.
Формальную логику Котарбиньский определяет как теорию необходимого вывода, в которой он видит ядро всех других видов логики. Данная наука, разъясняет он, учит о том, как в зависимости от структуры одних предложений из них необходимо вытекают другие предложения, причем тоже строго определенной структуры. Напр., формальная логика утверждает, что из предложения структуры: «Ни одно А не есть В» необходимо вытекает предложение структуры: «Ни одно В не есть А». Формальная логика, по определению Котарбинь-ского, входит наряду с семантикой, теорией познания и методологией наук в логику в широком смысле слова.
Правильно определив предмет формальной логики, Котарбиньский отобразил прошедшую ступень во взглядах на определение места формальной логики
в классификации наук. Формальная логика давно уже отпочковалась от философии и является самостоятельной конкретной наукой. Так, в советской действительности философия марксизма-ленинизма является общей методологией и мировоззренческой наукой для формальной логики.