Введение в логику и научный метод
Шрифт:
c. Адам является предком всех нас.
d. Нетерпение не является свойством хорошего преподавателя.
e. Смит является соседом Джонса.
f. Россия потерпела поражение от Японии.
g. Ромео – возлюбленный Джульетты.
h. Агент по продаже билетов знаком со многими знаменитостями.
i. Браун – наемный работник Джексона.
2. Обсудите содержание данного отрывка:
«Крайне ошибочным трюизмом, считающимся прописной истиной и повторяемым в речах высокопоставленных людей, является утверждение о том, что мы должны вырабатывать привычку думать о том, что мы делаем. На самом же деле, происходит обратное. Цивилизация
3. Сформулируйте следующие выражения словами и упростите их:
4. Покажите, что:
5. Приведите суждения, противоречащие данным:
6. Приведите суждения, противоречащие данным:
a. Цветущие растения являются либо эндогенными, либо экзогенными, но ни то и другое одновременно.
b. Цветущие растения являются васкулярными, а также являются либо эндогенными, либо экзогенными, но ни то и другое одновременно.
7. Назовите некоторые сложности использования разговорного языка для отдельных целей науки.
8. Проверьте по толковому словарю изменение в значении таких слов, как «вид», «рукопись», «часы», «род», «доктор».
9. Что означает класс?
10. Что означает логическая сумма двух классов? Логическое произведение двух классов?
11. Что означает утверждение, что один из двух классов включен в другой?
12. Что такое нуль-класс и каковы отношения между этим классом и любым другим классом?
13. Выразите нижеприведенные суждения в символической форме:
a. Только настойчивые добиваются успеха.
b. Некоторые профессора не являются седыми.
c. Никто, кроме молодых, не способен на героизм.
d. Все книги по логике содержат опечатки.
e. Ни один спортсмен не живет долго.
14. Докажите в символической форме:
a. Все а суть Ь; следовательно, все не-b суть не-а.
b. Ни один а не является Ь; следовательно, все а являются не-Ь.
c. Некоторые а суть Ь; следовательно, некоторые Ь суть а.
d. Некоторые а не суть Ь; следовательно, некоторые не-Ь не суть не-а.
15. Выразите в символической форме:
a. Если р имплицирует q, a q имплицирует г, то р имплицирует г.
b. Если р и q имплицируют г, то р и не-г имплицируют н e-q.
c. Если р или q имплицирует г, то либо р имплицирует г, либо q имплицирует г.
Для дальнейшего изучения:
Couturat L. Algebra of Logic.
Whitehead A. N. Universal Algebra, Bk. I, Chap. I and Book II. Lewis С. I., Langford. Symbolic Logic.
Eaton R. M. Symbolism and Truth. Chap. VII.
О
Johnson W. E. Logic, Part II. Chap. III.
Whitehead A. N. An Introduction to Mathematics. Chap. V.
Eaton R. M. Symbolism and Truth. Chap. II.
Глава VII. Природа логической или математической системы
1. Установите то, что нижеследующие постулаты являются непротиворечивыми. Также покажите, что они независимы друг от друга.
Постулат 1. Если а и Ь – различные элементы класса К, и < – некоторое отношение, то а < b или Ь < а.
Постулат 2. Если а < Ь, то а и Ь различны.
Постулат 3. Если а < Ь, то Ь < с, тогда а < с [134] .
2. Покажите, что набор операций (сложения, умножения, деления и вычитания) над целыми числами является изоморфным набору операций над дробями.
3. Обсудите отношение алгебры к аналитической геометрии в свете вопроса об изоморфизме.
4. Докажите, что аристотелевский принцип dictum de omni et nullo для категорического силлогизма является эквивалентным пяти аксиомам обоснованности, сформулированным в § 3 главы IV.
5. Покажите, что аксиома I для категорического силлогизма (средний термин должен быть распределен хотя бы единожды) является эквивалентной аксиоме 2 (ни один термин не может быть распределенным в заключении, если он не распределен в посылках).
6. «Напишите на одной карточке любое нечетное число, например 35, а на другой – любое четное, например 46. Попросите, чтобы кто-то дал одну карточку А, а другую – Б, но при этом так, чтобы вы не знали, у кого из них какая карточка. Ваша задача сообщить А о том, какое число написано у него на карточке. Скажите, чтобы А умножил свое число на любое четное, а В свое – на любое нечетное. Попросите А и В сложить получившиеся у них в результате умножения числа и назвать вам получившуюся сумму. Если сумма – четная, то у А изначально на карточке было нечетное число, если сумма – нечетная, то у А изначально было четное число» [135] . Докажите, что данный результат будет всегда сохраняться.
7. Покажите, что невозможно разложить целое число на множители, являющиеся простыми числами, более чем одним способом.
8. Что такое аксиома?
9. Что имеется в виду, когда утверждается, что суждение является самоочевидным?
10. Какого рода вопросы может задавать и разрешать логика относительно суждений?
11. Докажите с помощью математической индукции:
12. Прочитайте главы 6 и 7 «Введения в математику» Уайтхеда. Обсудите способы, которыми отличаются друг от друга целые, рациональные, действительные и мнимые числа.
Для дальнейшего изучения:
Younq J. W. Fundamental Concepts of Algebra and Geometry.
Chaps. II, III, IV, V.
Carmichael R. D. The Logic of Discovery. Chaps. II, III, IV, V, VI. Whitehead A. N. Introduction to Mathematics.
Jourdain R E. B. The Nature of Mathematics.
Russel B. Mysticism and Logic. Chaps. IV, V.
Глава VIII. Вероятностный вывод
1. Какова вероятность того, что монета упадет вверх решкой три раза подряд, если вероятность выпадения монеты какой-либо из двух сторон одинакова?