Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ Β«Π›ΠΎΠ³ΠΈΠΊΠ°. Π£Ρ‡Π΅Π±Π½ΠΎΠ΅ пособиС. ИзданиС 2-Π΅Β». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 15

Автор АлСксандр Ивин

Π’ качСствС Π»ΠΎΠ³ΠΈΠΊΠΈ Π²ΠΎΠΎΠ±Ρ€Π°ΠΆΠ°Π΅ΠΌΠΎΠ³ΠΎ ΠΌΠΈΡ€Π° ΠΎΠ½ ΠΈ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠΈΠ» свою Ρ‚Π΅ΠΎΡ€ΠΈΡŽ Π±Π΅Π· Π·Π°ΠΊΠΎΠ½Π° противорСчия, Π΄ΠΎΠ»Π³ΠΎΠ΅ врСмя ΡΡ‡ΠΈΡ‚Π°Π²ΡˆΠ΅Π³ΠΎΡΡ Ρ†Π΅Π½Ρ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΌ ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏΠΎΠΌ Π»ΠΎΠ³ΠΈΠΊΠΈ. Π’Π°ΡΠΈΠ»ΡŒΠ΅Π² ΠΏΠΎΠ»Π°Π³Π°Π» Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹ΠΌ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡ΠΈΡ‚ΡŒ Ρ‚Π°ΠΊΠΆΠ΅ дСйствиС Π·Π°ΠΊΠΎΠ½Π° ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½Π½ΠΎΠ³ΠΎ Ρ‚Ρ€Π΅Ρ‚ΡŒΠ΅Π³ΠΎ ΠΈ Π² этом смыслС явился ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ· ΠΈΠ΄Π΅ΠΉΠ½Ρ‹Ρ… ΠΏΡ€Π΅Π΄ΡˆΠ΅ΡΡ‚Π²Π΅Π½Π½ΠΈΠΊΠΎΠ² интуиционистской Π»ΠΎΠ³ΠΈΠΊΠΈ.

НоваторскиС ΠΈΠ΄Π΅ΠΈ Π’Π°ΡΠΈΠ»ΡŒΠ΅Π²Π° Π½Π΅ Π±Ρ‹Π»ΠΈ поняты соврСмСнниками. Они ΠΈΡΡ‚ΠΎΠ»ΠΊΠΎΠ²Ρ‹Π²Π°Π»ΠΈΡΡŒ Π½Π΅Π²Π΅Ρ€Π½ΠΎ, объявлялись Π±Π΅Π·Π³Ρ€Π°ΠΌΠΎΡ‚Π½Ρ‹ΠΌΠΈ. Π’Π°ΡΠΈΠ»ΡŒΠ΅Π² тяТСло ΠΏΠ΅Ρ€Π΅ΠΆΠΈΠ²Π°Π» ΠΏΠΎΠ΄ΠΎΠ±Π½ΡƒΡŽ Β«ΠΊΡ€ΠΈΡ‚ΠΈΠΊΡƒΒ» ΠΈ вскорС оставил занятия Π»ΠΎΠ³ΠΈΠΊΠΎΠΉ. ΠŸΠΎΡ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ ΠΏΠΎΠ»Π²Π΅ΠΊΠ°, ΠΏΡ€Π΅ΠΆΠ΄Π΅ Ρ‡Π΅ΠΌ Π΅Π³ΠΎ «вообраТаСмая Π»ΠΎΠ³ΠΈΠΊΠ°Β» Π±Π΅Π· Π·Π°ΠΊΠΎΠ½ΠΎΠ² противорСчия ΠΈ ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½Π½ΠΎΠ³ΠΎ Ρ‚Ρ€Π΅Ρ‚ΡŒΠ΅Π³ΠΎ Π±Ρ‹Π»Π° ΠΎΡ†Π΅Π½Π΅Π½Π° ΠΏΠΎ достоинству.


