іяльності багато займався проблемами апарату формальної логіки, він завжди був уважний також і до епістемологічних і онтологічним аспектів логічних досліджень. Саме це і привело його до проблемі мовного значення і до переносу акценту з формальних мов на природні. Що стосується його робіт за логікою як такої, основними цілями Куайна є строгість в логічних доказах і перевірках, уніфікація і спрощення логічних позначень і усунення непотрібних понять і припущень. Куайн невпинно шукав алгоритмічні дозволяють процедури для тих областей логіки, які допускають такі процедури. Він стурбований відсутністю алгоритмічних перевіряючих процедур для всіх розділів теорії квантифікації і ще більш неможливістю навіть полуалгорітміческіх процедур докази для елементарної теорії чисел, доведеною Геделем. Однак це до деякої міри компенсується тим фактом, що окремі галузі математики допускають дозволяють процедури і що існують методи, що встановлюють можливість або неможливість доказів. Пошуки Куайном однаковості в логічній символіці проявилися у твердженні, що квантор існування завжди слід інтерпретувати однаково, в його спробах знайти розумні способи переформулювання в квантіфіціруемого термінах модальних висловлювань і висловлювань, висловлюю щих позицію мовця, наприклад прагнення або впевненість; та ще більш істотно в спробі подолати складність символіки теорії типів Рассела, яку він вперше зробив у своїх В«Нових підставах математичної логіки В», а потім уточнив вВ« Математичної логіці В». Куайн запропонував способи заміни властивостей, використовуваних навіть у «Рrincipia mathematicaВ» і в робо тах Карнапа, концептуальними класами. Насправді він віддав перевагу б піти ще далі і побудувати логіку на номиналистской основі, якби це можна було зробити в досить зручній формі. Однак він визнає, що чисто номиналистская логіка, якщо вона можлива, була б украй незручна і що в важливих галузях математики не можна зовсім обійтися без поняття класу. p> Куайн цілком впевнений у здатності сучасних логічних методів пролити світло на філософські проблеми, причому не тільки на семантичні та логічні, але й на традиційні онтологічні. Звичайна мова, звичайно, залишається фундаментальним засобом остаточного роз'яснення, але для цілей В«творчого аспектуВ» філо софского аналізу звичайної мови бракує тієї точності і свободи від вводять в оману припущень, якої можна досягти на шляху сучасних методів квантифікації. Серед цих філософських проблем, які Куайн розглядає зі своєї логічної точки зору, проблеми аналітичності, онтології і істини. p> Проблема аналітичності. Хоча відмінність між аналітичними і синтетичними висловлюваннями донедавна (а почасти й донині) багатьма філософами- емпірістов було прийнято як епістемологічних основне, а на момент його критики Куайном фактично вважалося аксіомою, при найближчому розгляді воно виявляється, на думку Куайна, дуже мало обгрунтованим. Вірно, звичайно, що такі приклади підстановок в логічні закони, як В«жоден неодружений чоловік...
