сне кажучи, обговорюємо. Ми вирішили подивитися, яким чином формальна логіка могла б відповідати і відповідала на заперечення проти її понять, на зазначення їх обмеженості. p> Ми з вами обговорили в якійсь мірі один варіант відповіді, побудований на розрізненні форми і вмісту в мисленні і міркуваннях. Нагадаю суть цієї відповіді: логіка займається формою, а не змістом; тому природно, що вона не може вирішити поставлених питань, так як вони ставляться до змісту. Але це був тільки один з варіантів відповіді. p> Інший йшов по зовсім інший лінії: формальна логіка займається не міркуваннями, а висновком; тому цілком природно, що вона не може вказати цих відмінностей і помилок у Галілея, так як тут ми маємо справу не з висновком, а з міркуваннями. Поняття формальної логіки взагалі не можуть застосовуватися для аналізу міркування. Це положення і ця аргументація, на відміну від першої, здаються мені правильними. Але, таким чином, ми приходимо до питання: що таке висновок і чим він відрізняється від міркування? p> Обговорюючи з вами це питання, ми зможемо розглянути лише найзагальніші речі. Але надалі ця тема зажадає спеціального аналізу, зокрема, ми повинні будемо розглянути дві роботи А.А.Зіновьева, і це, мабуть, найцікавіше з того, що зараз існує з теорії виводу. Це його книжка, захищена в якості докторської дисертації, і його стаття "Логічне та фізичне слідування ", опублікована в книзі" Проблеми логіки наукового пізнання ". Тим з вас, хто зацікавиться цим колом питань, я рекомендую прочитати ці книги, але в зворотному порядку. p> Я не знаю, коли саме з'являється розрізнення міркувань і висновків. Відомо тільки, що вже у Декарта і у картезіанцев - Арно, Ніколя та ін це розрізнення грало важливу роль. Арно і Ніколь, якщо судити по роботі Шольца, зробили навіть ще один крок - вони спробували розрізнити міркування і процес мислення. Але я знаю про всьому цьому тільки з чуток і сподіваюся коли-небудь заповнити цю прогалину. Відомо також, що з поняттям міркування працював Кондільяк. Зокрема, в своїй книзі "Логіка" він намагався з'ясувати роль структурних зображень, наприклад креслень, в процесі міркування. Але я точно так само не знаю, що йому тут вдалося зробити. p> Взагалі, цей питання вимагає детального та поглибленого аналізу; до того ж він дуже цікавий. Але це справа майбутнього. А я, залишивши осторонь історію питання, спробую ввести вам саме поняття виведення, спираючись на найпростіші, загальновідомі приклади. p> Уявімо собі, що переді мною три палиці різної довжини - А, В і С. Уявімо собі далі, що я хочу їх порівняти один з одним. Я беру першу палицю А і накладаю її на другу - В. Таким шляхом я отримую емпіричне знання, що фіксує ставлення їх розмірів: В більше А. Потім я беру третю палицю С, накладаю її на палицю В і отримую другу знання: С більше В.
Тепер уявіть собі, що я хочу отримати знання про ставлення між А і С. На перших етапах розвитку мислення і знань існує всього один шлях, щоб отримати це знання: ...