Π›ΠΎΠ³ΠΈΠΊΠ° причинности

ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ причинности являСтся ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ· Ρ†Π΅Π½Ρ‚Ρ€Π°Π»ΡŒΠ½Ρ‹Ρ… ΠΊΠ°ΠΊ Π² Π½Π°ΡƒΠΊΠ΅, Ρ‚Π°ΠΊ ΠΈ Π² философии Π½Π°ΡƒΠΊΠΈ. ΠŸΡ€ΠΈΡ‡ΠΈΠ½Π½Π°Ρ связь Π½Π΅ являСтся логичСским ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ. Но Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅ сводима ΠΊ Π»ΠΎΠ³ΠΈΠΊΠ΅, Π½Π΅ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° ΠΏΡ€ΠΈ-чинности Π½Π΅ ΠΈΠΌΠ΅Π΅Ρ‚ Π½ΠΈΠΊΠ°ΠΊΠΎΠ³ΠΎ логичСского содСрТания ΠΈ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π°Π½Π°Π»ΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒΡΡ с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Π»ΠΎΠ³ΠΈΠΊΠΈ. Π—Π°Π΄Π°Ρ‡Π° логичСского исслСдования причинности Π·Π°ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ Π² систСматизации Ρ‚Π΅Ρ… ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½Ρ‹Ρ… схСм рассуТдСний, посылками ΠΈΠ»ΠΈ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΡΠΌΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… слуТат ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½Ρ‹Π΅ высказывания. Π’ этом ΠΏΠ»Π°Π½Π΅ Π»ΠΎΠ³ΠΈΠΊΠ° причинности Π½ΠΈΡ‡Π΅ΠΌ Π½Π΅ отличаСтся, скаТСм, ΠΎΡ‚ Π»ΠΎΠ³ΠΈΠΊΠΈ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΠΊΠΈ знания, Ρ†Π΅Π»ΡŒΡŽ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… являСтся построСниС искусствСнных языков, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΡ… с большСй ΡΡΠ½ΠΎΡΡ‚ΡŒΡŽ ΠΈ ΡΡ„Ρ„Π΅ΠΊΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒΡŽ Ρ€Π°ΡΡΡƒΠΆΠ΄Π°Ρ‚ΡŒ ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΈΠ»ΠΈ Π·Π½Π°Π½ΠΈΠΈ.

Π’ Π»ΠΎΠ³ΠΈΠΊΠ΅ причинности связь ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ ΠΈ слСдствия прСдставляСтся особым условным высказываниСм – ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎΠΉ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠ΅ΠΉ. ПослСдняя ΠΈΠ½ΠΎΠ³Π΄Π° принимаСтся Π² качСствС исходного, Π½Π΅ опрСдСляСмого явным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ понятия. Бмысл Π΅Π΅ задаСтся мноТСством аксиом. Π§Π°Ρ‰Π΅, ΠΎΠ΄Π½Π°ΠΊΠΎ, такая импликация опрСдСляСтся Ρ‡Π΅Ρ€Π΅Π· Π΄Ρ€ΡƒΠ³ΠΈΠ΅, Π±ΠΎΠ»Π΅Π΅ ясныС ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅ Ρ„ΡƒΠ½Π΄Π°ΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½Ρ‹Π΅ понятия. Π’ ΠΈΡ… числС понятиС онтологичСской (ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎΠΉ, ΠΈΠ»ΠΈ фактичСской) нСобходимости, понятиС вСроятности ΠΈ Π΄Ρ€.

ЛогичСская Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΡΡ‚ΡŒ присуща Π·Π°ΠΊΠΎΠ½Π°ΠΌ Π»ΠΎΠ³ΠΈΠΊΠΈ, онтологичСская Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΡΡ‚ΡŒ Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€ΠΈΠ·ΡƒΠ΅Ρ‚ закономСрности ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹ ΠΈ, Π² частности, ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π½Ρ‹Π΅ связи. Π’Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ «А Π΅ΡΡ‚ΡŒ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° Π’Β» («А ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ ΠΈΠΌΠΏΠ»ΠΈΡ†ΠΈΡ€ΡƒΠ΅Ρ‚ Π’Β») ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΊΠ°ΠΊ Β«ΠžΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠΈ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ, Ρ‡Ρ‚ΠΎ Ссли А, Ρ‚ΠΎ Π’Β», отличая Ρ‚Π΅ΠΌ самым ΠΏΡ€ΠΎΡΡ‚ΡƒΡŽ ΡƒΡΠ»ΠΎΠ²Π½ΡƒΡŽ связь ΠΎΡ‚ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎΠΉ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ.

