МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ
План
1. Метод і методологія.
2. Логічні методи дослідження (пізнання).
3. Метод формалізації
1. Метод і методологія
У практичній і теоретичній діяльності кожна людина використовує певні методи, за допомогою яких вона досягає поставлених цілей.
Метод (гр. - шлях, спосіб дослідження, навчання) — це: а) спосіб організації практичного і теоретичного освоєння дійсності, зумовлений закономірностями відповідного об'єкта; б) система правил і прийомів підходу до вивчення явищ і закономірностей природи, суспільствам мислення; в) шлях, спосіб досягнення певних результатів у пізнанні і практиці; г) прийом теоретичного дослідження чи практичного втілення чого-небудь з урахуванням знання закономірностей розвитку об'єктивного світу.
Без методу як "зброї", засобу, прийому людина не може здійснювати практичну і теоретичну діяльність. Навчаючись у вузі, студент спочатку теоретично, а потім практично оволодіває різними методами, за допомогою яких він здійснюватиме свою професійну діяльність.
Методологія — це: а) сукупність методів (прийомів, способів), які використовуються в теоретичній і практичній діяльності людей для реалізації поставленої мети; б) вчення (теорія) про методи наукового пізнання і практичного перетворення дійсності.
Методів практичної і теоретичної діяльності дуже багато. У логіко-методологічній літературі існують різні види класифікацій. Залежно від видів діяльності ( практична або пізнавальна) всі методи поділяються на практичні і пізнавальні. Пізнавальні методи або методи пізнання поділяються на наукові і буденні. В свою чергу методи наукового пізнання поділяються на теоретичні і емпіричні.
Всі теоретичні методи поділяються на всезагальні (універсальні), загальні і часткові (специфічні). Теоретичним методом може бути будь-яка наукова або філософська теорія, яка використовується як спосіб, прийом теоретичного дослідження предметів, явищ та процесів об'єктивного світу. Якщо певна теорія використовується в науковому пізнанні для дослідження природних, соціальних, психічних процесів і явищ, то така теорія набуває статусу всезагального (універсального) методу. Прикладами всезагальних методів наукового пізнання є системно-структурний метод, логічні методи.
На емпіричному рівні наукового пізнання до універсальних відносяться методи спостереження і експерименту.
До загальних методів відносяться методи, які застосовуються в певній сукупності наук, наприклад, в гуманітарних науках, юридичних науках і т.д.
До часткових методів відносяться методи, які розробляються в окремих науках для дослідження специфічних предметів, явищ і процесів. їх називають конкретно-науковими методами.
Методи юридичних наук (методи правового пізнання) визначаються специфікою предмету юридичної науки.
Юридична наука — система знань про об'єктивні закономірності виникнення, розвитку і функціонування держави і права. Залежно від того, які сторони й форми діяльності держави і права вивчаються, розрізняють загальнотеоретичні та історико-юридичні, галузеві, міжгалузеві, спеціальні, прикладні та міжнародно-правові юридичні науки. Методи, які використовуються в науково-правовому пізнанні, можна поділити на всезагальні, загальні, часткові (специфічні).
До всезагальних методів науково-правового пізнання соціальних об'єктів, які досліджуються юридичними науками, відносяться: а) філософcькі методи (діалектичний, феноменологічний, метод герменевтики і ін.); б) логічні методи (методи формальної логіки); в) загально наукові методи (системний метод, метод експерименту, метод спостережень, метод структурно-функціонального аналізу та ін.).