- Nazwa przedmiotu:
- Metody formalne w prawie i administracji
- Koordynator przedmiotu:
- dr hab. Zbigniew Król - prof. uczelni
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia II stopnia
- Program:
- Administracja
- Grupa przedmiotów:
- Obowiązkowe
- Kod przedmiotu:
- A21_MFPA
- Semestr nominalny:
- 2 / rok ak. 2023/2024
- Liczba punktów ECTS:
- 2
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- Opcjonalnie w dwóch wariantach w zależności od wybranej przez studenta formy zaliczenia (1) lub (2):
1) Udział w wykładach 15h
Praca własna:
-przygotowanie do zajęć 30h
-czytanie wskazanej literatury 5h
- napisanie referatu 0
Ogółem praca własna wariant 1 35h
lub
2) Udział w wykładach 15h
Praca własna:
-przygotowanie do zajęć 5h
-czytanie wskazanej literatury 10h
- napisanie referatu 20h
Ogółem praca własna wariant 2 35h
Obiążenie studenta ogółem 50h
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- 0,6 ECTS
- Język prowadzenia zajęć:
- polski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- 0
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład15h
- Ćwiczenia0h
- Laboratorium0h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- W kursie zakłada się podstawowe wiadomości uzyskane w ramach przedmiotów: logika formalna, logika dla prawników, metodologia nauk, retoryka, matematyka i informatyka.
- Limit liczby studentów:
- cały rok
- Cel przedmiotu:
- Celem przedmiotu jest zapoznanie studentów z zastosowaniami podstawowych metod formalnych w analizie tekstów prawnych i dokumentów urzędowych oraz podanie praktycznych wskazówek umożliwiających stosowanie tych metod. Przedmiot rozwija umiejętność systematycznego i krytycznego myślenia, przydatną w rozumieniu prawa i w definiowaniu sytuacji administracyjno-prawnych. Przedmiot jest zorganizowany w układzie problemowym. Wykłady dotyczą najważniejszych problemów pojęciowych, teoretycznych i praktycznych związanych ze stosowaniem metod formalnych w prawie i administracji.
- Treści kształcenia:
- 1. Wprowadzenie i przypomnienie podstawowych pojęć: Języki naturalne i sztuczne. Podstawowe rodzaje języków sztucznych. Język i metajęzyk. Formalizacja zdań. Ogólny cel i przedmiot zastosowań metod formalnych. Przykłady języków i teorii sformalizowanych. Elementy semiotyki logicznej: pragmatyka, semantyka i syntaktyka. Kategorie syntaktyczne i semantyczne (przypomnienie). Hermeneutyka i wykładnia prawa a metody formalne w prawie i administracji. 2
2. Wnioskowania i ich rodzaje. Schematy wnioskowań. Formalizacja wnioskowań. Analiza wnioskowań i związków logicznych w tekstach prawnych i dokumentach urzędowych. 2
3. Podstawowe jednostki syntaktyczne i semantyczne aktów i dokumentów prawnych. Określanie kategorii semantycznych aktów prawnych: przykłady. Określanie kategorii syntaktycznych aktów prawnych: przykłady 2
4. Tekst prawny i jego logiczna analiza. Przykłady 2
5. Dokument urzędowy i jego logiczna analiza: przykłady 2
6. Schematy blokowe i algorytmy. Metody graficzne obrazowania zależności strukturalno-logicznych dokumentów i aktów prawnych. Analiza struktury organizacji. 2
7. Analiza tekstu z użyciem algorytmów, schematów blokowych i metod graficznych 2
8. Elementy teorii mnogości i jej zastosowań do rozwiązywania problemów w prawie i administracji. 1
- Metody oceny:
- Forma i warunki zaliczenia
Podstawą zaliczenia przedmiotu jest uzyskanie pozytywnych oceny z zadanej pracy zaliczeniowej lub kolokwium oraz aktywność na wykładach. Wykłady kończą się kolokwium lub pracą zaliczeniową, które obejmują wiedzę z wykładów oraz zalecanej literatury. Czas pisania kolokwium – ok. 35 minut. Ocena końcowa będzie określona na podstawie wyników kolokwium lub ocenie z zadanej pracy (fakultatywnie) oraz ocenie aktywności na zajęciach. Studenci wykazujący się aktywnością mogą być zwolnieni z kolokwium zaliczeniowego. Warunki zwolnienia: aktywne uczestnictwo studenta w zajęciach oraz pozytywna ocena pracy zaliczeniowej. Przygotowywanie się do zajęć na podstawie podanej literatury i materiałów źródłowych.
Obecność na wykładach nieobowiązkowa, dla osób chętnych do zdobywania dodatkowych punktów za aktywność na wykładach i zajęciach oraz uprawnionych do pisania pracy zaliczeniowej będzie wyrywkowo sprawdzana obecność. Nieobecność na dwóch listach wyklucza możliwość zdobywania punktów za aktywność na wykładach i pisanie pracy zaliczeniowej.
Pytania i problemy w czasie zajęć. Na wykładach premiowanie „plusami” („dużymi” i „małymi”). Zebranie 2 „dużych” plusów lun 4 „małych” – zaliczenie na ocenę 5,0 bez pisania kolokwium i pracy zaliczeniowej.
Na prośbę studentów, prowadzący zajęcia może podjąć decyzję o dodatkowych terminach kolokwiów. Prowadzący może podjąć decyzję o zaliczaniu przedmiotu tylko na podstawie kolokwiów
Ocena za przedmiot
Ocena Student, który zaliczył przedmiot (moduł) wie / umie / potrafi:
3.0 Uzyskał co najmniej 40% maksymalnej łącznej liczby punktów na kolokwium lub zaliczył pracę zaliczeniową na 3,0 wraz z wykazaniem się aktywnością na wykładach
3.5 Uzyskał co najmniej 65% maksymalnej łącznej liczby punktów na kolokwium lub zaliczył pracę zaliczeniową na 3,5 wraz z wykazaniem się aktywnością na wykładach.
4.0 Uzyskał co najmniej 75% maksymalnej łącznej liczby punktów na kolokwium lub zaliczył pracę zaliczeniową na 4,0 wraz z wykazaniem się aktywnością na wykładach.
4.5 Uzyskał co najmniej 85% maksymalnej łącznej liczby punktów na kolokwium lub zaliczył pracę zaliczeniową na 4,5 wraz wykazaniem się aktywnością na wykładach.
5.0 Uzyskał co najmniej 95% maksymalnej łącznej liczby punktów na kolokwium lub zaliczył pracę zaliczeniową na 5,0 wraz wykazaniem się aktywnością na wykładach.
- Egzamin:
- nie
- Literatura:
- Literatura podstawowa (wybrane fragmenty):
1. Ludwik Borkowski „Logika formalna. Systemy logiczne. Wstęp do metalogiki”, PWN Warszawa 1977
2. Ludwik Borkowski „Elementy logiki formalnej.” Lublin 1991
3. Z. Ziembiński, „Logika praktyczna”, PWN, Warszawa 2007 (i późniejsze wydania)
Literatura uzupełniająca (wybrane fragmenty):
1. Kazimierz Kuratowski „Wstęp do teorii mnogości i topologii.”, PWN Warszawa 2004
2. Barbara Stanosz „Ćwiczenia z logiki”, Wydawnictwo Naukowe PWN, Warszawa 2007
- Witryna www przedmiotu:
- brak
- Uwagi:
- brak
Efekty uczenia się
Profil ogólnoakademicki - wiedza
- Charakterystyka W_01
- Wie na czym polega formalizacja i jakie są metody formalne przydatne w prawie i administracji.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W02, K_W03, K_W04, K_W01
Powiązane charakterystyki obszarowe:
II.S.P7S_WG.1, II.S.P7S_WG.2, I.P7S_WK, II.X.P7S_WG.1.o, II.H.P7S_WG.1.o, II.H.P7S_WG.2, I.P7S_WG, II.T.P7S_WG
- Charakterystyka W_02
- Wie jakie są metody analizy tekstu prawnego i jakie są zastosowania metod formalnych w rozwiązywaniu problemów w prawie i administracji.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W04, K_W01, K_W02, K_W03
Powiązane charakterystyki obszarowe:
II.X.P7S_WG.1.o, II.S.P7S_WG.1, II.H.P7S_WG.2, I.P7S_WG, II.S.P7S_WG.2, II.H.P7S_WG.1.o, I.P7S_WK, II.T.P7S_WG
- Charakterystyka W_03
- Wie jak analizować kategorie syntaktyczne i semantyczne tekstu prawnego.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W01, K_W02, K_W03, K_W04
Powiązane charakterystyki obszarowe:
I.P7S_WG, II.S.P7S_WG.1, II.S.P7S_WG.2, II.H.P7S_WG.1.o, I.P7S_WK, II.T.P7S_WG, II.X.P7S_WG.1.o, II.H.P7S_WG.2
- Charakterystyka W_04
- Zna metody logicznej analizy tekstu prawnego i dokumentu urzędowego.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W02, K_W03, K_W04, K_W01
Powiązane charakterystyki obszarowe:
II.T.P7S_WG, II.S.P7S_WG.1, II.S.P7S_WG.2, I.P7S_WK, II.X.P7S_WG.1.o, II.H.P7S_WG.1.o, II.H.P7S_WG.2, I.P7S_WG
- Charakterystyka W_05
- Wie jak wynajdować funktory logiczne w tekście prawnym i administracyjnym
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W04, K_W01, K_W02, K_W03
Powiązane charakterystyki obszarowe:
I.P7S_WG, II.X.P7S_WG.1.o, II.S.P7S_WG.1, II.H.P7S_WG.2, II.S.P7S_WG.2, II.H.P7S_WG.1.o, I.P7S_WK, II.T.P7S_WG
- Charakterystyka W_06
- Zna podstawy teorii zbiorów i metod graficznych w logice, wie co to jest schemat blokowy i algorytm
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_W01, K_W02, K_W03, K_W04
Powiązane charakterystyki obszarowe:
I.P7S_WG, II.S.P7S_WG.1, II.S.P7S_WG.2, II.H.P7S_WG.1.o, I.P7S_WK, II.T.P7S_WG, II.X.P7S_WG.1.o, II.H.P7S_WG.2
Profil ogólnoakademicki - umiejętności
- Charakterystyka U_01
- Potrafi analizować z użyciem metod formalnych akty prawne i dokumenty urzędowe.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U06
Powiązane charakterystyki obszarowe:
II.H.P7S_UW.2.o, I.P7S_UW, II.X.P7S_UW.2, II.S.P7S_UW.1, II.S.P7S_UW.2.o, II.S.P7S_UW.3.o, II.H.P7S_UW.1, I.P7S_UK, II.X.P7S_UW.3.o
- Charakterystyka U_02
- Potrafi określić kategorie syntaktyczne i semantyczne użyte w tekstach prawnych i dokumentach urzędowych
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_U06, K_U01, K_U04
Powiązane charakterystyki obszarowe:
I.P7S_UW, I.P7S_UK, II.X.P7S_UW.3.o, II.S.P7S_UW.1, II.S.P7S_UW.2.o, II.S.P7S_UW.3.o, II.H.P7S_UW.1, II.H.P7S_UW.2.o, II.X.P7S_UW.2
- Charakterystyka U_03
- Potrafi użyć schematy blokowe i metody graficzne oraz algorytmizować problemy w prawie i administracji
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U06
Powiązane charakterystyki obszarowe:
I.P7S_UW, II.S.P7S_UW.1, II.S.P7S_UW.2.o, II.S.P7S_UW.3.o, II.H.P7S_UW.1, II.H.P7S_UW.2.o, II.X.P7S_UW.2, I.P7S_UK, II.X.P7S_UW.3.o
- Charakterystyka U_04
- Potrafi dokonać logicznej analizy tekstów prawnych i urzędowych.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_U01, K_U04, K_U06
Powiązane charakterystyki obszarowe:
II.S.P7S_UW.1, II.S.P7S_UW.2.o, II.S.P7S_UW.3.o, II.H.P7S_UW.1, II.H.P7S_UW.2.o, I.P7S_UW, II.X.P7S_UW.2, I.P7S_UK, II.X.P7S_UW.3.o
Profil ogólnoakademicki - kompetencje społeczne
- Charakterystyka K_01
- Odpowiedzialnie przygotowuje się do pełnienia ważnej roli w społeczeństwie, projektuje i wykonuje zadania w zakresie pracy zawodowej.
Weryfikacja: kolokwium pisemne z pytaniami opisowymi lub testowymi lub/i praca zaliczeniowa na zadany temat oraz ewentualnie aktywność na zajęciach
Powiązane charakterystyki kierunkowe:
K_K01, K_K03
Powiązane charakterystyki obszarowe:
I.P7S_KK, I.P7S_KO
- Charakterystyka K_02
- Ma świadomość konieczności zachowania spójności logicznej aktów prawnych i reguł społecznych wraz ze świadomością użyteczności zachowywania konsekwencji w myśleniu i postępowaniu.
Weryfikacja: Podsumowanie:
Powiązane charakterystyki kierunkowe:
K_K01, K_K03
Powiązane charakterystyki obszarowe:
I.P7S_KK, I.P7S_KO