Π§Π΅Ρ€Π΅Π· Π²Π΅Ρ€ΠΎΡΡ‚Π½ΠΎΡΡ‚ΡŒ причинная связь опрСдСляСтся Ρ‚Π°ΠΊ: событиС А Π΅ΡΡ‚ΡŒ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° события Π’, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли Π²Π΅Ρ€ΠΎΡΡ‚Π½ΠΎΡΡ‚ΡŒ события А большС нуля, ΠΎΠ½ΠΎ происходит Ρ€Π°Π½ΡŒΡˆΠ΅ Π’ ΠΈ Π²Π΅Ρ€ΠΎΡΡ‚Π½ΠΎΡΡ‚ΡŒ наступлСния Π’ ΠΏΡ€ΠΈ Π½Π°Π»ΠΈΡ‡ΠΈΠΈ А Π²Ρ‹ΡˆΠ΅, Ρ‡Π΅ΠΌ просто Π²Π΅Ρ€ΠΎΡΡ‚Π½ΠΎΡΡ‚ΡŒ Π’.

ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π½ΠΎΠΉ связи опрСдСляСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ понятия Π·Π°ΠΊΠΎΠ½Π° ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹: А ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ Π²Π»Π΅Ρ‡Π΅Ρ‚ Π’, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ссли ΠΈΠ· А Π½Π΅ Π²Ρ‹Ρ‚Π΅ΠΊΠ°Π΅Ρ‚ логичСски Π’, Π½ΠΎ ΠΈΠ· А, взятого вмСстС с мноТСством Π·Π°ΠΊΠΎΠ½ΠΎΠ² ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹, логичСски слСдуСт Π’. Бмысл этого опрСдСлСния прост: причинная связь Π½Π΅ являСтся логичСской, слСдствиС Π²Ρ‹Ρ‚Π΅ΠΊΠ°Π΅Ρ‚ ΠΈΠ· ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ Π½Π΅ Π² силу Π·Π°ΠΊΠΎΠ½ΠΎΠ² Π»ΠΎΠ³ΠΈΠΊΠΈ, Π° Π½Π° основании Π·Π°ΠΊΠΎΠ½ΠΎΠ² ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹.

Для ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π½ΠΎΠΉ связи Π²Π΅Ρ€Π½Ρ‹, Π² частности, утвСрТдСния:

– Π½ΠΈΡ‡Ρ‚ΠΎ Π½Π΅ являСтся ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ самого сСбя;

– Ссли ΠΎΠ΄Π½ΠΎ событиС являСтся ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ, Ρ‚ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ Π½Π΅ являСтся ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ;

– ΠΎΠ΄Π½ΠΎ ΠΈ Ρ‚ΠΎ ΠΆΠ΅ событиС Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ ΠΊΠ°ΠΊ ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ наличия ΠΊΠ°ΠΊΠΎΠ³ΠΎ-Ρ‚ΠΎ события, Ρ‚Π°ΠΊ ΠΈ ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ Π΅Π³ΠΎ отсутствия;

– Π½Π΅Ρ‚ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ для наступлСния ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ²ΠΎΠ³ΠΎ события, ΠΈ Ρ‚.ΠΏ.

