Для философских воззрений Xинтикки характерна критика неопозитивизма. Xинтикка описал и доказал существование «дистрибутивной нормальной формы». С этим новым понятием связаны также и другие его достижения: разработка семантики возможных миров (модельных множеств) и деление понятия информации на поверхностную и глубинную. Обладая свойством частично упорядоченного множества, дистрибутивная нормальная форма, по Xинтикке, имеет «глубину». «Глубина» – это максимальная длина последовательностей вложенных кванторов, другими словами – число всех различных связанных переменных, когда это число сведено к минимуму путем их переименования. Конституента дистрибутивной нормальной формы определенной глубины дает полное описание одного из возможных миров. В данном случае перед нами открывается совокупность формул, расположенных на одной ветви дерева поиска доказательства или опровержения. Именно таким образом конституенты этого вида нормальной формы перечисляют все состояния возможных миров. Нетривиальной дедукцией Xинтикка называет увеличение первоначальной глубины, показывающее, что некоторые конституенты, не являющиеся тривиально противоречивыми, на самом деле противоречивы. Через нетривиальную дедукцию идет рост поверхностной информации. Если поверхностная информация сообщает нам нечто о реальности, то глубинная информация представляет собой ограничение неопределенности этого сообщения. Понятие нетривиальной дедукции эксплицирует, как отмечает Xинтикка, кантовскую идею «синтетического суждения a priori», т.е., с одной стороны, нетривиальная дедукция априорна, с другой стороны, – она не есть тавтология. Xинтикка внес заметный вклад в теорию пропозициональных установок, показав зависимость понятия «пропозициональная установка» от семантики возможных миров. В своем творчестве Xинтикка также затронул более частные проблемы эпистемологии и построил теоретико-игровую интерпретацию языка. В теоретико-игровой семантике значение слова устанавливается, исходя из свойственного ему набора глаголов, или действий. Например, логические кванторы интерпретируются через игровую ситуацию «поиска и обнаружения», т.е. значения кванторов отыскиваются в контексте языковой игры «искать и обнаруживать». Теоретико-игровая семантика апплицируется и на язык формальной логики. С каждым элементарным предложением Xинтикки сопоставляется игра с двумя игроками, условное имя первого игрока – «я», а второго – «реальность». Первый игрок стремится доказать истинность рассматриваемого положения, а второй – его ложность.