Структурно-функциональная аналогия между логикой и чистым естествознанием a priori на примере третьяего закона Ньютона

Владимир Олегович Лобовиков

Аннотация


В статье предлагается отчасти модифицированная дефиниция понятия «следование», которая может быть использована для разработки в какой-то мере нового варианта разрешения парадоксов материальной импликации. Классическое истинностно-функциональное определение импликации критикуется как чисто «скалярное», т. е. не содержащее собственно векторного аспекта. Автор выдвигает гипотезу, согласно которой явное включение векторного аспекта в более адекватное (полное и точное) определение импликации (по сравнению с ее классической дефиницией) создает новые возможности для устранения парадоксов следования. Из этой гипотезы выводятся некоторые интересные следствия, в частности, предлагается такая новая обобщенная формулировка законов контрапозиции логических операций «импликация» и «коррекция», которая явно учитывает их векторный аспект. Предложенные нововведения используются для исследования замечания Шопенгауэра о фундаментальной аналогии между формальной логикой и чистым естествознанием a priori. По отношению к взаимосвязи логики и метафизики природы структурно-функциональная аналогия между двузначной алгеброй логики и  двузначной алгеброй метафизики как формальной аксиологии демонстрируется на примере третьего закона Ньютона.

Ключевые слова: следование, импликация, парадокс материальной импликации, релевантная логика, вектор, инверсия вектора, контрапозиция, третий закон Ньютона.


Полный текст:

Без имени

Литература


Васюков В. Л. RN-категории для релевантных логик // Логические исследования. Вып. 1. М., 1993. С. 124–132.

Васюков В. Л. Интерпретация релевантной логики в топосах // Логика и В.Е.К. М., 2003. C. 112–121.

Войшвилло Е. К. Философско-методологические аспекты релевантной логики, М., 1988.

Дионисий А. О божественных именах. О мистическом богословии. СПб., 1995.

Зайцев Д. В. Обобщенная релевантная логика и модели рассуждений. М., 2010.

Зайцев Д. В., Сидоренко Е. А. Релевантная логика // Новая философская энциклопедия. М., 2001. С. 434–435.

Кант И. Пролегомены. М. ; Л., 1934.

Кант И. Критика чистого разума. М., 2012.

Лейбниц Г. В. Новые опыты о человеческом разумении автора системы предустановленной гармонии // Лейбниц Г. В. Соч. : в 4 т. Т. 2. М., 1983. С. 47–545.

Лейбниц Г. В. Соч. : в 4 т. Т. 3. М., 1984.

Лейбниц Г. В. Опыты теодицеи о благости Божией, свободе человека и начале зла // Лейбниц Г. В. Соч. : в 4 т. Т. 4. М., 1989. С. 49–554.

Лобовиков В. О. Математическая этика, метафизика и естественное право (Алгебра метафизики как алгебра формальной аксиологии). Екатеринбург, 2007.

Лобовиков В. О. «Ницщета философии» и ее преодоление «цифровой метафизикой». Екатеринбург, 2009.

Лобовиков В. О. От финитизма в математике к финитизму в физике // Философия науки. 2012. № 4. С. 36–48.

Лобовиков В. О. Логические квадраты и гексагоны оппозиции модальностей априорного и опытного знания бытия и ценности в эпистемической логике // Пространство и время. 2015. № 1–2. С. 99–106.

Лобовиков В. О. Принцип финитизма в натурфилософии и великие законы сохранения в свете двузначной алгебры метафизики как формальной аксиологии // Вестн. Томск. гос. ун-та. Философия. Социология. Политология. 2015. № 2(30). С. 29–38.

Лобовиков В. О. Формальное определение области применимости «Гильотины Юма» и уточнение границы между метафизикой природы и классической физикой с помощью двузначной алгебры метафизики как формальной аксиологии // Там же. № 4 (32). C. 115–124.

Лобовиков В. О. Логические законы контрапозиции векторных бинарных операций «импликация» и «коррекция» // Эпистемы : сб. науч. ст. Вып. 10 : Неклассическая наука. Екатеринбург, 2015. С. 106–113.

Раутлей Р., Муйер Р. Семантика следования // Семантика модальных и интенсиональных логик. М., 1981. С. 363–423.

Сидоренко Е. А. Логическое следование и условные высказывания. М., 1983.

Смирнов В. А. Так называемые парадоксы материальной импликации и логические системы с понятием сильного вывода // Исследования логических систем / под ред. П. В. Таванца. М., 1970. С. 122–136.

Тарский А. О понятии логического следования [Электронный ресурс]. URL: lib.philosophical.ru/tarski/sledov.html (дата обращения: 11.09.2015).

Фейнман Р. Характер физических законов. М., 2012.

