Список використаних і рекомендованих джерел

1. Андреєва Г.М. Социальная психология : ученик для высш. учеб. завед. / Г.М. Андреева. – 5–е изд., испр. и доп. – М. : Аспект Пресс, 2003. – С. 61.

2. Готтсданкер Р. Основы психологического эксперимента : учеб. пособ. [пер. с англ.]. – М. : Изд–во Моск. ун–та, 1982. – С. 11.

3. Експеримент // Словарь иностранных слов. – 19–е изд., стер. – М. : Рус. яз., 1990. – С. 588.

4. Експеримент // Большая психологическая энциклопедия. – М. : Эксмо, 2007. – С. 511.

5. Кэмпбелл Д. Модели экспериментов в социальной психологии и прикладних исследованиях [сост. и общ. ред. М.И. Бобневой; вступ. ст. Г.М. Андреевой; пер. с англ.]. – М. : Прогресс, 1980. – С. 84.

6. Экстраполяция, экстраполирование // Словарь иностранных слов. – 19–е уизд., стер. – М. : Рус. яз., 1990. – С. 590.

2.2. Методи теоретичного дослідження

0. 2.2.1. Формалізація як побудова абстрактно-математичних моделей, що спрямовані на розкриття сутності досліджуваних процесів та явищ

Формалізацією слід називати побудову абстрактно-математичних моделей, що спрямовані на розкриття суті досліджуваних процесів та явищ.

Метод формалізації передбачає процес рефлексії щодо предметів дослідження, який здійснюється завдяки операціям із знаками (формулами). Автори сайту lp.edu.ua вважають, що «відношення знаків замінюють собою висловлення про властивості предметів і їх зв’язки». Отже, таким чином утворюється «узагальнена знакова модель певної наочної області, що дозволяє знайти структуру різних явищ і процесів при відволіканні від якісних характеристик останніх». Висновок одних формул з інших «за строгими правилами математики представляє формальне дослідження явищ».

Ілюстрацією формалізації можна вважати приклад із логіки, аналізуючи судження.

Судженням називають логічну форму мислення, за допомогою якої щось стверджується або заперечується щодо предмета думки або зв’язку між предметами думки. Кожне судження має ім’я і предикат. Приклад судження: «Мас-медіа – регулятор настроїв у суспільстві». Слово «мас-медіа» є ім’ям, всі інші слова, що характеризують ім’я, є предикатом. Формалізація може здійснюватися, якщо вважати слово «мас-медіа» суб’єктом (активно діючим) і означити його латинською літерою «S». У такомі випадку предикат (ті слова, що характеризують суб’єкт) слід означити латинською літерою «P». Відношення між суб’єктом і предикатом у логіці означають літерою «є». Формалізуючи судження, отримують такий запис (див. далі):

S є P

З метою наведення більш склданих формалізованих записів, слід звернутися до складного судження (два і більше суб’єктів та предикатів). Наприклад, «Студенти прийшли на лекцію, але вони не були готові слухати викладача». Аналіз прикладу: частина судження “Студенти прийшли на лекцію” є простим судженням і друга частина “але вони не були готові слухати викладача” теж є простим судженням. Два простих судження разом утворюють складне судження.

Нині в логіці прийнято виокремлювати такі види зв’язку між частинами складного судження:

1. кон’юнкція;

2. диз’юнкція;

3. імплікація;

4. еквіваленція;

5. заперечення.

Кон’юнкція (з’єднувальний зв’язок) – це такий спосіб зв’язку, при якому складне судження є істинним при умові, що одночасно є істинними всі прості судження, які входять до складного судження. Такий вид логічного зв’язку у мові висловлюється сполучниками «і», «так», «але», «а також», «як і», «хоча», «однак», «не зважаючи на» тощо. При цьому важливим способом зв’язку є й інтонація перелічування при безсполучниковому сурядному зв’язку. Приклад: «Соціальні комунікації як суспільне явище є соціальним інжинірингом, і соціальні комунікації є галуззю науки». Аналіз прикладу: Перша частина судження “Соціальні комунікації як суспільне явище є соціальним інжинірингом” поєднується з другою частиною “соціальні комунікації є галуззю науки” сурядним сполучником “і” та утворює складне кон’юнктивне (з’єднувальне) судження.

