, чи має ім'я значення чи ні; це проблема, яка вимагає емпіричного дослідження. У цьому зв'язку Фреге вказує: В«Всебічне знання значення передбачало б, що про кожного даному сенсі ми могли б відразу вирішити, чи відноситься воно до цього значення або немає. Але цього ми ніколи не досягаємо В»[31] . Тому можна розуміти зміст імені, але не знати про предмет імені нічого, крім того, що він визначається цим змістом. Більше того, може статися і так, що предмета, що визначається змістом імені, взагалі не існує. У тому випадку, коли імена позначають предмети, що не існують в дійсності, їх називають уявними. Відбувається це тому, що в природних мовах сенс імені не визначає існування предмета. В«Мабуть, можна зробити так, щоб граматично правильно побудоване вираз, що представляє власне ім'я, завжди мало один і той же зміст; але чи має воно ще й значення - залишається проблематичним. Слова В«найбільш віддалене від Землі небесне тілоВ» мають сенс; проте дуже сумнівно, чи мають вони значення. Вираз В«в найменшій ступеня сходитися ряд В»має деякий сенс, а проте доведено, що воно не має значення, так як для будь-якого сходиться ряду завжди знайдеться ряд, сходиться ще повільніше. Таким чином, навіть якщо розуміється деякий сенс, це ще не забезпечує наявність значення В»[32] . p> Імена, мають сенс, але не позначають ніякого предмета - це несправжні власні імена; вони тільки виконують роль власних імен. Фреге називає такі імена уявними власними іменами. Вони зустрічаються в природних мовах, але їм не повинно бути місця в мові науки. У відмінності від природних мов, у мові науки сенс імені визначає існування предмета імені та притому єдиного. Фреге пише: «³д логічно досконалої мови (обчислення понять) слід вимагати, щоб будь-який вираз, утворене як ім'я власне граматично правильним чином, дійсно позначало деякий предмет, і щоб в якості власного імені не вводилося жодного знака, не забезпеченого власним значенням В»[33] . p> Ця ідея була реалізована Фреге у роботі В«Обчислення понятьВ». У В«основоположеннями арифметики В»(1884) [34] він стверджує, що для дотримання логічної строгості міркувань важливий принцип, згідно з яким все правильно освічені знаки повинні означати щось. Спеціальні правила, сформульовані Фреге і надають кожному правильно побудованому знаку на обчисленні суворо фіксоване значення, в даний час прийнято іменувати семантіческіміправіламі. p> Американський логік Алонзо Черч, що розділяє основні положення теорії змісту і значення Фреге, характеризує її так, що сенс, який пов'язаний з ім'ям, являє собою певну концептуальну інформацію про обозначаемом предметі. Сенс однозначно характеризує предмет без урахування того, доступний він чи ні, без урахування того, чи в змозі ми собі його представити чи ні, без урахування того, дійсно він існує і т.д. Це положення можна сформулювати так, що для всіх говорять даному мові L (причому передбачається, що всі носії мови L мають всім його словниковим запасом, тобто в...
