ТАРСКИЙ (Tarski) Альфред (р. 1901 в Варшаве)— один из основных представителей варшавской логической школы, Учился в Варшавском университете под руководством Я. Лукасевича и С. Лесьневского. В 1924 г. защитил докторскую диссертацию на тему из области математики. В 1926 г. стал доцентом Варшавского университета. В 1939 г. эмигрировал в США, где с 1942 г. преподавал математику в Калифорнийском университете, а в 1946 г. стал профессором математики. А. Тарский — соредактор журнала «The Journal of
Symbolic Logic». Известна его всесторонняя деятельность в области логической семантики, математики, логики высказываний, теории множеств, аксиоматического метода, логики отношений (последнюю развил совместно с Мак-Кинси), а также в области арифметики, алгебры и геометрии.
Логика определяется А. Тарским как особая дисциплина, являющаяся «основой всех других наук» и имеющая своей задачей установление точного смысла терминов «не», «и», «или», «есть», «каждый», «некоторый» и многих других и выяснение самых общих закономерностей, относящихся к ним [см. 85, стр. 47]. Логика, говорит он, развивалась в независимую науку уже издавна; даже раньше, чем арифметика и геометрия, но только в недавнее время она стала интенсивно развиваться, подверглась полному преобразованию и уподобилась по своему характеру математическим дисциплинам. В этом новом виде логика известна как математическая, символическая логика. При этом А. Тарский заявляет, что новая логика «превосходит старую во многих отношениях — не только вследствие прочности своих основ и совершенства методов ее развития, но главным образом по ценности установленных ею понятий и теорем» [85, стр. 48].
И с этим в принципе нельзя не согласиться. Математическая логика есть высшая ступень в развитии традиционной логики, логики выводного знания, которая развивалась и развивается также на базе своего богатого исторического прошлого.