Π‘Π»ΠΎΠ²ΠΎ Β«ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π°Β» употрСбляСтся Π² Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… смыслах, Ρ€Π°Π·Π»ΠΈΡ‡Π°ΡŽΡ‰ΠΈΡ…ΡΡ ΠΏΠΎ своСй силС. НаиболСС ΡΠΈΠ»ΡŒΠ½Ρ‹ΠΉ смысл причинности ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ ΠΈΠΌΠ΅ΡŽΡ‰Π΅Π΅ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρƒ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π΅ Π±Ρ‹Ρ‚ΡŒ, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π½ΠΈ ΠΎΡ‚ΠΌΠ΅Π½Π΅Π½ΠΎ, Π½ΠΈ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΎ Π½ΠΈΠΊΠ°ΠΊΠΈΠΌΠΈ событиями ΠΈΠ»ΠΈ дСйствиями. Наряду с этим понятиСм ΠΏΠΎΠ»Π½ΠΎΠΉ, ΠΈΠ»ΠΈ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΠΉ, ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹, сущСствуСт Ρ‚Π°ΠΊΠΆΠ΅ Π±ΠΎΠ»Π΅Π΅ слабоС понятиС частичной, ΠΈΠ»ΠΈ Π½Π΅ΠΏΠΎΠ»Π½ΠΎΠΉ, ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹. Для ΠΏΠΎΠ»Π½ΠΎΠΉ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ выполняСтся условиС: «Если событиС А ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ ΠΈΠΌΠΏΠ»ΠΈΡ†ΠΈΡ€ΡƒΠ΅Ρ‚ событиС Π’, Ρ‚ΠΎ А вмСстС с Π»ΡŽΠ±Ρ‹ΠΌ событиСм Π‘ Ρ‚Π°ΠΊΠΆΠ΅ ΠΊΠ°ΡƒΠ·Π°Π»ΡŒΠ½ΠΎ ΠΈΠΌΠΏΠ»ΠΈΡ†ΠΈΡ€ΡƒΠ΅Ρ‚ Π’Β». Для Π½Π΅ΠΏΠΎΠ»Π½ΠΎΠΉ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ Π²Π΅Ρ€Π½ΠΎ, Ρ‡Ρ‚ΠΎ Π² случаС всяких событий А ΠΈ Π’, Ссли А Π΅ΡΡ‚ΡŒ частичная ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° Π’, Ρ‚ΠΎ сущСствуСт Ρ‚Π°ΠΊΠΎΠ΅ событиС Π‘, Ρ‡Ρ‚ΠΎ А вмСстС с Π‘ являСтся ΠΏΠΎΠ»Π½ΠΎΠΉ ΠΏΡ€ΠΈΡ‡ΠΈΠ½ΠΎΠΉ Π’, ΠΈ вмСстС с Ρ‚Π΅ΠΌ Π½Π΅Π²Π΅Ρ€Π½ΠΎ, Ρ‡Ρ‚ΠΎ А Π±Π΅Π· Π‘ Π΅ΡΡ‚ΡŒ полная ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° Π’. Π˜Π½Π°Ρ‡Π΅ говоря, полная ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° всСгда, ΠΈΠ»ΠΈ Π² Π»ΡŽΠ±Ρ‹Ρ… условиях, Π²Ρ‹Π·Ρ‹Π²Π°Π΅Ρ‚ своС слСдствиС, Π² Ρ‚ΠΎ врСмя ΠΊΠ°ΠΊ частичная ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π° Ρ‚ΠΎΠ»ΡŒΠΊΠΎ способствуСт Π½Π°ΡΡ‚ΡƒΠΏΠ»Π΅Π½ΠΈΡŽ своСго слСдствия, ΠΈ это слСдствиС рСализуСтся лишь Π² случаС объСдинСния частичной ΠΏΡ€ΠΈΡ‡ΠΈΠ½Ρ‹ с ΠΈΠ½Ρ‹ΠΌΠΈ условиями.

