пропозицій з формальними умовами виводимості в якійсь мові. p> Істинність пропозицій теорії та самої теорії ототожнюється з сумісністю її пропозицій. Тим самим логічний позитивізм відроджує в іншій формі аристотелевско-Лейбніцевскіе критерій істини: достатньою підставою істинності формальної теорії є її несуперечливість.
Таким чином, процес пізнання ототожнюється логічним позитивізмом з послідовністю операцій з фіксації чуттєвих даних за допомогою знаків, встановлення співвідношень всередині останніх, приведенню цих співвідношень в якусь систему, дедуктивному виведенню з цієї системи ("логічної конструкції ") передбачень про майбутнє досвіді (фактів) і, нарешті, зміни цієї системи в разі виявлення в ній внутрішніх суперечностей чи невідповідності виведених у них пропозицій досвіду.
Треба сказати, що таке розуміння пізнавального процесу зіграло позитивну роль у розвитку методології дедуктивних наук, розробки математичного апарату кібернетики, дослідженні підстав математики і фізики. Але як виявилося вона не знімало всіх проблем наукового пізнання. p> Насамперед з теореми Геделя про неповноту арифметики випливав висновок про обмеженість методу формалізації (по Геделю, не існує ніякої системи аксіом, спираючись на яку можна було б формальним шляхом, тобто оперуючи тільки знаками та правилами висновків із знаків, побудувати арифметику одну з найпростіших математичних дисциплін). p> Ще складніші проблеми виникли навколо принципу верифікації. У ході пошуку причин його загального дії виявилося, що він не очевидний і сам потребує доведення, тобто сам підлягає верифікації. p> Верифікація принципу верифікації в свою чергу підлягає верифікації і т.д. до нескінченності. Всі спроби вирішення цих труднощів хоча і не увінчалися успіхом, принесли величезну користь для науки, бо стимулювали логічні дослідження, дослідження в галузі семантики, ймовірнісної логіки та ін галузей знання.
Логічна семантика
Усвідомлюючи труднощі з обгрунтуванням принципу верифікації, Р. Карнап зробив спробу замінити цей принцип семантичним критерієм. Його підтримали А. Тарський, А. Айер та ін Так сформувалася інша різновид неопозитивізму: логічна семантика. p> Тарський довів, що всякі спроби визначити значення (у тому числі істиннісне значення) виразів якого - то мови за допомогою засобів цієї ж мови ведуть до парадоксів типу "Брехун". p> Суть цього відомого ще з давнини парадоксу така: людина каже: "Я зараз брешу"; якщо він бреше, то він каже правду, а якщо говорить правду, то він бреше. Щоб уникнути цих парадоксів, доводить Тарський, потрібно для визначення семантичних понять досліджуваного мови вводити метамова, за допомогою якого вести всі міркування про об'єктному мовою. p> Ідея формалізації мови - об'єкта і його вивчення засобами метамови виявилися вельми плідною для логіко-лінгвістичних досліджень, досліджень так званих машинних мов (мов програмування). Виявилося, що цим методом...