Логіко-методичний аналіз завдань ТЗНПК

Перехід процесу оцінювання знань студентів з традиційних іспитів на тестові методи має багато позитивних моментів. Основна мета роботи полягає у логіко-методичному аналізі завдань тестів загальної навчальної правничої компетентності (ТЗНПК). Авторами було встановлено негативні моменти тестування. Встановлено, що це приводить до того, що тестове завдання може мати різні критерії рішення отримання суперечливих відповідей. Таким чином, замість обґрунтованого пошуку істини студенти повинні займатися вгадуванням: мислення респондентів спрямоване на рефлексію логіки укладачів тесту для вгадування відповіді. В статті проаналізовані ТЗНПК, які впроваджуються для відбору студентів на навчання в магістратурі за спеціальністю 081 «Право». Виявлено, що не всі тестові завдання стосуються лише тієї інформації, яку викладено в текстах; спростовано твердження про те, що вирішення тестових завдань не передбачає володіння якимись спеціальними предметними знаннями або термінологією; доведено, що ряд тестових завдань вимагає володіння логічними навичками та знанням науки логіки

Logical and methodical analysis of TGELC

The transition process of knowledge evaluation of students with the traditional exams on the test methods has many positive aspects. However, along with the advantages, tests have significant negative points which lie in the fact that haste in the preparation of tests, no tests for reliability and validity, lead to the fact that the test task may have different decision criteria, which will lead to inconsistent answers. Thus, instead of a reasoned search for the truth students have to be engaged in guessing: thinking of the respondents focused on the reflection of the logic of the drafters of the test for guessing the answer. The article analyzes the tests of General educational legal competence (TGELC), which are implemented for selection of students for training in a magistracy on a speciality 081 “Law”. Revealed that not all tests apply only to the information that is contained in texts; refuted the allegation that the decision of test tasks does not involve the possession of some special subject knowledge or terminology; it is proved that the number of test items requires the possession of logical skills and knowledge of the science of logic.Перехід процесу оцінювання знань студентів з традиційних іспитів на тестові методи має багато позитивних моментів. Основна мета роботи полягає у логіко-методичному аналізі завдань тестів загальної навчальної правничої компетентності (ТЗНПК). Авторами було встановлено негативні моменти тестування. Встановлено, що це приводить до того, що тестове завдання може мати різні критерії рішення отримання суперечливих відповідей. Таким чином, замість обґрунтованого пошуку істини студенти повинні займатися вгадуванням: мислення респондентів спрямоване на рефлексію логіки укладачів тесту для вгадування відповіді. В статті проаналізовані ТЗНПК, які впроваджуються для відбору студентів на навчання в магістратурі за спеціальністю 081 «Право». Виявлено, що не всі тестові завдання стосуються лише тієї інформації, яку викладено в текстах; спростовано твердження про те, що вирішення тестових завдань не передбачає володіння якимись спеціальними предметними знаннями або термінологією; доведено, що ряд тестових завдань вимагає володіння логічними навичками та знанням науки логіки.Переход процесса оценки знаний студентов от традиционных экзаменов к тестовым методам имеет много положительных моментов. Основная цель работы заключается в логико-методическом анализе задач тестов общей учебной юридической компетентности. Авторами были установлены отрицательные моменты тестирования. Установлено, что это приводит к тому, что тестовое задание может иметь различные критерии решения, приводит к получению противоречивых ответов. Таким образом, вместо обоснования поиска истины студенты должны заниматься угадыванием: мышление респондентов направлено на рефлексию логики составителей теста для угадывания ответа. В статье проанализированы тесты, которые внедряются для отбора студентов на обучение в магистратуре по специальности 081 «Право». Выявлено, что не все тестовые задания касаются только той информации, изложенной в текстах; опровергнуто утверждение о том, что решение тестовых задач не предполагает владение какими-то специальными предметными знаниями или терминологией; доказано, что ряд тестовых задач требует владения логическими навыками и знанием науки логики

Multi-sorted version of second order arithmetic

This paper describes axiomatic theories SA and SAR, which are versions of second order arithmetic with countably many sorts for sets of natural numbers. The theories are intended to be applied in reverse mathematics because their multi-sorted language allows to express some mathematical statements in more natural form than in the standard second order arithmetic. We study metamathematical properties of the theories SA, SAR and their fragments. We show that SA is mutually interpretable with the theory of arithmetical truth PATr obtained from the Peano arithmetic by adding infinitely many truth predicates. Corresponding fragments of SA and PATr are also mutually interpretable. We compare the proof-theoretical strengths of the fragments; in particular, we show that each fragment SAs with sorts <=s is weaker than next fragment SAs+1

Multi-sorted version of second order arithmetic

This paper describes axiomatic theories SA and SAR, which are versions of second order arithmetic with countably many sorts for sets of natural numbers. The theories are intended to be applied in reverse mathematics because their multi-sorted language allows to express some mathematical statements in more natural form than in the standard second order arithmetic. We study metamathematical properties of the theories SA, SAR and their fragments. We show that SA is mutually interpretable with the theory of arithmetical truth PATr obtained from the Peano arithmetic by adding infinitely many truth predicates. Corresponding fragments of SA and PATr are also mutually interpretable. We compare the proof-theoretical strengths of the fragments; in particular, we show that each fragment SAs with sorts <=s is weaker than next fragment SAs+1