Π›ΠΎΠ³ΠΈΠΊΠ° причинности строится Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π² Π΅Π΅ Ρ€Π°ΠΌΠΊΠ°Ρ… ΠΌΠΎΠ³Π»ΠΎ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ΠΎ описаниС ΠΈ ΠΏΠΎΠ»Π½Ρ‹Ρ…, ΠΈ Π½Π΅ΠΏΠΎΠ»Π½Ρ‹Ρ… ΠΏΡ€ΠΈΡ‡ΠΈΠ½. Π­Ρ‚Π° Π»ΠΎΠ³ΠΈΠΊΠ° Π½Π°Ρ…ΠΎΠ΄ΠΈΡ‚ прилоТСния ΠΏΡ€ΠΈ обсуТдСнии понятий Π·Π°ΠΊΠΎΠ½Π° ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹, онтологичСской нСобходимости, Π΄Π΅Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΈΠ·ΠΌΠ° ΠΈ Π΄Ρ€.


Π›ΠΎΠ³ΠΈΠΊΠ° измСнСния

Π›ΠΎΠ³ΠΈΠΊΠ° измСнСния – Ρ€Π°Π·Π΄Π΅Π» соврСмСнной Π»ΠΎΠ³ΠΈΠΊΠΈ, Π·Π°Π½ΠΈΠΌΠ°ΡŽΡ‰ΠΈΠΉΡΡ исслСдованиСм логичСских связСй высказываний ΠΎΠ± ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΈ ΠΈΠ»ΠΈ становлСнии ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΈΠ½Ρ‹Ρ… ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ². Π—Π°Π΄Π°Ρ‡Π° Π»ΠΎΠ³ΠΈΠΊΠΈ измСнСния – построСниС искусствСнных (Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π½Ρ‹Ρ…) языков, способных ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ Π±ΠΎΠ»Π΅Π΅ ясными ΠΈ Ρ‚ΠΎΡ‡Π½Ρ‹ΠΌΠΈ рассуТдСния ΠΎΠ± ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ² – ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π΅ ΠΎΡ‚ ΠΎΠ΄Π½ΠΎΠ³ΠΎ состояния ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° ΠΊ Π΄Ρ€ΡƒΠ³ΠΎΠΌΡƒ Π΅Π³ΠΎ ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ, ΠΎ становлСнии ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°, Π΅Π³ΠΎ Ρ„ΠΎΡ€ΠΌΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠΈ. Π’ Π»ΠΎΠ³ΠΈΠΊΠ΅ измСнСния Π½ΠΈΡ‡Π΅Π³ΠΎ Π½Π΅ говорится ΠΎ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… характСристиках измСнСния ΠΈ становлСния. Она Ρ‚ΠΎΠ»ΡŒΠΊΠΎ прСдоставляСт ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½Ρ‹ΠΉ с Ρ‚ΠΎΡ‡ΠΊΠΈ зрСния синтаксиса ΠΈ сСмантики язык, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΠΉ Π΄Π°Ρ‚ΡŒ строгиС Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΠΎΠ²ΠΊΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΎΠ± ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ², Π²ΡΠΊΡ€Ρ‹Ρ‚ΡŒ основания ΠΈ слСдствия этих ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π²Ρ‹ΡΠ²ΠΈΡ‚ΡŒ ΠΈΡ… Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Π΅ ΠΈ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Π΅ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΈ. ИспользованиС искусствСнного языка ΠΏΡ€ΠΈ обсуТдСнии ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ измСнСния ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ² Π½Π΅ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ ΠΏΠΎΠ΄ΠΌΠ΅Π½Ρ‹ этих онтологичСских ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ логичСскими, свСдСния эмпиричСских свойств ΠΈ зависимостСй ΠΊ логичСским.

Π Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ измСнСния ΠΈΠ΄Π΅Ρ‚ ΠΏΠΎ Π΄Π²ΡƒΠΌ направлСниям: построСниС ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… Π»ΠΎΠ³ΠΈΠΊ измСнСния ΠΈ истолкованиС ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹Ρ… систСм Π»ΠΎΠ³ΠΈΠΊΠΈ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΊΠ°ΠΊ логичСских описаний измСнСния. ΠŸΡ€ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠΌ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π΅ ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ даСтся «одномомСнтная» характСристика ΠΈΠ·ΠΌΠ΅Π½ΡΡŽΡ‰Π΅Π³ΠΎΡΡ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°, ΠΏΡ€ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ рассматриваСтся ΠΊΠ°ΠΊ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρƒ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ состояниями ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°.

