LOGIC_METAMATHEMATICS Telegram 1003
Теперь же мы поступаем иначе, рассматривая умозаключения как вид доказательств, а именно - как содержательные (неформальные) доказательства.

Это различие понимания отношений между понятиями доказательство и умозаключение показывает различия логики и метаматематики: в первом случае мы предполагаем уже существующей некоторую содержательную (неформальную) теорию, отношения между понятиями, высказываниями и умозаключениями которой мы формализуем в логике, используя специальный символизм; во втором - мы имеем дело с таким соотнесением формализмов содержательных и формальных теорий, который сам является содержательной теорией.
12❤‍🔥3🤡32



tgoop.com/logic_metamathematics/1003
Create:
Last Update:

Теперь же мы поступаем иначе, рассматривая умозаключения как вид доказательств, а именно - как содержательные (неформальные) доказательства.

Это различие понимания отношений между понятиями доказательство и умозаключение показывает различия логики и метаматематики: в первом случае мы предполагаем уже существующей некоторую содержательную (неформальную) теорию, отношения между понятиями, высказываниями и умозаключениями которой мы формализуем в логике, используя специальный символизм; во втором - мы имеем дело с таким соотнесением формализмов содержательных и формальных теорий, который сам является содержательной теорией.

BY Логика и метаматематические исследования


Share with your friend now:
tgoop.com/logic_metamathematics/1003

View MORE
Open in Telegram


Telegram News

Date: |

A Telegram channel is used for various purposes, from sharing helpful content to implementing a business strategy. In addition, you can use your channel to build and improve your company image, boost your sales, make profits, enhance customer loyalty, and more. Telegram is a leading cloud-based instant messages platform. It became popular in recent years for its privacy, speed, voice and video quality, and other unmatched features over its main competitor Whatsapp. Add the logo from your device. Adjust the visible area of your image. Congratulations! Now your Telegram channel has a face Click “Save”.! The channel also called on people to turn out for illegal assemblies and listed the things that participants should bring along with them, showing prior planning was in the works for riots. The messages also incited people to hurl toxic gas bombs at police and MTR stations, he added. “[The defendant] could not shift his criminal liability,” Hui said.
from us


Telegram Логика и метаматематические исследования
FROM American