Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Материалстиеческая … советской георгафии

Логика

Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка.

Познание – процесс отражения в человеческом мозге некоторой информации. Познание бывает:

· Чувственное

· Рациональное (вербальность, абстрактность, целенаправленность)

Язык – знаковая система, предназначенная для обработки, фиксирования, передачи и хранения информации.

Естественный язык создается в историческом процессе, основная задача – общение.
Искусственный язык создается целенаправленно для решения определенных задач.

Объектный язык – это тот язык, которым ведется какое-либо исследование.
Метаязык – тот язык, который используется для изучения другого языка.

Знак – это объект, который выступает в качестве представителя какого-либо другого объекта. Характеристики знака:

· Значение – тот самый объект, представителем которого является данный знак

· Смысл – информация о представляемом объекте, которую несет сам знак или которая связывается с ним в процессе человеческого общения или познания.

С точки зрения

1. значения знаки бывают:

· пустые – на заданной предметной области нет ни одного объекта, представителем которого выступал бы этот знак

· непустые – на заданной предметной области знак выступает представителем хотя бы одного объекта

2. смысла знаки бывают:

· описательные – знак сам несет информацию о представляемом объекте

· неописательные – информация связывается в процессе человеческого общения/познания

Семиотика – наука о знаках. Делится на:

· Синтактика – изучает отношения между самими знаками

· Семантика – изучает отношения между знаком и представляемым им объектом

· Прагматика – изучает отношения между знаком и его интерпретатором


Классическая теория высказываний (КЛВ)

КЛВ – логическая теория, содержащая один тип нелогических символов – пропозициональные переменные, и один тип логических символов – пропозициональные связки.

Высказывание – повествовательное предложение, о котором однозначным образом можно утверждать, что оно истинное или ложное.

Язык КЛВ:

· Алфавит

o p, q, r, s, p1, … - пропозициональные переменные

o ˥, &, V, , , V – пропозициональные связки