К ΠΏΠ΅Ρ€Π²ΠΎΠΌΡƒ Π½Π°ΠΏΡ€Π°Π²Π»Π΅Π½ΠΈΡŽ относится, Π² частности, Π»ΠΎΠ³ΠΈΠΊΠ° направлСнности. Π•Π΅ язык Π±ΠΎΠ³Π°Ρ‡Π΅, Ρ‡Π΅ΠΌ язык классичСской Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΈ Π²ΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ€ΠΌΠΈΠ½Ρ‹ «сущСствуСт» ΠΈ Β«Π½Π΅ сущСствуСт», Π½ΠΎ Ρ‚Π°ΠΊΠΆΠ΅ Ρ‚Π΅Ρ€ΠΌΠΈΠ½Ρ‹ Β«Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚Β», «исчСзаСт», Β«ΡƒΠΆΠ΅ Π΅ΡΡ‚ΡŒΒ», Β«Π΅Ρ‰Π΅ Π΅ΡΡ‚ΡŒΒ», Β«ΡƒΠΆΠ΅ Π½Π΅Ρ‚Β», Β«Π΅Ρ‰Π΅ Π½Π΅Ρ‚Β» ΠΈ Ρ‚.ΠΏ. Π‘ ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ этих Ρ‚Π΅Ρ€ΠΌΠΈΠ½ΠΎΠ² Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΡƒΡŽΡ‚ΡΡ Ρ‚Π°ΠΊΠΈΠ΅ Π·Π°ΠΊΠΎΠ½Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ направлСнности, ΠΊΠ°ΠΊ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€:

– ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ – это Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ Π½Π°Ρ‡ΠΈΠ½Π°Ρ‚ΡŒ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ, ΠΈ Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ ΠΏΠ΅Ρ€Π΅ΡΡ‚Π°Π²Π°Ρ‚ΡŒ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ;

– Π½Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ – Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ Π½Π°Ρ‡ΠΈΠ½Π°Ρ‚ΡŒ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ, ΠΈ Ρ‚ΠΎ ΠΆΠ΅, Ρ‡Ρ‚ΠΎ ΠΏΡ€Π΅ΠΊΡ€Π°Ρ‰Π°Ρ‚ΡŒ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ;

– становлСниС – это ΠΏΡ€Π΅ΠΊΡ€Π°Ρ‰Π΅Π½ΠΈΠ΅ нСсущСствования, Π° исчСзновСниС – это Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅ нСсущСствования;

– ΡƒΠΆΠ΅ сущСствуСт – Π·Π½Π°Ρ‡ΠΈΡ‚, сущСствуСт ΠΈΠ»ΠΈ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚;

– Π΅Ρ‰Π΅ сущСствуСт – Π·Π½Π°Ρ‡ΠΈΡ‚, сущСствуСт ΠΈΠ»ΠΈ исчСзаСт ΠΈ Ρ‚.ΠΏ.