Целищев В. В. Нормативность дедуктивного дискурса: феноменология логических констант. Новосибирск, 2003.

Шалак В. И. Альтернативное определение логического следования // Логические исследования. М., 2006. Вып. 13. С. 249–260.

Шалак В. И. О понятии логического следования. М., 2007.

Шопенгауэр А. Новые паралипомены // Шопенгауэр А. Введение в философию; Новые паралипомены; Об интересном : сб. Минск, 2000. С. 55–389.

Ackerman W. Bergundung Einer Strengen Implikation // The Journal of Symbolic Logic. 1956. Vol. 21. Р. 113–28.

Anderson A. R. Some Nasty Problems in the Formal Logic of Ethics // Nous, 1967. Vol. 1. P. 354–360.

Anderson A .R., Belnap N. D. Entailment: The Logic of Relevance and Necessity. Vol. 1. Princeton ; N. J., 1976.

Anderson A. R., Belnap N. D., Dunn J. M. Entailment: The Logic of Relevance and Necessity. Vol. 2. Princeton ; N. J., 1992.

Aquinas Thomas St. The Summa Theologica. Vol. 1. // Adler Mortimer J. (Ed.). Great Books of the Western World. Vol. 17. Aquinas : I. Chicago ; Auckland ; London ; Madrid, 1994.

Aquinas Thomas St. The Summa Theologica. Vol. II. // Adler Mortimer J. (Ed.) Great Books of the Western World. Vol. 18. Aquinas : II. Chicago ; Auckland ; London ; Madrid, 1994.

Augustine St. The Confessions. The City of God. On Christian Doctrine. // Adler Mortimer J. (Ed.). Great Books of the Western World. Vol. 16. Augustine. Chicago ; Auckland ; London ; Madrid, 1994.

Dunn J. M. Relevance Logic and Entailment // F. Guenthner and D. Gabbay (Eds.). Handbook of Philosophical Logic. Vol. 3. Dordrecht, 1986. P. 117–24.

Fine K. Models for Entailment // Journal of Philosophical Logic. 1974. Vol. 3. P. 347–372.

Lewis C. I. Survey of Symbolic logic. Berkeley, 1918.

Lewis C. I., Langford С. H. Symbolic logic. N. Y. ; L., 1932.

Lobovikov V. Mathematical Simulating Formal Axiological Semantics of Natural Languages (A Fundamental Generalization of Mathematical Philosophy: from Truth-values to Axiological Ones) // Philosophy, Mathematics, Linguistics: Aspects of Interconnection: Proc. of the International Scientific Conference (Nov. 20–22, 2009, Sankt-Petersburg, L. Euler International Mathematical Institute). St.-Petersburg, 2009. P. 128–132.

Lobovikov V. Algebra of Morality and Formal Ethics // Katarzyna Bronk (Ed.). Looking Back to See the Future: Reflections on Sins and Virtues. Oxford, United Kingdom, 2014. P. 17–41.

Lobovikov V. An Equivalence of Moore’s Paradox and Gödel’s Incompleteness Sentence in Two-Valued Algebra of Formal Ethics // Philosophy Study. 2016. Vol. 6, № 1. P. 34–55. (Doi: 10. 17265/2159-5313/2016.01.004).

Mares E. D. Relevant Logic and the Theory of Information // Synthese. 1997. Vol. 109. P. 345–360.

Mares E. D., Fuhrmann A. A Relevant Theory of Conditionals // Journal of Philosophical Logic. 1995. Vol. 24. P. 645–665.

Meyer R. K. Entailment and Relevant Implication // Logique et Analyse. 1968. Vol. 11. P. 472–479.

Meyer R. K. Entailment // Journal of Philosophy. 1971. Vol. 68. P. 808–818.

Meyer R. K. Entailment is not Strict Implication // Australasian Journal of Philosophy. 1974. Vol. 52. P. 212–231.

Meyer R. K. New Axiomatics for Relevant Logics – I // Journal of Philosophical Logic. 1974. Vol .3. P. 53–86.

Newton I. Mathematical Principles of Natural Philosophy // Mortimer J. Adler (Ed.). Great Books of the Western World. Vol. 32 : Newton. Huygens. Auckland ; London ; Madrid ; Manila ; Paris ; Rome ; Seoul ; Sydney ; Tokyo ; Toronto : Encyclopedia Britannica, Inc., 1994. P. 1–372.

Restall G. Information Flow and Relevant Logics // J. Seligman and D. Westerstahl (Eds.). Logic, Language, and Computation. Vol. 1. Stanford, 1996. P. 463–478.


Ссылки

  • На текущий момент ссылки отсутствуют.


(c) 2016 Владимир Олегович Лобовиков