o), (- технические символы

˥ - отрицание (не)
& - конъюнкция (и)
V – дизъюнкция (или)
V – строгая дизъюнкция (либо, либо)
- импликация (если, то)
- эквивалентность (тогда и только тогда, если и только если)

· Определение ППФ

o Всякая пропозициональная переменная – это ППФ

o Если A – ППФ, то ˥A – так же ППФ

o Если A и B – ППФ, то (A&B), (AVB), (A V B), (AB), (AB) – ППФ

o Ничто иное не является ППФ

Пример: если гора не идет к Магомету, то Магомет идет к горе.

P – гора идет к Магомету
Q – Магомет идет к горе

˥PQ

Таблицы истинности

1 = истинно

0 = ложно

A B A&B (*) AVB (+) A V B (-) AB (≤) AB (=)
             
             
             
             

Всего строк 2n где n – это число различных пропозициональных переменных, вошедших в формулу.

Результирующий столбец таблицы находится под главным знаком формулы.

Виды формул:

1. Тождественно-ложные (противоречия) – если и только если в каждой строке результирующего столбца она принимает значение «ложь» (0).

2. Выполнимые – если и только если она принимает значение «истина» хотя бы в одной строке результирующего столбца.

3. Собственно выполнимая – если и только если в каждой строке результирующего столбца она принимает значение «истина»

 

3 закона КЛВ

1. Закон тождества AA

2. Закон исключенного третьего AV˥A

3. Закон противоречия ˥(A&˥A)

4. Закон контрпозиции (AB) (˥B˥A)

Отношения между формулами:

· Фундаментальные (основные) – формулы некоторого множества Г находятся в отношении совместимости по ложности если и только если хотя бы в одной строке их совместной таблицы они одновременно принимают значение ложь

· Вспомогательные – формулы некоторого множества Г находятся в отношении совместимости по истинности если и только если хотя бы в одной строке их совместной таблицы они одновременно принимают значение «истина»

· Из множества формул Г логически следует формула B (Г|=B) если и только если в их совместной таблице не находится такой строки, в которой все формулы из Г одновременно принимают значение «истина», а формулы B – ложь.

 

· Формулы A и B находятся в отношении контрарности если и только если они совместимы по ложности и не совместимы по истинности

· Формулы A и B находятся в отношении субконтрарности если и только если они совместимы по истинности и не совместимы по ложности

· Формулы A и B находятся в отношении контрадиктности если и только если они не совместимы по ложности и не совместимы по истинности или не совместимы по ложности

· Формула B находится в отношении подчинения к формуле A если и только если из формулы A|=B, а из формулы B не следует A

· Формулы A и B находятся в отношении эквивалентности если и только если A|=B и B|=A

· Формулы A и B находятся в отношении независимости если и только если они совместимы по истинности, совместимы по ложности и не следуют друг из друга


Классическая логика предикатов (КЛП)

Язык КЛП:

· Алфавит

o a, b, c, d, a1 … - индивидуальные константы (имена собственные)

o x, y, z, x1… - индивидуальные переменные (имена нарицательные)

o f′, g′ - функторы

o P1, Q1, R1, S1, R2 – предикаты

o ˥, &, V, - пропозициональные связки

o Ǝ, - кванторы

o), (- технические символы

Предметные функторы – термины, с помощью которых в языке представляются предметные функции (с помощью предметных функторов – выражения).

Пример: Аристотель – a
отец Аристотеля - f′(a)

Предикаты – термины, выражающие в языке предметно-истинностные функции (свойства и отношения)

· Определение правильно построенного терма:

o Всякая индивидуальная константа – это ППТ

o Всякая индивидуальная переменная – это ППТ

o Если Фn – n-местный предметный фактор, а t₁, t₂, t₃, …, tn – правильно построенные термы, то Фn (t₁, t₂, t₃, …, tn) – это ППТ

o Ничто иное не является ППТ

· Определение правильно построенной формулы (ППФ)

o Если П - n-местный предикат, а t₁, t₂, t₃, …, tn – это ППТ, тогда П n(t₁, t₂, t₃, …, tn) – ППФ

o Если A – ППФ, то ˥A – ППФ

o Если A и B – ППФ, то (A&B), (AVB), (AB) – ППФ

o Если A и B – ППФ, α – индивидуальная переменная, то ƎαA, αA – ППФ

o Ничто иное не является ППФ

Пример:

4 = a - f1(a)
5 = b 4+5 - g2(a, b)
√ = f1 +5 - g2(f1(a), b)
+ = g2 (4+4)+(5+5) - g2(g2(a, a), g2(b, b))

В формулах вида αA и ƎαA формула A называется областью действия квантора по переменной α.

В произвольной формуле каждая индивидуальная переменная имеет некоторое число вхождений.

Вхождение индивидной переменной в некоторую формулу называется связанным, если оно следует непосредственно за квантором или находится в области действия квантора по данной переменной, в противном случае вхождение переменной в формулу называется свободным.

Индивидная переменная называется свободной в некоторой формуле, если существует по крайней мере одно свободное вхождение в эту формулу.

Терм называется замкнутым, если он не содержит в своем составе ликвидных переменных.

Формула называется замкнутой, если никакая индивидная переменная не является в ней свободной.

1. Закон подчинения
αA ƎαA

2. Закон противоречия
˥ (αA&˥ αA)

3. Закон непустоты предметной области

4. ƎαA V ˥ ƎαA

Рассуждение – это логическая процедура последовательного перехода от одних высказываний, принятых в качестве посылок, к другим высказываниям. Каждый шаг такого перехода осуществляется по какому-либо правилу вывода. Последняя формула рассуждения – заключение.

Дедуктивное рассуждение – рассуждение, в котором между высказываниями, принятыми в качестве исходных, и заключением сохраняются отношения логического следования.

Аналитические таблицы (АТ)

Логические теории бывают разрешимыми (КЛВ) и неразрешимыми (КЛП).

Теория называется разрешимой если существует эффективная процедура (алгоритм), позволяющая для любой формулы языка данной теории в конечное число шагов решить вопрос о том, является ли эта формула законом теории или нет. В противном случае теория называется неразрешимой.

Метод от противного: |=A допустим: ˥A

Особенности АТ

1. Аналитическая таблица состоит из отмеченных формул (к которым добавили знак t или f)

2. АТ двумерна – это дерево отмеченных формул. Цепь АТ – последовательность, без пропусков, вхождений отмеченных формул, начинающаяся с самой верхней формулы таблицы (кроме дерева) до 1 из самых нижних формул.

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

Правила редукции:

 

t (A&B) f (A&B)
t A, t B   f A f B
t (A V B) f (A V B)
t A t B   f A, f B
t (A B) f (A B)
f A t B   t A f B
t ˥A f ˥A
f A   t A
t αA (α) f αA (α)
t A (k) где A (k) – результат замены всех свободных вхождений α в A на произвольной замкнутый терм k f A (k) где A (k) – результат замены всех свободных вхождений α в A на произвольной замкнутый терм k, который не содержится в отмеченных формулах цепи
t ƎαA (α) f ƎαA (α)
t A (k)   f A (k)  

Аналитическая таблица – конечное или бесконечное дерево отмеченных формул. Цепь называется замкнутой, если в ней встречается две отличные формулы tC и fC. АТ называют замкнутой, если каждая ее цепь является замкнутой.

Формула A является общезначимой (|=A) если и только если существует замкнутая аналитическая таблица, начальная цепь которой начинается с отмеченной формулы fA.

A₁, A₂, A₃, …, An |=B если и только если существует замкнутая аналитическая таблица, начальная цепь которой начинается с отмеченных формул tA₁,t A₂,t A₃, …,t An fB.

Натуральные исчисления. Исчисления высказываний.

Правила редукции (вывода):

1. &в:

2. Vв:

3. в: (последняя посылка вывода)

4. &и:

5. Vи:

6. ˥в:

7. и:

8. ˥и:

Вывод – это непустая конечная последовательность формул C₁, C₂, C₃, …, Cn, удовлетворяющая следующим условиям:

1. Каждая Ci является либо посылкой, либо получена из предыдущей формулы по одному из правил вывода

2. Если в выводе принимались правила B или ˥B, то все формулы, начиная с последней посылки вплоть до результата применения этого правила, считаются исключенными из вывода и не участвуют в дальнейшем построении вывода.

Доказательство – вывод из пустого множества не исключенных посылок.

· B – введение импликации

˥B – введение отрицания


Силлогистика

Аристотель (384 - 322 до н. э.)

Силлогистика – это логическая теория, изучающая простые категорические атрибутивные высказывания (ПКАВ) и отношения между ними.

Состав ПКАВ:

1. Квантор

2. Термины:

· S – субъект высказывания, логическая подлежащее, тот объект, о котором идет речь

· P – предикат, логическое сказуемое, то, что говорится о субъекте, предицируется субъектом

3. Связка (есть, является, суть, -)

Пример: Все мишки любят мед

       
 
   
 

 

 


Виды высказываний

I. По количеству:

a. единичные – субъект которых указывает ровно на один предмет

b. множественные – субъект которых указывает более чем на один предмет

i. общие – субъект говорит обо всех элементах класса S

ii. частные – субъект говорит о некоторых (возможно, всех) элементах класса S

II. По качеству:

a. Утвердительные – перед связкой не стоит частица «не»

b. Отрицательные – перед связкой стоит частица «не»

A ff i rmo - утверждаю

N e g o – отрицаю

Отсюда обозначения (гласные буквы приведенных выше слов)

Общеутвердительные – все S являются P (a)
общеотрицательные - все S не являются P (e)
частноутвердительные - некоторые S являются P (i)
частноотрицательные - некоторые S не являются P (o)
единичноутвердительные – a является P
единичноотрицательные – a не является P

На единичные букв не хватило. Ну и ладно, всё равно это частный случай общих.

Язык силлогистики

· Алфавит

o S, P, M, S₁ - термины

o a, e, i, o – логические константы

o ~ - терминное отрицание («не»)

o ˥, &, V, - пропозициональные связки

o), (- технические символы

· Определение правильно построенного терма (ППТ)

o Всякий термин является ППТ

o Если α – ППТ, то ~α – ППТ

o Ничто иное не является ППТ

· Определение ППФ

o Если α и β – это ППТ, то α a β, α i β, α e β, α o β – ППФ

o Если A – ППФ, то ˥A – ППФ

o Если A и B – ППФ, то (A&B), (AVB), (AB) – ППФ

o Ничто иное не является ППФ

Модельные схемы

I. Высказывание «Все S являются P» истинно тогда и только тогда. Когда классы S и P находятся в одном из следующих отношений: S+aP-

II. Высказывание «Все S не являются P» истинно тогда и только тогда, когда классы S и P находятся в одном из следующих отношений: S+eP+

III. Высказывание “Некоторые S являются P» истинно тогда и только тогда, когда классы S и P находятся в одном из следующих отношений: S-iP-
(закрашено пересечение)

IV. Высказывание «Некоторые S являются P»» истинно тогда и только тогда, когда классы S и P находятся в одном из следующих отношений: S-oP+
(закрашено S без P)

V. Высказывание «a является P»» истинно тогда и только тогда, когда классы S и P находятся в одном из следующих отношений: a+P-

VI. Высказывание «a не является P»» истинно тогда и только тогда, когда классы S и P находятся в одном из следующих отношений: a+P+

Термин считается распределенным если и только если на всех модельных схемах, которые являются условием истинности того высказывания, в которое он входит, он полностью заштрихован или полностью не заштрихован, в противном случае термин считается нераспределенным.

Единичные высказывания являются вырожденным случаем общих.

Формула A является законом силлогистики если и только если она истинна на всех модельных схемах.

Из множества формул Г логически следует формула B если и только если не найдется такой модельный схемы, на которой все формулы из Г – истинны, а формулы B ложны.

Простой категорический силлогизм (ПКС) – умозаключение, в котором на основании некоторого отношения между терминами P и M, а так же терминами S и M делают вывод о наличии определенного отношения между S и P.

Состав ПКС

S – это субъект заключения, меньший термин, посылка, в которой он находится. Называется меньшей.

P – это предикат заключения, больший термин. Посылка, в которой он находится, называется большей.

M – это средний термин, встречается в обеих посылках, но никогда в заключениях.

Модус – разновидность силлогизма, которая определяется видами высказываний, вошедших в этот силлогизм.

Силлогизм является верным если и только если он удовлетворяет следующим условиям:

I. Правило посылок:

1. Хотя бы одна посылка должна быть утвердительной.

2. Если обе утвердительные, то и заключение должно быть утвердительным.

3. Если одна из посылок отрицательная, то и заключение – отрицательное.

II. Правило терминов:

1. Средний термин должен быть распределен хотя бы в одной из посылок.

2. Если термин распределен в заключении, то он должен быть распределен и в посылке.

Пример: Настоящие йогурты содержат живые бактерии.


Йогурты Danone содержат живые бактерии, значит, йогурты Danone – настоящие йогурты.

 

+PaM-
+SaM-
+SaP-

Силлогизм неверен.

Энтимема – простой категорический силлогизм, у которого пропущена одна из посылок или заключение.

Виды энтимем:

· Корректные – восстанавливаются до правильного силлогизма с истинными посылками

· Некорректные – не восстанавливаются до правильного силлогизма, или восстанавливаются, но одна из посылок – ложная

Пример: Все кролики едят капусту. Все кролики – вегетарианцы.

 

+SaM-
+MaP-
+SaP-

Все, кто ест капусту – вегетарианцы. – ложь => энтимема некорректна

Непосредственные умозаключения – это умозаключения, в которых вывод делается на основании одной только посылки.

I. Выводы по логическому квадрату – это непосредственные умозаключения со следующей структурой

 

  контрарность  
п о д ч и н е н и е   п о д ч и н е н и е
субконтрарность

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

11.

12.

13.

14.

15.

16.

II. Обращение – это непосредственное умозаключение со следующей структурой

III. Превращение – это неполное умозаключение со следующей структурой

IV. Противопоставление субъекту – это непосредственное умозаключение со следующей структурой (обращение - превращение)

V. Противопоставление предикату – это непосредственное умозаключение со следующей структурой (превращение – обращение)

VI. Противопоставление субъекту и предикату - это непосредственное умозаключение со следующей структурой (превращение – обращение – превращение)


Понятие

Понимать термин – значит по любому предъявленному предмету уметь определять, подпадает ли он под данный термин или нет.

Понятие – это мысль, в которой на основании некоторого признака выделяются из универсума и обобщаются в класс все предметы, обладающие этим признаком.

αA (α) – универсалия.

Предмет α из универсума U такой, что он обладает признаком A (α).

Универсум U, по которому пробегает α, называется родом, а признак A (α) – видовым отличием.

Пример: человек, изучающий логику

 

A (α) – содержание

Объем W α A (α)

U - человек

Элемент объёма

 

 

У всякого понятия есть две основные характеристики: содержание и объем.

Содержание понятия – это тот самый признак, на основании которого предметы выделяются из универсума и обобщаются в класс.

Объем понятия – это класс всех тех предметов, которые обладают признаком, указанным в понятии.

α A (α)

 

 

Объем W α A (α) содержание A (α)

Виды понятий

I. По объему:

· Пустые – пустым считается понятие, в объеме которого нет ни одного элемента

· Непустые – непустым считается понятие, в объеме которого есть хотя бы один элемент

üЕдиничные – в объеме понятия ровно один элемент

üОбщие – в объеме понятия больше одного элемента

§ Универсальные – объем понятия совпадает с универсумом

§ Неуниверсальные – объем понятия меньше универсума

· Конкретные – конкретным считается понятие, элементами объема которого являются отдельные предметы или их множества

· Абстрактные – абстрактным считается понятие, элементами объема которого являются свойства, отношения или их множества.

· Собирательные - собирательным считается понятие, элементами объема которого являются множества.

· Несобирательные - несобирательным считается понятие, элементами объема которого являются отдельные предметы, свойства, отношения

II. По содержанию:

· Простые – признак не содержит логических констант (пропозициональных связок и кванторов).

· Сложные – содержат хотя бы одну логическую константу.

· Положительные – признак не содержит пропозициональные связки и отрицание.

· Отрицательные – признак содержит отрицание.

· Относительные – признак является реляционным свойством (признак не содержит свободным переменных).

· Безотносительные – признак не является реляционным свойством.

Булевы операции над объемами и понятиями.

1. Пересечения


Пересечь два множества, являющиеся объёмами понятий A и B – значит указать объем нового понятия, элементами которого являются те и только те объекты, которые одновременно принадлежат и объему A, и объему B.

 

2. Объединение

Объединить два множества, являющиеся объёмами понятий A и B – значит указать объем нового понятия, элементами которого являются те и только те объекты, которые принадлежат или объему A, или объему B.

 

3. Вычитание
Вычесть из множества, являющиеся объёмом понятия A, понятие, множество, являющееся множеством понятия B – значит указать объем нового понятия, элементами которого являются те и только те объекты, которые принадлежат объему A, но не принадлежат объему B.

4. Взятие дополнения
Взять дополнение к множеству A, значит указать объем нового понятия, элементами которого являются те и только те объекты, которые не принадлежат объему A.
˥A

 

1.

2.

3.

Два понятия α A (α) и α B (α) считаются сравнимыми, если и только если их универсумы совпадают. В противном случае понятия считаются несравнимыми.

3 фундаментальных отношения:

1. α A (α) и α B (α) находятся в отношении совместимости если и только если для их объемов верно, что в них имеется по крайней мере один общий элемент.

2. α B (α) находится в отношении включенного понятия α A (α) если и только если для их объемов A и B верно, что каждый элемент из B является так же элементом A.

3. Два понятия α A (α) и α B (α) находятся в отношении исчерпывания если и только если для их объемов A и B верно, что каждый элемент универсума является элементом A или элементом B.

Вспомогательные отношения.

1. Равнообъемность
1. Совместимость
2. Обоюдная включенность
3. Неисчерпывание

 


2. A подчиняется B
1. Совместимость
2. A включается в B
3. Неисчерпывание

 


3. B подчиняется A
1. Совместимость
2. B включается в A
3. Неисчерпывание

 

4. Дополнительность

1. Совместимость
2. Невключение
3. Исчерпывание

 

5. Противоречие

1. Несовместимость
2. Невключение
3. Исчерпывание

 

6. Пересечение
1. Совместимость
2. Невключение
3. Неисчерпывание

 

7. Соподчинение

1. Несовместимость
2. Невключение
3. Неисчерпывание

 

Операции над объемами понятий

1. Обобщить непустое понятие α A (α) значит указать такое понятие α B (α), что для их объемов A и B будет верно включение первого во второе.
Предел обобщения – универсальное понятие.

2. Ограничить непустое понятие α B (α), значит указать такое непустое понятие α A (α), что для их объемов A и B будет верно включение первого во второе.
Предел ограничения – единичное понятие.

3. Под делением непустого понятия α B (α) понимают переход от объема этого понятия B к системе
α B (α) – делимое понятие
S – система членов деления
- член деления
основание деления – это та характеристика элементов из объема делимого понятия, модификация которой и вызывает систему членов деления S.

Деление считается правильным если и только если оно удовлетворяет следующим условиям:

1. Каждый член деления является видовым по отношению к делимым понятиям.

2. Члены деления попарно несовместимы.

3. Объединение всех членов деления равно объему делимого понятия.

4. Каждый член деления не пуст.

5. Деление должно проводиться по одному основанию.

Виды деления:

· Дихотомическое

· По видоизменению основания


Определение

Определение – это логическая процедура придания точного смысла языковым выражениям (терминам языка).

Основная функция определения – задание значения для определяемого термина.

3 приема, сходных с определением:

1. Остенсивное «определение» (указание на предмет)

2. Описание (простое перечисление известных характеристик предмета)

3. Сравнение (одного предмета с другим)

Требования, предъявляемые к определению

1. Ясность и четкость – определение должно даваться через знакомые термины, не должно содержать лишней информации.

2. Система определений не должна содержать порочного круга (не должна замкнуться).

Виды определений: явные и неявные

· Явные – задаются лингвистической конструкцией следующего вида:

 


В определяемой части содержится определяемый термин.

Виды явных определений в зависимости от того, к какой языковой категории принадлежит A:

1. Определение имени
– сложное имя
a – тот самый α который обладает признаком B(α)

2. Определение универсалии

 


3. Определение высказывательной формы

4. Определение функционального выражения

α – индивидуальная константа или индивидуальная переменная
П – предикат
f – функтор

Определяемый термин не должен содержаться в определяемой части.

Явные определения:

· Родовидовые

o Генетические – B(α) указывает на способ порождения предикатов

o Квалифицированные - B(α) указывает на существования характеристики или структурные особенности предмета

o Целевые - B(α) указывает на значение предмета

o Операциональные - B(α) указывает на процедуру, с помощью которой можно определить подпадает ли данные предмет под неявное определение

· Неродовидовые

Определения универсалий бывают перечислительными определениями.

Определение имени – определение имени через гипостазирование.

I. Обобщающая абстракция
отцовство - «x отец y»
<x, y> (мужчина x & родители (x, y))

II. Изолирующая абстракция
«быть отцом»

III. Гипостазирование: имя отношения «отцовство»

IV. Определение
отцовство =

Закон

Неявные определения

Задаются лингвистической конструкцией следующего вида:

A есть то, что удовлетворяет условию

Особенности неявного определения:

1. - высказывания, могут быть истинными или ложными

2. Определяемый термин может содержаться в определяемой части

3. Не действует принцип замены по дифиниции

Бывают:

· Индуктивные (с их помощью задаются множества)
1. Базис индукции
2, 3, 4…n индуктивные шаги
n+1 ничто иное не является A

· Рекурсивные – с их помощью задаются функции
1. Базис рекурсии
2. Рекурсия

x+0=x

· Аксиоматические (фундаментальные понятия)

Еще определения бывают:

· Контекстуальные – определяемая или определяющая часть содержит контекст употребления данного определения.

· Неконтекстуальные

А так же:

· Реальные
С семантической точки зрения, реальное определение – это то, которое дается действительно существующему объекту или его характеристикам
С прагматической – которое дается для уточнения смысла.

· Номинальные – выражает собой простую конвекцию называть тот или иной объект каким либо словом.

Подробнее об индукции советую прочитать в работе А. И. Ноткина «Учебник по индукции»

В 1929 году разгорелась борьба между сторонниками так называемыми отраслево-статистического и районного направления в экономической географии.

Эконом географы условно победили и наиболее видным среди них был Баранский. Основание различий между двумя направления имеют внутринаучных характер. В 1931 году молодые ленинградские географы экономисты взяли на себя возможность решить что в географии является марссистским а что является буржуазными излишками. В результате этого под эгидой борьбы с идеями Гетнера, а именно они являлись излишками, Берг, Григорьев, Семенов Тяньшанский обвинялись в продвижении буржуазного направления. Им приписывали роль преувеличения физикогеографич. факторов в хозяйстве и районирвоании а также попытке объединения герагфии в единую науку, что является марскистским.

Районная школа Баранского объявлялась также антимарскистской. Берга обвиняли в идеализме и агносценцизме. В последующей дискуссии в географии затрагивали острые вопросы и имели проф. характер и не содержали под собой явного идеологического подтекта.

Принципы марссисткой диалектики не противоречили традициям русской географии. Объективность материального мира всеобщая связь и взаимодействие, историко генетический подход - были традиционными основами русских географических учений. Географам природо ведам особенно близки «Идеи природы» Энгельса и именно они помогли связать в едино, осознать мировоззренческое значение кот. выходит за рамки одной науки.

Дилектический материализм Марка и Энгельса явился результатом …

...

 

Русская классическая география


 

Ценность и уникальность географии Хардшор видел в изучении индивидуаьных факторов и в отличии от Гетнеа отрицал причинную связь между большинство явлений даже с неживой природов. По его мнению при подборе фактов нужно исодить из оценци и значения для человека. В конечном итоге Хардшор вернулся к Риттеровской формлу т.е. геораф должен изучать как жилище человекеа.

В советской географии постоянно возниикамли дискуссии, но сущность самой концепции серьезно не изучалась и не изучалась. Теоритическая георгафия возникшая в 20 годы на Западе возникла в противовес гетнерианскому _______, нашло сторонников и в советской георафии, один из основателей этого научного представления ________ Задачи георгафии формклировались по разному. По мнению советских ученых Гохмана и Савушкина теоритическая география обобщает результаты всех частных географических дисциплин и рассматривает наиболее общие своейства различных геосистем, а также пути их моделирования и формализации. В других работах теоритическая география определяется как наука о «логике пространста» о его изучении и картографировании, а также о геосистемах, геоструктурах, геопространствах, их построение, конфигурации, расстояниях и т.д. Основные ___моделирование двух мерного георгафического пространства. По Родаману Б.Б. теоритическая георгафия отличается от____ что изучает идеальные объекты, которые создаются учеными пуьтем подбора, некоторых черт, окружающие объективной действительности. Речь идет об изоморфных пространственных чертах, т.е. о сходстве рисунков на пример линейно узловых сетей относящиеся к различному генезису. Подобный изоморфизм дает основания для некоторых обобщенных теоритических построений и идеальных моделей. Другое направление связано с соц. физикой и сводится к построению математич. моделей основанных на изоморфизме между соц. экономическими потоками и теме или иными физ. процессами.

К теоритической географии матем. модели рассматриваются как своего рода нормы и эталоны. Реальность отклоняющиеся от подобной модели оценивается как нерациональная.

Георграафия таким образом превращалась в науку без границ, т.е. георафия.

В последние годы, начало 2000 наблюдается новый всплеск к хорологической концепции, некоторые георафы считают ее основой георгафии однако считают что она нуждается в модернизации, по мнению Замятина. Наступило время посхорологической концепции, путем синтеза и ___ Пайбусович видит единство георгафии основанной на хорологии и считает что хорологическому принципу нужно добавить системный. Однако от истории георгафюи следует отделить. Взгляды в прошлое допустимы лишь___.

По Радоману наука хорологическая, она фокусируется прсостранственных конфигурациях на основе территориальнх систем, что не исключает идею их эволюции.. Время географа интересует не само по себе, а посколуку позволяет изучить пространственные закономерности. Исторический аспект георгафии по Родоману отражается в эволюции территориальной биосферы и окужающией человеку среды. Для географа эта эволюция может рассматриваться как прогрессирующая территориальная дифференциация и ______. Ласточкин считает целью географии разработать системно-морфологическую основу дя всех наук о Земле опираяь на хорологическую концепцию. Основная ео идея – в априорном докучении, будто все основные свойства гео. явлений и их комплексом определ. рельефом. Он считает что рельеф как структура земн. поверности определяет строение и развитие надлитосферных компонентов и ландшафта в целом. Единство в многооброзии процессов заложено в их морфологии и заключаются в сходстве внешних форм и соответственно решать изначальные интеграционные проблемы должна геоморфология причем это положение должно распрастранятся на все георгафич. состовляюшие. Ласточкин считает, что единственными понимаемыми и реализуемыми признаками естесвтенной делимости земной пов-ти и связанного с ее рельефом ландшафтногеоэкологическим пространством, является морфологические и геометрические признаки.Фундамантальная категории в его георгафии это местоположение геотип, это относительно _____. В геотиеп должны как бы автоматически все элементарные подрозделения геокомпонентов и геокомплексов. Метополжение позволяетм функциональные и динамические состовл. гекомплексо на проятжении истории их развития. Со всеми их качествами и преобразования и соответсвенно георафические классификации и рйонирвоания должны основываться морфологических признаках, а генетических подход отлагается. В сходстве геохим. __ ласточкин пытается найти присуще природным и соц. экономическим явленияем. Доказательство такого единства, прослеживются в аналогии между структурными линиями, а именно д________.________

Свою концепцию Ласточкин опрделет геотопологический детерминизм.

Путь к познанию сложны Ласточкин видит в сведении ее предельно обобщенной модели или геотопологичеком редуционализма.Сущность его сотоит в сведении свойств и хар-кразных по своей природе геокомпонентов и геокопмлексов в показателям метоположения и х систематике геотопологическому признакуи универсальному языку. Выдающие значении форм земной поверхности в формировании геосистем является объективным внешние формы - это простейшие формы гео объектов. Но моделирование этих признаков не может рассматриваться геотопологическое моделирование имеет скорее всего вспомогательное значение геосистем однако, не может само по сбе служить такой теории. От этой концепции следует отличать хорологический полдход он основан на признании универсального значения пространственных свойств и отношений рассматриваемой в диалектической связи с другими свойствами географических систем, но без абсолютизации хорологии.

 

Основные пространственные географические категории.

Широко используется о двух мерном пространстве поецируемом на фзиизческую поверхность суши и водоемов и в данном случае говорят о соответсвенно о территории и экватории. Попытки создать представление о многомерном пространстве разультаттов не принесли.Терин георгафическое пространство не получил обще признанного толкования, но как правило понимается как пространство занятеео георгафической оболочкой или эпигеосферой. Каждый географический объект имеет свое пространство которое характеризуется размерами, формой, ориентацией, а также положением объектов. Аллаев предложил называть ареал в предалех которых проявляется воздействие, георафичеким полем, а собственное физическое пространство вместе с его георгафическм полем.предложил называть георафическим пространством.Собственное пространство формируется в процессе их развития и взаимодействия другими объектами и характеризуется некотрой изменчивостью.

Размеры геосистем влияют на совйства отдельных компонентов, но и на неё устойчивость в целом.

 

Крупные системы имеют тенденцию саморазвитию и расширению, а малые системы – к самодеградации. Географические следстия формы проявляются в конфигурации объекта, они проявляются на высоком уровне иерархии георгафическх систем, сферичность эпигеосферы имеет свои непосредственным следствием ____ притоком солнечной энергии,чт отражается во всех компонентах геосистем и их зональном размещении.

 

 


 

Пространственные географические категории.

При географическом исследовании не стоит абсолютизировать категорию формы и далеко не всегда наблюдается связь между конфигурацией геосистемы и ее происхождением. Сходство форм или их различие зачастую не имеет отношение к происхождению. Так ориентируясь на картографический образ, степную зону называют меридиональной зоной, несмотря на то что генетически это явление типично широтно зональное. Ещё Гетнер писал, что каждое явление на поверхности Земли станосится понятным только пцутем утстановлением эго положения относительно других частей Земли. В этом заклбчючается позиционный принци (автор Родоман Б.Б.) состовляющий один из ___. И отсюда узловую роль имеет понятие географическое положение под которым понимается совокупность пространтсвенных положенией ко всем другим объектам имеющим для него значение.

Иначе можно сказать что метсо данного объекта в системе пространственнхы связей и потоков и определяют его отношщение с внешней средой. ГП каждого объекта специфично, т.е. характерно для его и ___.Единствено нормальное значение имеют геодезические координаты и абсолютная высота.Они однозначно фиксируют местополжение любого объекта в трёхмерном пространстве. Уже по этим координатам можно косвенно и с некоторым допущением судить о возможным свойством судить___. Однако реальные свойства объектов зависят от их положения множество дейтсвующих факторов для прирдной геосистемы это могут центры действия геосистемы, теплые или холодные морские течения, горные барьеры, вулканы, центры расселения животных. Для политико георафических значение имеют положение страны, региона, по отношению к территориальной расстановке политических, а также экономических, военных сил внути страны, группы стран или на мировой арене. Поэтому при конкретных исследованиях общие понятие географичесоке полжение диффиринцируется на физикогеоргафическое, экономикогеоргафическое, политико-географическое и т.д. Наиболее разраьтано экономико-географическо положение кот. введено Баранским. Оно употребимо и по отношению к отдельным объектам и к целым хоз. системам и эконом. районам. О нём говорят ____ центром экономич. рес-ов, транспортных путей и т.д.

При этом различают несколько иерархических уровнях мезо, микро, макро. Категория экономиго географического положения является исторической, его содержание значение, а также потенциальные возможности зависят от конкрентых общестувенно исторических условий. Иерархичность пироднх геосистем ввязывается с таксономическими уровнями, территориальных физико-георафических уровнях.Макрополодени определелятс приуроченностью данной геосистемы ил одног риродного объекта к определенному зонально – секторному макрорегиону. Таким образом понятие местоположния определяет геометрические и топологические характеристики определяющие как однородность участка. Так и его место в пространсвенно-локальных связей. Его можно ___.

Сущность хорологическго пождхода наиболее полно определяется в связах __ю. Они выражаются в обмене высеством, информации и т.д. Характер и интенсивность связей зависит от природы завич. объектов так и отних взаимного расположения.Территориальные связи реализуются через преодолдения расстояний, кот являются существенным ограничищим фактором, кратчайшим расстоянием между двумя пунктами измеряется по дуге большого круга (ортодромии). Однако еальное расстояниет, т.е. размер дуги зависит от различных факторов, пересеченности рельефа, формы и крутизны склонов извилистостью русел рек, наличие препядствий, интенсивность между объектами, зависит от характера разделяющего пространства. Существуют способы математического спосба соседства различных гео объкектов, взаимосвязанные гао объекты как природные так и соц. экономич. организуют комплексы, которые связанные между собой посредством соединяющих дорог и расположенных между ними других объектов. Многим таким образованиям хар-но специфич. упорядоченность т.е. пространственная структура. Структурная упорядоченность территориальных сочетаний тех илли иных гео объектов позволяют говорить территориальных системах. Однако это понятие не стоит осуществлять с георгафической системой. Поскольку оно выражает только хорологический аспект. Полный охват геосистемы предполагает учет взаимодействиями между соствляющими в широком смысле слова и прежде всего межкомпонентных, вертикальных, а не только территориальных состовляющих.Гео объекты и их территориальные системы характеризуются неравномерным распределением в пространстве эпигеосферы и пространственной изменчивостью свойств. Весь спектр проблем относящихся к размещению и просранствнной ___. Можно объединить понятием пространственна дифференциация. На практике чаще употребляется территориальная дифференциация. Если же задачей георгорафией распространить георгафичю разнообразие, но и на объяснение закономерностей, то неизбежно придется выйти за пределы хорологического подхода. Тогда на первый план выйдут проблемы георграфического взаимодействия и придется обратиться к фактору времени и генезису.Т.о. в центре исследований оказываются законы происхождения, развития и размещение геосистем,кот оргнанически связаны с ___. Термин размещения относится как к состоянию, так и к процессу. Современное размещние геообъектов являестя результатом длительных исторических процессов протекающих по определенным законам. Размещение может иметь как дискретный (прерывисытй) так континуальный (не прерывистый). Первый – для физически обособленных объектам

 

звукозапись Аудиоклип 38

 

Время в географии и исторический поход.

(начинается после 20 минуты)

В учениях о геосистемах часто используют термин «характерное время», однако смысл в него вкладывается различный. Нек-рые специалисты вкладывают время существования системы, т.к. наз-ый предельный возраст. Продолжительность полного цикла развития от ее возникновения до отмирания, Другие авторы рассматривают как время выявление системы, т.е. такой временной интервал в течении которого охватывается полный цикл ее функционирования. В этом случае хар-ное время можно интерпритерировать как минимальный промежуток времени необходимый для наблюдения за процессами управления геосистемы. По Солнцеву в течении характерного времени появляются устойчивые свой-ва данного участка пространства. Характерное время – хроноинтервал в пределах которого может реализоваться полный набор частных целостных проявления объектов во времени. Для колебательных систем характерное время – полный период колебания. То что др. авторы называют фоновым, Солнцев- характерным.

Практическая реализация о собственном времени геосистем сталкивается в различными проблемами. 1 – сложности из-за разнообразия форм временных _____. В ходе времни наблюдаются интерференция, хроноинтервал разного происхождения и длительности, приэтом они одинаково не проявляются ____. Проявляется размытость временных рубежей в процессе развития геосистем. Соотвественно и отсутсвие четких критериев для выделения. Очевидно что один и тот же хроноинтерва имеет не одинаковую значимость и занимать различное ___. Всем природным процессам эпигеосферы характерны квазипериодически (ритмические) колебания.

Наиболее четко выражены годовой суточные ритмы поступления инсоляции в земной поверхности, играющие определенную роль функционирования ___. Солнцев считает эти ритмы фажнейшим фактором упордочения хроноорганизации георафическх и всей геореальности.

Годичный цикл можно счиать для определения времени выявления геосистемы или характерного времени в более узком времени. Это тот мин. промежуток времени кот. требуется для полного описания геосистемы, с охватом всех типичных состояний, в том числе и сезонных.

Ритмические изменения различного происхождения и различной продолжительности так или иначе проволжают и проялвютя в жизни человека. в различие общества существуют ритмы циклического хар-ра но они изучены недостаточно.

Некотрые учены стали привлекать внимание к теории длинных волн Кондратьева согласно которой в технико-экономическом развитии набблюдатся полувековые циклы с периодическим колебанием восходящим и нисходящим. С конца 18 века устаеновлено 5 таких циклов. Есть сторонии теории и противники. Западные ученые выделяют конъюктурные циклы от 3 до 300.В данном случае принципально важно различать два типа изменений. Первый тип – не приводящие к перестройке ___.

У циклов с большой продолжительностью восхождящиеся и нисходящие могут перекрывать циклы геосистем и селдеователньно в реальной действительности может просходить интерфернция разнонаправленных интересов и в определенный случаях расчленение их на обратимые и необратимые, теряют смысл и почти неосуществимы.

Исторический подход.

Весь процесс развити локальных геосистем уклвадывается в узкие рамки, шкалы физического времени, кот. на несколько порядков ниже продолжительности многих циклических явлений, происходящих в эпигеосфере. Это обстоятельство при выборе подходов к изучению в эпигеосфере предполагает такой альтернативный критерий как возможность непостредственнго изучения процессов в натуре или реконструкцию их по косвенным признакам. Первый случай относится к текущим процессам, а точнее к __ преимущественно относящийся геосистемы. Сюда можно отнести стадии эволюционного развития некоторых геосистем низкого ранга (к примеру эволюцию фации). Существенными источниками получение данных также случат материалы метеорологич. гидролог. гляциологич., геокриологических фенологических и др. наблюдений, а также дистанционные съёмки и разновременные данные демографической и хоз. статистики. Второй случай имеет место это ретроспективный анализ относительно близкой и далекой истории эпигеосферы состовляющих ее геосистем и отдельных процессов.В этом случае можно говорить о необходимости говорить об историческом подходе, т.к. идет речь о истории геосистем, а во вторых широко используются для решения используютс яметоды применеяемы историческими науками. В географиииспользуются и собственные методы ретроспективного анализа, т.о. в географии можно выделить 2 варианта выделения исторического подхода: палеогеографический и историко-географический. Первый применяется по отношению изучения геологической эпигеосферы, и слогающих ее геосистем и базируетс он преимущественно на методике исторической геологии, дополненный некоторыми др. географическими методами. Наиболее типичный метод образование следов, т.е. отпечатков в процессах прошлого.Историко георафический подход связан со спецификой георафических процессов, протекающих в историческом периоде, когда эпигеосфера вступила в новый этап своего развития(начавшийся с появления человека как социального объекта). К традиционным палеогеографическим методам здесь добавляются археологическое собственно исторические методы. Из специального географических методов наиболее широко применяются сравнительный анализ временных карт, а также топонимический анализ. Что качается хронологического подхода то он не имеет самостоятельного значения и как правило сочетается с историческим дополняя его методами датировки (радиоуглеродный, дендрологический) т.о. конкретизация общенаучных подходов, хронолгический и исторический выражается в географии в форме трех самостоятельных тесносвязанных исследовательнских подходов, а имен опалеогеографического, историко-географического и динамического. В исследованиях природных геосистем как правило история и эволюция тесно связываются с генезисом, что не всегда характерно для общественных территориальных систем. Ранее предпринимались попытки деления ____ других типов (социальных и др.) однако в соц. экономии. географии широкого употребления не нашел.

История географической науки свидеьтельствует о отм что она шла своим путем в выроботке своего подхода.Познания ландшафтов как сложных приордных систем или комплексов требовало глубокого научного познания. Его начало прослеживаетсяв ествественно историческом меоде Докучаева, для которого руководящим методологичесим принципом была категории ______. Уже в пер. пл 20 века в отраслевых дисциплинах получило признание индикационное прогностического подхода.Основывался на принципах взаимодействия компонентов. В настяощее время ученее о ПТК вышло за рамки физ. географии теперь это ученее обеспечивае системного подхода применительно к ряду областей естествезнания. А также решения многих междисциплинарнх задач как относительно частных. Так и обще научных, охватывающих взаимоотношение общества и природы и оптимизацию природопользования.

Методы наблюдений и ____

Для ествественных наук источником первичной информации, т.е.на блюдения непосредственные оосуществ. в процессе контактов ____. Методы наблюдений достаточно разнообразны. Традиционным для гогеографии является экспедиционный метод кот. сводится к прокладыванию маршрутов, сопровождаемого тематической съемкой, сбором образцов, с выборочными процилями, котенами и ключевыми (модельными) участками.

Маршрутный способ имеет экстенсивный хараткер. Он обеспечивает обширный обват территорий, однако не дает достаточного материла. Для изучения функционирования и динамики природных комплексов.Указанный недостаток преодалевается путем стационарных исстедований позволяющих в течении ряда лт непрерывно вести наблдения за различными сети точек репрезентативных для разнотипных элементарных геосистем Наиболее долговременные наблюдения имеют отраслевой характер. Всемирная метеорологическая сеть охватывают всю территорию земного шара. Кроме нее существуют геофизические станции, аэрологич.и др.Ландшафтные наблюдались лишь эпизодичес

<== предыдущая лекция | следующая лекция ==>
Тема 12. Планирование деятельности организации | Информация. Сайт:philosbooks.narod.ru Теоретический курс
Поделиться с друзьями:


Дата добавления: 2014-01-07; Просмотров: 487; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.01 сек.