Π›ΠΎΠ³ΠΈΠΊΠ° направлСнности допускаСт Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Ρ‚ΠΈΠΏΠ° сущСствования ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ²: Π±Ρ‹Ρ‚ΠΈΠ΅, Π½Π΅Π±Ρ‹Ρ‚ΠΈΠ΅, Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅ (становлСниС) ΠΈ исчСзновСниС. ΠžΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ всякого ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° Π²Π΅Ρ€Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΎΠ½ ΠΈΠ»ΠΈ сущСствуСт, ΠΈΠ»ΠΈ Π½Π΅ сущСствуСт, ΠΈΠ»ΠΈ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚, ΠΈΠ»ΠΈ исчСзаСт. ВмСстС с Ρ‚Π΅ΠΌ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ Π½Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ, ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ, ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ, Π½Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ, Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ ΠΈ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ ΠΈ Ρ‚.ΠΏ. Π˜Π½Ρ‹ΠΌΠΈ словами, Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Π΅ Ρ‚ΠΈΠΏΠ° сущСствования ΠΈΡΡ‡Π΅Ρ€ΠΏΡ‹Π²Π°ΡŽΡ‚ всС способы сущСствования ΠΈ ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π²Π·Π°ΠΈΠΌΠ½ΠΎ нСсовмСстимыми. Π›ΠΎΠ³ΠΈΠΊΠ° направлСнности позволяСт Π²Ρ‹Ρ€Π°Π·ΠΈΡ‚ΡŒ Π² логичСски Π½Π΅ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ²ΠΎΠΉ Ρ„ΠΎΡ€ΠΌΠ΅ идСю ΠΎ противорСчивости всякого двиТСния ΠΈ измСнСния. Π£Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ Β«ΠŸΡ€Π΅Π΄ΠΌΠ΅Ρ‚ двиТСтся Π² Π΄Π°Π½Π½Ρ‹ΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ Π² Π΄Π°Π½Π½ΠΎΠΌ мСстС» эквивалСнтно ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΡŽ Β«Π’ рассматриваСмый ΠΌΠΎΠΌΠ΅Π½Ρ‚ ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚ находится ΠΈ Π½Π΅ находится Π² Π΄Π°Π½Π½ΠΎΠΌ мСстС».

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π° ΠΊ Π»ΠΎΠ³ΠΈΠΊΠ΅ измСнСния являСтся Π»ΠΎΠ³ΠΈΠΊΠ° Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ финского философа ΠΈ Π»ΠΎΠ³ΠΈΠΊΠ° Π“.Π₯. Ρ„ΠΎΠ½ Π’Ρ€ΠΈΠ³Ρ‚Π°. Π•Π΅ исходноС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ «А ΠΈ Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΉ ситуации Π’Β» ΠΌΠΎΠΆΠ΅Ρ‚ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒΡΡ ΠΊΠ°ΠΊ «БостояниС А измСняСтся Π² состояниС Π’Β» («А-ΠΌΠΈΡ€ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ Π² Π’-ΠΌΠΈΡ€Β»), Ρ‡Ρ‚ΠΎ Π΄Π°Π΅Ρ‚ Π»ΠΎΠ³ΠΈΠΊΡƒ измСнСния. Π’ Π»ΠΎΠ³ΠΈΠΊΠ΅ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ Π΄ΠΎΠΊΠ°Π·ΡƒΠ΅ΠΌΡ‹ Ρ‚Π°ΠΊΠΈΠ΅, Π² частности, утвСрТдСния:

– всякоС состояниС Π»ΠΈΠ±ΠΎ сохраняСтся, Π»ΠΈΠ±ΠΎ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚, Π»ΠΈΠ±ΠΎ исчСзаСт;

– ΠΏΡ€ΠΈ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΈ состояниС Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ ΡΠΎΡ…Ρ€Π°Π½ΡΡ‚ΡŒΡΡ ΠΈ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ, ΡΠΎΡ…Ρ€Π°Π½ΡΡ‚ΡŒΡΡ ΠΈ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ, Π²ΠΎΠ·Π½ΠΈΠΊΠ°Ρ‚ΡŒ ΠΈ ΠΈΡΡ‡Π΅Π·Π°Ρ‚ΡŒ;

– ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π°Ρ‡Π°Ρ‚ΡŒΡΡ с логичСски ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ²Ρ‹Ρ… состояний ΠΈ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ вСсти ΠΊ Ρ‚Π°ΠΊΠΈΠΌ состояниСм ΠΈ Ρ‚.ΠΏ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Π΄ΠΎΠΊΠ°Π·ΡƒΠ΅ΠΌΡ‹Ρ… Π² Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… систСмах Π»ΠΎΠ³ΠΈΠΊΠΈ измСнСния, ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°ΡŽΡ‚, Ρ‡Ρ‚ΠΎ ΠΎΠ½Π° Π½Π΅ являСтся ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠ΅ΠΉ измСнСния ΠΈ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€Π΅Ρ‚Π΅Π½Π΄ΠΎΠ²Π°Ρ‚ΡŒ Π½Π° Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π±Ρ‹Ρ‚ΡŒ Ρ‚Π°ΠΊΠΎΠ²ΠΎΠΉ. Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ-логичСский Π°Π½Π°Π»ΠΈΠ· измСнСния ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° прСслСдуСт ΡƒΠ·ΠΊΡƒΡŽ Ρ†Π΅Π»ΡŒ – отысканиС срСдств, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΡ… ΠΎΡ‚Ρ‡Π΅Ρ‚Π»ΠΈΠ²ΠΎ Π·Π°Ρ„ΠΈΠΊΡΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ логичСскиС связи ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΎΠ± ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΠΈ Ρ‚ΠΎΠ³ΠΎ ΠΈΠ»ΠΈ ΠΈΠ½ΠΎΠ³ΠΎ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π°.

ВмСстС с Ρ‚Π΅ΠΌ Π»ΠΎΠ³ΠΈΠΊΠ° измСнСния ΠΈΠΌΠ΅Π΅Ρ‚ Π²Π°ΠΆΠ½ΠΎΠ΅ философскоС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Ρ‚Π΅ΠΌΠ° измСнСния (становлСния) Π΅Ρ‰Π΅ с Π°Π½Ρ‚ΠΈΡ‡Π½Ρ‹ΠΌΠΈ стоит Π² Ρ†Π΅Π½Ρ‚Ρ€Π΅ острых философских дискуссий.


Единство Π»ΠΎΠ³ΠΈΠΊΠΈ

РассмотрСнныС Ρ€Π°Π·Π΄Π΅Π»Ρ‹ нСклассичСской Π»ΠΎΠ³ΠΈΠΊΠΈ Π½Π΅ ΠΈΡΡ‡Π΅Ρ€ΠΏΡ‹Π²Π°ΡŽΡ‚, ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎ, всСго многообразия ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… логичСских систСм. Π›ΠΎΠ³ΠΈΠΊΠ° ΠΊΠ°ΠΊ Π½Π°ΡƒΠΊΠ° Π΅Π΄ΠΈΠ½Π°. Однако ΠΎΠ½Π° слагаСтся ΠΈΠ· мноТСства Π±ΠΎΠ»Π΅Π΅ ΠΈΠ»ΠΈ ΠΌΠ΅Π½Π΅Π΅ частных систСм, Π½ΠΈ ΠΎΠ΄Π½Π° ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€Π΅Ρ‚Π΅Π½Π΄ΠΎΠ²Π°Ρ‚ΡŒ Π½Π° выявлСниС логичСских характСристик ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ Π² Ρ†Π΅Π»ΠΎΠΌ. Π’ этом аспСктС соврСмСнная Π»ΠΎΠ³ΠΈΠΊΠ° отличаСтся ΠΎΡ‚ Ρ‚Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ. ПослСдняя Π½Π΅ Π·Π½Π°Π»Π° Π½ΠΈΠΊΠ°ΠΊΠΈΡ… ΠΌΠ½ΠΎΠ³ΠΈΡ… Β«Π»ΠΎΠ³ΠΈΠΊΒ». ΠŸΡ€ΠΎΠ±Π»Π΅ΠΌΠ° свСдСния Π² Сдинство Ρ‚Π΅Ρ… Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚Π°Ρ€Π½Ρ‹Ρ… описаний ΠΌΡ‹ΡˆΠ»Π΅Π½ΠΈΡ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π΄Π°ΡŽΡ‚ΡΡ ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹ΠΌΠΈ логичСскими систСмами, ΠΏΠ΅Ρ€Π΅Π΄ нСю Π²ΠΎΠΎΠ±Ρ‰Π΅ Π½Π΅ стояла.