8 лучших цитат и высказываний Альфреда Тарского

Вы не найдете в семантике лекарства от гнилых зубов, от иллюзии величия или классового конфликта.

... семантика ... является трезвой и скромной дисциплиной, которая не претендует на роль универсального патентованного лекарства от всех болезней и болезней человечества, воображаемых или реальных. Вы не найдете в семантике лекарства от гнилых зубов, от иллюзии величия или классового конфликта. Семантика также не является средством установления того, что все, кроме говорящего и его друзей, говорят чепуху.

Если математик желает принизить работу одного из своих коллег, скажем, А, наиболее эффективным методом, который он находит для этого, является вопрос о том, где можно применить результаты. Прижатый к стене человек в конце концов находит исследования другого математика Б как место применения своих собственных результатов. Если следующего В заинтересует аналогичный вопрос, он сошлется на другого математика С. После нескольких шагов такого рода мы снова оказываемся отнесенными к исследованиям А, и таким образом цепочка замыкается.

Предложение «снег бел» истинно тогда и только тогда, когда снег бел.

Однако машина позволила бы нам проверить гипотезу для любого специального значения n. Мы могли бы проводить такие тесты для последовательности последовательных значений n=2,3,.. вплоть до, скажем, n=100. Если бы результат хотя бы одного теста был отрицательным, гипотеза оказалась бы ложной; в противном случае наша уверенность в гипотезе возросла бы, и мы почувствовали бы побуждение попытаться установить гипотезу вместо того, чтобы пытаться построить контрпример.

Не может быть сомнения, что знание логики имеет большое практическое значение для всякого, кто хочет правильно мыслить и делать выводы.

Это может быть непопулярно и несовременно, но я не думаю, что научный результат, который дает нам лучшее понимание мира и делает его более гармоничным в наших глазах, должен пользоваться меньшим уважением, чем, скажем, изобретение, которое снижает стоимость мощения дорог или улучшает бытовую сантехнику.

Логика справедливо считается основой всех других наук, хотя бы только потому, что в каждом рассуждении мы пользуемся понятиями, взятыми из области логики, и что всегда правильный вывод происходит по ее законам.