Якщо першу частину судження у прикладі означити літерою “а”, а другу частину – літерою “b” і при цьому врахувати, що кон’юнкція у логіці позначається знаком ۸, то формулою у математичній логіці наведене складне судження слід записати таким чином:

a ۸ b

Диз’юнкція – це такий вид зв’язку, при якому для істинності складного судження достатньо істинності хоча б одного з простих суджень.

Таку диз’юнкцію називають простою.

У мові проста диз’юнкція завжди висловлюється через розділові сполучники «чи», «або»; «або …, або …» тощо.

Приклад:

• Комунікацією називають або обмін інформацією, або передавання інформації.

Диз’юнкція означається у математичній логіці через знак V. Наш приклад «Комунікацією називають або обмін інформацією, або передавання інформації» можна записати таким чином:

a V b

Імплікація – це такий вид зв’язку, при якому складне судження є хибним тільки в одному випадку: при істинному основані і хибному висновку.

У мові такий вид зв’язку виражається умовними сполучниками «якщо …, то»; «тоді …, коли …»; «при умові, що …» тощо. Можливий і безсполучниковий зв’язок.

Приклади:

• Якщо репортер виїжджає на зйомки, то він записує репортаж.

• Верховна Рада України є повноважна при умові, якщо вибрано не менш як дві третини її конституційного складу.

У наведених прикладах одне просте судження означає умову, при наявності якої йдеться про те, на що вказується у другій частині складного судження. Перша частина називається підставам (антецедентом), друга частина – висновком (консеквентом).

Формулою імплікація означається таким чином:

a → b

де: а – підстава, b – cлідство.

Еквіваленція – це такий спосіб зв’язку, при якому складне судження є істнним лише при однакових значеннях істинності підстави та висновку.

У мові логічний зв’язок передається такими мовними сполучниками:

«... тільки у тому випадку, якщо ...»;

«... тільки тоді, коли ...»;

«якщо і тільки якщо ...»;

«... тоді і тільки тоді, коли ...».

Приклади еквіваленції:

• Прикладні соціальнокомунікаційні технології будуть дієвими тільки у тому випадку, якщо їх реалізує фахівець.

• Лише тоді, коли політики визнають свої помилки, вони будуть мати повагу від народу.

• Редактор газети зможе дозволити опублікувати журналістський матеріал тільки при умові, що він буде завірений літературним редактором.

У математичній логіці еквіваленція передається знаком “↔”.

a ↔ b

Заперечення – такий вид складного судження, у якому елементами є: 1) судження (просте чи складне); та 2) конструкція виду “неправильно, що...”.

На думку Л.М. Сумарокової, “заперечення – це і вид зв’язку між думками, одна з яких – певне судження, а інша – ствердження про те, що це судження неправильне (хибне)”. Слід зауважити, що будь-яке з двох простих суджень (якщо у складному судженні два простих судження) може бути правильним (істинним) чи неправильним (хибним). Наприклад, якщо вихідне судження а – хибне, то судження “неправильно, що а” – буде істинним. Навпаки: якщо судження а – істинне, то судження “неправильно, що а” – хибне.

Приклад:

• Сонце блакитного кольору (вихідне судження а) – хибне.

• Неправильно, що сонце блакитного кольору

(судження типу “неправильно, що а”) – істинне.

У математичній логіці хибне судження позначають знаком “¬”.

Приклади заперечувальних стверджень і їх позначень формулою:

• Неправильно, що інформація залежить тільки від емоцій.

¬ а (Неправильно, що а)

• Неправильно, що інформація залежить тільки від емоцій і настрою.

¬ (а ^ b) (Неправильно, що а і b)

• Неправильно, що інформація залежить тільки від емоцій або настрою.

¬ (а  b) (Неправильно, що а або b)

• Неправильно, що інформація залежить від емоцій, при умові, що емоції є важливим чинником утворення відомостей про будь-що.

¬ (а  b) (Неправильно, що а  b)

• Неправильно, що якщо і тільки якщо інформація залежить від емоцій, то вона хибна.

¬ (а  b) (Неправильно, що а  b)

Отже, формалізація дозволяє символізувати, робити формальними записи суджень, міркувань, що відволікає дослідника від деталізації і дозволяє впевнено фіксувати основні і глобальні тенденції і вивченні предмета дослідження.