Katedra Teorii Prawa UJ

1.      Tak, np. „kwadratura koła”, „najwieksza liczba naturalna”

2.      Tak

3.      Tak, ale trzeba człony podziału określić jako „defincja w stylizaji…”

1.      Tak

2.      Tak

3.      Na to pytanie musisz sobie sam odpowiedzieć.  Nie jestem spowiednikiem.

4.      Np. bycie kuzynem

1.      Może być. Np. na pytanie: Kto jest premierem? Odpowiadam: Dzis jest ladna pogoda.

2.      Masz interesujące intuicje i zapewne sporo racji. Dla potrzeb egzaminu nie zaprzątaj sobie tym jednak głowy.

1.      Stosunek podrzędności. Treść pełna jest zawsze trescią charakterystyczną, ale nie na odwrót.

2.      Nie, bo przyjęliśmy założenie, że za podstawę naszej semantyki przyjmujemy aktualny stan swiata razem z historią.

3.      „n. indywidualna” i „n. generalna” to przeciwieństwo, druga para to niezależność. Te prxzykłady omawiałem na wykładzie.

4.      A dalaczego nie ?

5.      Zalezy od kontekstu.

6.      Tak

7.      Tak, ale nie zaprzątej sobie tym głowy.

8.      Tak, o ile  definicja fałszywa jest definicją równościową.

9.      Jest niezawodne, o ile wniosek wynika logicznie z przesdłanek, w tym z przesłanki uktytej.

10.  W kwadracie logicznym wystepuje tylko K~p i M~p.  Nie można przekształcić ~Mp na M~p, bo to co innego znaczy

11.  Nie ma różnicy

1.      Jest to odpowiedź właściwa. Opuszczona cześć zdania jest domyślna.

2.      Oczywiście, ze może. Tak jest bardzo często.

3.      Zdanie „student nie ma matury  nie jest zdaniem modalnym

4.      Wynikanie logiczne jest szczególnym przypadkiem wynikania. Nie wiem co to znaczy „formalna pop[rawność implikacji”. Przy wynikaniu logicznym następnik musi logicznie wynikać z poprzednika.

5.      Dobre pytanie. „wynikanie”, „relacja” to byty abstrakcyjne. Nie zaprrzątaj sobie tym głowy, ale zawsze przyjmij, że oprócz A i B w uniwersum są jakieś inne obiekty.

1. ad (i): każde pytanie (prawdopodobnie) coś zakłada, ale to nie oznacza, że każde pytanie jest obarczone błędem podwójnego pytania: proszę to przemyśleć!
2. ad (ii): czyli pytający przyjmuje, że jak pytanie jest w repetytorium określone jako "właściwie postawione", to w rzeczywistości jest ono "niewłaściwie postawione"?  bardzo pokrętna logika! W istocie, oba pytania mogą (ale nie muszą) być pytaniami niewłaściwie postawionymi; wszystko zależy od kontekstu rozmowy...
3. ad (iii): to dobrze, że się ma wątpliwości, ale mogą one dotyczyć charakterystyki danego pytania, a nie tego, czy w ogóle może zostać scharakteryzowane! Podane pytanie, na pewno, jest pytaniem prostym, dopełnienia, zamkniętym, i prawdopodobnie niewłaściwie postawionym, miejmy nadzieję!!!

A dlaczego nie?  Już przecież podałem w "zbiorczym" mailu nawet datę dopytania (22 września), więc wątpliwości nie rozumiem!

Pozdrawiam AG

Wysłałem do wszystkich maila. Proszę sprawdzić skrzynkę.

I. Czy przy dowodzie założeniowym mogę dołączyć negację do już zanegowanego twierdzenia tak aby twierdzenie miało wygląd ---p? (potrójna negacja p)

TAK, MOZNA

II. Czy jest możliwe uzyskanie sprzeczności w dowodzie wprost tzn. prawidłowo uzyskane twierdzenia są wzajemnie sprzeczne np. q i - q. Jeśli tak to czy w takim razie to oznacza, że dołączając negację do jednego z twierdzeń można wyciągnąć z tej sprzeczności dosłownie dowolny wniosek? Dołączając  szukany wniosek do alternatywy z q, a następnie z pomocą -q dokonując odłączenia alternatywy możemy uzyskać jakie tylko zechcemy wyrażenie. Przykład:
1. q
2. -q
3. q v p DA(1)
4. p OA(2,3)
takie rozwiązanie jednego z zadań znalazłem z jednej z książek.

OCZYWISCIE TAK JEST,  JESLI W DOWODZIE WPROST SA DWA WZAJEMNIE SPRZECZNE WIERSZE, TO DOLACZANIE + OPUSZCZANIE ALTERNATYWY POZWOLI WYCIAGNAC WLASCIWY WNIOSEK. (wbrew temu, co autor zdaje sie sugerowac: regula dolaczanie negacji nie daje formuly sprzecznej z ta, do ktorej dodalismy negacje[dopisuje sie 2 negacje])

III.. Czy rozwiązując kwadraty logiczne mogę wniosek przeczący (np. M-p) zapisać w dowolnej formie tzn. zarówno w formie" Możliwe, że nieprawda, że p" oraz "Możliwe, że nie p". W tym przypadku chcę po prostu się upewnić aby uniknąć głupich błędów.

 Jaśnijsze jest "możliwe, ze nieprawda, że p" , ale uznam też drugie sformułowanie

Nie wiem czy dobrze rozumiem pytanie. Nasza rada jest taka: jak w tekście zadania występuje zdanie przeczące (np "Jan nie zdał egzaminu"), to bezpieczniej jest zapisać je jako ~p, nawet gdyby w tym zadaniu nie występowało zdanie "Jan zdał egzamin".  To jest tylko reguła ostrożności, z logicznego punktu widzenia można napisać p, pod warunkiem, ze zdanie "Jan zdał egzamin" w tym zadaniu nie występuje.

Poprosiłem wszystkich cwiczeniowców o wpisanie zaliczeń

Oczywiście pod każda. 

gdy badamy wynikanie logiczne wniosku z przesłanek, to  poprzednikiem formuły jest zawsze koniunkcja przesłanek, a następnikiem wniosek. Przy sprawdzaniu metoda skróconą zakładamy,    ze ta formuła jest fałszywa, zatem jej poprzednik jest prawdziwy. Jeżeli poprzednikiem jest koniunkcja, to prawdziwe muszą być wszystkie czynniki tej koniunkcji, czyli wszystkie przesłanki 

Oczywiście przeciwienstwo

Mówiłem co najmniej kilka razy na wykładzie (w tym pierwszym i ostatnim) , ze nie stosuje żadnych sankcji. Jeżeli Pani nie ma czasu lub ochoty chodzić na wykłady, to proszę zapytać sie kolegów, a nie zawracać mi głowy. to pytanie zadano mi już k9ilkadziesiat razy.

Twoje wątpliwości są zasadne i świadczą o sporej wiedzy. Przykład jest nieszczęśliwy, na egzaminie nie będzie pytań o takiej strukturze.

a dlaczego nie? Nie rozumiem tej wątpliwości.

Ja bym wlał oznaczyć jako M~p,. Jeżeli oznaczymy jako Mp, to wtedy zdanie M~p w kwadracie musiało by brzmieć 'Możliwe, ze nieprawda, ze student nie ma matury", co mi sie wydaje dość sztuczne.

Pełna charakterystyka pytania rozstrzygnięcia wymaga wskazania czy jest ono dwu czy wieloczłonowe.

odpowiednich Istotnie zapomniałem o dwu ostatnich prezentacjach. Nie różnią sie one jednak od prezentacji z datą 2015. Przed chwila zmieniłem nazwy plików i nazywają sie teraz Prezentacje 6-2016 i prezentacje 7-2016.

Nie wiem co znaczy, ze prezentacje "obowiązują'. Prezentacje nie zawierają wszystkich treści wymaganych przy egzaminie i mogą stanowić co najwyżej ułatwienie w przygotowaniu się do egzaminu.

A skąd ja mam to wiedziec? Co to wspólnego z logika?

Biały to nie nazwa abstrakcyjna, natomiast białość tak. Nieostra nazwa abstrakcyjna to np gorąca miłość.

Żadna nazwa jednostkowa nie jest nieostra. po prostu nie wiemy w Pana przykładzie kto jest jej desygnatem.

Moim zdaniem do pytań otwartych nie stosuje się odróżnienia odpowiedzi wprost i nie wprost ani całkowitych i częściowych.          

1. tak. bo indukcja zupełna to wnioskowanie niezawodne

2. tak, o ile klasyfikację pojmuje się jako złożony podział logiczny

Masz rację, tez interpretowałbym 'Jacka" jako n/n, bo odnosi sie do "doprowadzenie". Nie analizowaliśmy dokładniej na wykładzie funktorów zdaniotwórczych od trzech nazw, a więc to zagadnienie nie będzie występowało na egzaminie. O ile pamiętam dawałem tylko w jakimś kontekście przykład     "Maria bije Jana kijem", Tu "kijem" odnosi się wyraźnie do "bike", a nie do "Jan" , a więc "bije" jest z/nnn

Ciekawe i wnikliwe pytanie. Masz racje, że ~Kp to nie to samo co K~p.  Przekształcenie na de dicto jest prawidłowe, zdanie ma postać ~Kp. Takiego zdania ne ma na żadnym z wierzchołków kwadratu logicznego. Można to interpretować tak, ze fałszywe jest zdanie Kp, a zatem zdanie przeciwne do niego K~p jest prawdziwe. To jednak jest mało intuicyjne, a więc zadań takiego typu nie będzie.

1.  Ja też nie rozumiem tego przykładu z żółtej książki. Proszę trzymać się wykładu.

2.  Każda definicja nieadekwatna jest fałszywa. Ale czy tylko ? Trzeba by rozpatrzeć dokładnie definicje nierównosciowe. To jest zbyt trudne na to, aby mogło być przedmiotem pytania. 

oczywiście nie możemy. Nie przypominam sobie jednak, aby jakiekolwiek zadanie zawierało taką trzyskładnikową koniunkcję.

Moim zdaniem w języku naturalnym nie występuje dysjunkcja. Dla unikniecia wątpliwości w zadaniach nie będzie "bądź bądź"

ą1. Na pytanie otwarta nie można udzielić odpowiedzi nie wprost i nie można udzielić odpowiedzi częściowej.

2. Ja to ujmowałem na wykładzie tak: są zdania analityczne, zdania wewnętrznie sprzeczne i zdania syntetyczne. Czasami jednak uznaje się zdania wewnętrznie sprzeczne za odmianę zdań analitycznych (sa fałszywe na mocy samego znaczenia wyrazów)

3. To, ze gruszki nie rosną na wierzbie moim zdaniem wynika z naszej wiedzy pozajęzykowej, a nie ze znaczenia wyrazu "wierzba". Podobnie jak to, ze woda zamarza w temperaturze 0 stopni.

Istnieje. jak chodzi o pierwszą to zobacz poprzednią odpowiedź. Jak chodzi o drugą to np "najwyższa góra świata" albo "najstarszy człowiek"

Uznaliśmy (co zresztą może być sporne), ze tzw nazwy hybrydowe np "znajomy Donalda Tuska" są nazwami  indywidualnymi. Zatem np nazwa "sympatyczny znajomy Donalda Tuska" to indywidualna nazwa nieostra.

wedle mojej pamięci pytania rozstrzygnięcia nie mają odpowiedzi częściowej.

oba rozwiązania uznam. Zresztą, na egzaminie nie będzie zdań z podmiotem domyślnym.

moim zdaniem to nazwa hybrydowa, a więc indywidualna. Proszę jednak zważyć to, ze określenie "nazwa hybrydowa" nie jest powszechnie przyjęte.                      

Jako nazwę i funktor nazwotwórczy : n n/n

W    obu przypadkach SiP ^ (koniunkcja) SoP. W  twoim przykładzie: "'Niektóre  drogi są przejezdne i niektóre drogi nie są przejezdne"                         

Masz całkowita racje.

Może. Natomiast jeżeli jedna przesłanka jest szczegółowa, to wniosek tez musi być szczegółowy.

Od czasu wydania przewodnika zmieniliśmy program. Nie jestem w stanie odpowiedzieć na to pytanie.

Oczywiście nie jest błędem. Trochę dziwie się, ze komus mogło to przyjść na myśl.

Dopóki są miejsca na I turze o godz. 8.00 nie będę powiększał limitu na drugą turę. Jeżeli ktoś ma jakiś ważny powód (dojeżdża z daleka, ma kolizję z innym egzaminem itp.), mogę zgodzić się w indywidualnych  uzasadnionych przypadkach na zmianę tury na godz 11. Proszę w wiadomości mailowe na dres t.gizbert-studnicki@uj.edu.pl.

Teraz rozumiem. poprzednio nie było wyrazu "tylko". Takich zadań nie będzie. Skoro Tylko niektóre sa sa P sprwaodza się do koniunkcji dwóch zdań, to zdaniem sprzecznym byłaby negacja tej koniunkcji.  To byłoby zanadto skomplikowane.

1. Tak, wynikanie logiczne jest szczególnym przypadkiem wynikania. Przyjrzyj się definicji wynikania ze slajdów. O wynikaniu logicznym mówimy wtedy, gdy związek pomiędzy poprzednikeiem (jednym zdaniem lub koniukcją zdań) a wnioskiem opiera się na formie poprzednika i wniosku.

2. Wnioskowanie entymematyczne to kazde wnioskowanie z nieujawnionymi przełsankami. Po ujawnieniu przesłanek może się okazac, ze jest zawodne lub niezawodne. In abstracto nie można na takie pytanie odpowiedzieć.

1. Nieprawda,, że Zp

2. Nie rozumiem pytania. Proszę to wyjasnic.

 3.  O ile  pustka gdzieś istnieje, to nie jest to nazwa pusta. Z "nikt" sprawa bardziej skomplikowana, ale proszę sobie tym nie zaprzątać głowy. Moim zdaniem :nikt" tylko pozornie jest nazwa. Zdanie "nikt nie jest prorokiem znaczy "ma forme logiczną " "nie isnieje takie z, ze x jest prorokiem"

4. To  pierwsze., z uwagi na to, ze "o ile"  występuje po "to", a zatem implikacja jest następnikiem pierwszej implikacji. Nota bene nie będzie zadań tekstowych z dysjunkcja, gdyż mam zasadnicze wątpliwości, jaki spójnik języka naturalnego odpowiada funktorowi dysjunkcji.

5. Dobre pytanie. Chyba masz rację, ale tego typu zadań nie będzie.

Nie całkiem rozumiem pytanie. W    rachunku predykatów "niektóre P są S" znaczy tylko tyle, ze istnieje takie P które jest S (co nie wyklucza oczywiście, że wszystkie P sa S).  W moim przekonaniu gdy mówimy 'P jest bytem" to mamy na myśli tyle, ze P istnieje i nic więcej. Proszę przeczytać V.O.V.Quine'a "O tym co istnieje" (esej przedrukowany w 'Z punktu widzenia logiki" Quine'a). Myśle, że tam te sprawy są dobrze wyjaśnione. Można ten tekst (po polsku) znaleźć między innymi pod adresem http://filozofia.umk.pl/pliki/quine_-_o_tym_co_istnieje.pdf

Nazwy konkretne oznaczają przedmioty materialne (w przypadku nazw pustych oznaczałyby takie przedmioty, gdyby one istniały). Nazwa abstrakcyjna pusta: kwadratura koła, największa liczba naturalna. nazwa konkretna pusta: smerf Nazwa abstrakcyjna ostra: liczna naturalna.

Zagadnienie zwrotności nie należy do definicji relacji porządkujących. Przypuszczam, że relacje porządkujące są wszystkie relacjami przeciwzwrotnymi, ale tego nie trzeba badać.  Trzeba tylko zbadać czy relacja jest przeciwsymetryczna, przechodni i spójna (względnie dla słabo porządkujących niespójna) w zbiorze, aby określić czy jest porzadkująca.

na wieloczłonowe rozstrzygnięcia mozna udzielić częściowej odpowiedzi, bo takie pytanie ma więcej niż dwie odpowiedzi możliwe

 do pytań otwartych, czyli nieposiadających schematu, w ogóle nie stosujemy podziału odpowiedzi na całkowite i częściowe; więc cześciowej udzielić nie można, całkowitej też nie (i identycznie z odp. właściwymi i niewłaściwymi)

regułę DA można zastosować do każdego wiersza dowodu, a w tym do założeń.

Por odpowiedź na poprzednie pytanie

Istotnie, trochę to zaniedbałem. Postaram się uzupełnić prezentacje za 2016 w ciągu najbliższych dni. Nota bene różnice z prezentacjami z 2015 sa bardzo niewielkie.

Podręcznik Ziembińskiego to bardzo dobra książka. Ja od niej w moich wykładach w wielu miejscach odbiegam, albo ze względów dydaktycznych (przypisuję inną wagę rozmaitym zagadnieniem), albo też dlatego, że niekiedy mam inne poglądy. Co na pewno się nie przyda (i) stosunki miedzy zakresami nazw ujmuję inaczej niż Ziembiński, (ii) teorię relacji omawiam nieco dokładniej niż Ziembiński i trochę inaczej  (iii) o logice modalnej i deontycznej mówię mniej niż to jest u Ziembińskiego i trochę inaczej  (iv) dkładniej niż Ziembiński omawiam zagadnienie wieloznaczności w języku.. Nie oznacza to, że lektura Ziembińskiego to czas stracony - na pewno czytając Ziembińskiego wiele się dowiecie.

Nie umiem odpowiedzieć, w jakiej mierze wykłady prof. Grabowskiego odwołują się do Ziembińskiego.  Myślę jednak, że nikomu nie zaszkodzi lektura tych rozdziałów Ziembińskiego, które dotyczą logiki pytań, definicji i podziału logicznego.

Pragnę jeszcze raz podkreślić, że obowiązuje tylko ten materiał, który omawialiśmy na wykładach i ćwiczeniach. Ziembiński porusza także inną problematykę. Tym niemniej lektura książek nikomu jeszcze nie zaszkodziła.

To wedle mojej pamięci jest przykład z arkusza demo. Problematyczna jest fraza "bezpłatnym biletem kolejowym", bo przydawki występują przed i po nazwie. Takich przykładów nie omawiałem, więc nie będzie ich na egzaminie. Dla zaspokojenia ciekawości: ja bym pod obiema przydawkami napisał n/n. Reszta jest chyba jasna, jeżeli nie, to proszę o informacje.

O zagadnieniu metajęzyka będziemy w przyszłości szczegółowo mówili. Nie jest to jednak wyjątek od zasady, że język jest semantyczny. Wyrażenia metajęzyka donoszą się do tzw języka przedmiotowego, natomiast wyrażenia języka przedmiotowego do pozajęzykowej rzeczywistości.

Skoro koniunkcja p^~p jest fałszywa, to prawdziwa jest każda implikacja  (p^~p) ->q, gdzie q jest dowolnym zdaniem.  Zatem, gdybyśmy przyjęli jako przesłankę we wnioskowaniu koniunkcję dowolnych zdań sprzecznych, to moglibyśmy z tej przesłanki wywnioskować dowolne zdanie.

Osoby te mają prawo przystąpić do dwóch terminów, ale jest tylko jeden termin dodatkowy. Jak ktoś nie przystąpi  w grudniu, to musi czekac do sesji letniej.

nie ma

Ze zdania "każde S jest P" wynika zdanie "niektóre S sa P". Ale ze zdania "niektóre S są P nie wynika zdanie "każde S jest P". To jest z kwadratu logicznego.

Każde zdanie w sensie logicznym jest prawdziwe lub fałszywe, zatem także odpowiedzi niewłaściwe, o ile są takimi zdaniami. Gdy na pytanie Czy lubisz pierogi ? Odpowiem Wczoraj padał deszcz, to jest to zdanie prawdziwe lub falszywe

Może, wystarczy zresztą pierwsza część, zagadnienie wartości logicznej odpowiedzi nie ma znaczenia.

To, że pytanie jest wieloznaczne nie ma tu znaczenia. Gdy udzielamy odpowiedzi, zawsze bierzemy pytanie w jakimś jednym, określonym znaczeniu. Odpowiedź niewłaściwa zatem nie może być częściowa.

Bo Zeus gdyby istniał byłby przedmiotem (osobą), podobnie jak Gargamel czy krasnoludekl. "Pan Tedeusz" jako nazwa  utworu to nazwa abstrakcyjna, a jako nazwa bohatera tego utworu to nazwa konkretna.

Oznaczenia są oczywiście dowolne, z tym, że tę samą nazwę trzeba oznaczać zawsze tą samą litera, a różne nazwy różnymi. Zatem S nie może być jednocześnie za ssaka i strażaka.

Możesz się pozbyć.

Istotnie niezależność, przykłady są dobre. "Nazwa pusta" nie jest nazwa pustą, ale metajęzykową nazwą ogólną. Wszak ma desygnaty np. właśnie "Gargamel"

Wielokrotnie wyjaśniałem, że pomiędzy każdą nazwą pustą a dowolną nazwą niepustą zachodzi zarówno stosunek przeciwieństwa (bo zbór pusty wyklucza się z każdym zbiorem niepustym,) ), jak i stosunek podrzędności (bo zbiór pusty zawiera się w każdym zbiorze niepustym).

To oczywiście koniec zadania i nic więcej robić nie trzeba

oczywiście, że nie. Definicja legalna to definicja zawarta w tekście prawnym. Definicja legalna może być  klasyczna lub nieklasyczna, tj może mieć dowolną budowę. Pamiętaj  natomiast o tym, że definicje legalne są zawsze projektujące lub regulujące, a zatem nie można ich ocreniach w kategoriach adekwatności lub nieadekwatności.

odpowiem pytaniem: a dlaczego nie mogłoby się zjawić takie zadanie?

Tę sprawę już wyjaśniałem, ale jeszcze raz spróbuję. Wszystkie pytania na egzaminie dotyczą definicji nominalnych (chyba, że wyraźnie zaznaczono inaczej). Kwestia odróżnienia definicji realnych i nominalnych jest mocno złożona. To samo zdanie np. "bursztyn to skamieniała żywica" może być interpretowane jako definicja realna lub jako definicja nominalna w stylizacji przedmiotowej. To zależy od intencji osoby formułującej definicję: czy chce ona zdefiniować przedmiot czy wyraz. Co do zasadny możesz jednak przyjąć, że żadna definicja realna nie jest jednocześnie nominalna. Dla potrzeb egzaminu przyjmij, że gdy mowa o definicjach klasycznych, indukcyjnych, cząstkowych itp., to chodzi wyłącznie i definicje nominalne. Definicje ostensywne to znowu inna broszka - nie są one wypowiedziami (zdaniami).

Wpływa, ta alternatywa rozłączna ma być poprzednikiem drugiej implikacji

UFF, nie pamiętam szczegółów. "Maria nie może mieć dwóch ojców" to kolejno  Nieprawda, że Maria może mieć dwóch ojców" (to jest nadal stylicacja de re) , a zatem Nieprawda, że możliwe, że Maria ma dwóch ojców"  (to jest stylizacja de dicto). To ostatnie zdanie jak wynika z kwadratu logicznego jest równoważne zdaniu : konieczne, że nieprawda, że Maria ma dwóch ojców,

Nie jestem pewien czy rozumiem pytanie. Jeżeli np. ta sama implikacja z tymi samymi argumentami w jednym miejscu ma wartość 1 , a w drugim 0, to oczywiście jest to sprzeczność i można zakończyć sprawdzanie.

Nie ma błędu, ale dawniej wymagaliśmy znajomości większego zbioru reguł dowodowych, dlatego zapewne na gruncie znanego Ci zbioru nie da się dowodu przeprowadzić. Zatem nie ma się czym przejmować.

Dyrektywa nie mówi, że termin rozłozony w przesłance musi być rozłożony we wniosku, ale na odwrót: jeżeli termin jest rozłożony we wniosku, to musi być rozłożony w przesłance. Zatem wypisz wszystkie możliwe wnoski, zastanów się, jakie terminy są w nich rozłożone i sprawdź czy są też rozłożone w przesłance. Skoro przesłanki rozkładają zarówno K, jak i G, to ta dyrektywa nie pozwala na wyeliminowanie żadnego wniosku.

W ujęciu, które prof. Grabowski prezentował na wykładzie nie. Definicje projektujące i regulujące nie są zdaniami w sensie logicznym. Ta sprawa jest zresztą sporna: w niektórych teoriach definicje projektujące są zdaniami zawsze prawdziwymi na mocy ustanowienia. Ale te detale nie muszą Was interesować.

Pytania rozstrzygnięcia nie mogą być otwarte.  Pytania dopełnienia i zamknięte: Kto odkrył Amerykę?

Nazwy  indywidualne nie maja znaczenia językowego, więc nie mogą być homonimami

Najlepiej zapisywać to tak, jak pokazywali ćwiczeniowcy. Jeśli zadanie polega na wyciąganiu wniosków z przesłanek - najpierw wypisujemy potencjalne wnioski dla pierwszej jako wiekszej; dopiero gdy (o ile w ogole, bo wcale nie jest to zasada) wszystkie wnioski zostaną wyeliminowane, wypisujemy potencjalne wnioski dla drugiej jako wiekszej. W tej kolejnośc zaznaczamy tez przy dyrektywach, ktore wnioski (najpierw dla pierwszej przeslanki jako wiekszej, a potem dopiero ew. dla drugiej jako wiekszej) dana dyrektywa eliminuje.

Szanowna Koleżanko,

Łacznie ze studiami niestacjonarnymi mamy pond 1000 studentów zdających logikę. Nie jestem w stanie pomagać w przygotowaniu się do egzaminu w sposób przez Panią  postulowany. Szkoda, że nie rozwiązywała Pani tych zadań w trakcie semestru, wtedy mogła Pani prosić o weryfikację osoby prowadzące ćwiczenia, przyjść do nich na konsultacje, uczestniczyć w dodatkowych zajęciach przez wielu z nich organizowanych, chodzić na zajęcia TBSP i tam zgłaszać wątpliwości. Chętnie pomogę Pani w rozwiązaniu jakiś konkretnych problemów, które się pojawiły. Proszę zadać konkretne pytania przez tę stronę. Nie mogę natomiast podjąć się sprawdzenia poprawności Pani rozwiązań.

żałuję, że nie uważałeś lepiej na wykładzie. Problem ten szeroko omawiałem. Przyjąłem, że tzw nazwy hybrydowe (składające się z nazwy generalnej i indywidualnej) np. "sąsiad Tuska" to nazwy indywidualne. Dlaczego - to wyjaśniałem na wykładzie. Slajdy nie zastępują wykładu. W takim razie nazwa indywidualna może być ogólna (np. "wysoki sąsiad Tuska". Z. Ziembiński, który cytowany jest w Wikipedii nie rozważał nazw hybrydowych. Nota bene, nie twierdzi on, że nazwy indywidualne nie istnieją, lecz tylko, że nie istnieją ogólne nazwy indywidualne. Ponadto na podobne pytania odpowiadałem już wielokrotnie na tej stronie.

Nie mabłędu  czterech terminów, ale takiego sylogizmu nie może być. Byłyby wtedy bowiem trzy przesłanki (albo gdy zdanie Tylko S nie są P jest jedyna przesłanką  dwie, ale obie szczegółowe)

zgadza się.

Na to pytanie odpowiadałemwielokrotnie. Prosze przypomnieć sobie co mówiłem o tzw nazwach hybrydowych

Miłość Afrodyty

Poproszę osoby prowadzące ćwiczenia aby wpisały "zal " wszystkim zapisanym.

Bezpieczniej to drugie, bo pokazujesz, że wiesz, iż problem jest z konwersją zdania z "o".

nie jestem w stanie odpowiedzieć na to pytanie in abstracto. Proszę przyjść obejrzeć pracę.

Uzasadnienie jest następujące. W tych przypadkach, kiedy można wyróżnić etapy rozwiązywania zadania, możliwe są oceny cząstkowe. Np. przy zdaniach tekstowych prawidłową formułę oceniamy na 2 punkty, a sprawdzenie zerojedynkowe na 1.  Podobnie przy zadaniach "wykładowych" - jak np. prawidłowo jest podane pojęcie, ale źle określony stosunek zakresowy, to dajemy 1 pkt zamiast 2.  Nie jest to możliwe w przypadku sprawdzania tautologiczności formuł, sylogizmów i dowodów założeniowych. Jakie kryteria ocen cząstkowych mielibyśmy stosować ?  Ktoś źle wpisał wartość pod implikacją i konsekwentnie dalej rozwiązywał? Ktoś inny wpisał złą wartość raz albo dwa razy, a jeszcze ktoś inny nie zauważył, że potrzebne są warianty? Ile ma dostać punktów? Ktoś błędnie zastosował jedną dyrektywę sylogistyczną, a ktoś inny dwie, a ktoś inny źle sformalizował przesłanki ? ? Ile punktów się należy? Ktoś żle zastosował regułę dowodów założeniowych już w pierwszym kroku, a ktoś inny w ostatnim, a jeszcze ktoś inny źle wypisał założenia? Jak mam rozstrzygnąć kto popełnił większy, a kto mniejszy błąd?  Nota bene przy dowodach założeniowych przymykami  czasami oko, gdy ktoś idzie "na skróty" np. nie stosuje wprost reguł dotyczących negacji, ale czynimy to tylko w tych przypadkach, gdy od tego zależy czy ktoś zdał egzamin czy nie.

Nie potrafimy ocenić wiedzy studentów, możemy ocenić tylko arkusze egzaminacyjne. Do wnętrza waszej świadomości nie mamy dostępu. To jest niestety cecha każdego egzaminu.

1. O tym, że wnioskowanie jest dedukcyjne decyduje to, że wniosek wynika logicznie z przesłanek. Kwestia prawdziwości przesłanek jest odrębna. Zatem wnioskowanie może być dedukcyjne, nawet jak przesłanki są fałszywe.

2. Zbiór pusty zawiera się w każdym zbiorze niepustym. To twierdzenie teorii zbiorów.

1. PPrzeciwieństwo

2. Kochanie kogoś,relacja kochania niestety jest niesymetryczna

Strasznie to komplikujesz. Weź jako pierwsze kryterium posiadanie wasow, a jako drugie posiadanie brody

Tej formuły nie można udowodnić wprost za pomocą reguł, które wprowadziliśmy. Natomiast dowód nie wprost jest banalny.

Ja bym powiedział, że jest przeciwzwrotna, a do symetryczności mam wątpliwości.

Naprawdę nie wiem. To zależy od tego, jakie znaczenie przypisze się wyrazowi "kolega". Ja często zwracam się do moich magistrantów i doktorantów 'Panie Kolego", ale byłbym zdziwiony, gdyby oni tak się zwracali do mnie.

Istotnie nie sad sie, bo pierwsza nazwa jest z języka przedmiotowego, a druga z metajezyka

Nie, ale napisz o dowód jakiego twierdzenia chodzi, to będę mógł pomóc.

Pomiędzy nazwami Kraków i Czyżyny zachodzi przeciwieństwo, zatem pomiędzy nie-Kraków i nie-Czyżyny zachodzi podprzeciwieństwo.

Mnie bardziej przekonuje Twoje rozwiązanie. Oba uznałbym.

Istotnie reguły stosuje się do całych formuł. a nie ich części.

co do zasady winno się robic stopniowo, ale przymykamy oko, jak ktoś to zrobi na skróty.

Hm, oba rozwiązania są dopuszczalne. Przypomnę, że na wykładzie nie rozważaliśmy takich konstrukcji jak rzeczownik z dwiema przydawkami "trudne przepisy karne", a więc nie będzie ich także na egzaminie.

Drogi Panikarzu,

Chyba dziesięć razy mówiłem, ze nie stosuje żadnych sankcji wobec takich, którzy sie zapisali, a nie przyszli. Moja rada: nie panikuj

1. Tak

2.Nazwa indywidualna nie ma znaczenia, a więc nie moze być homonimiczna

3.jednostkowa generalna

Tak

1. tak.  Możliwośc i przypuszczenie to jednak dwie różne sprawy.

2. to nazwa generalna\; wszak nie jest to imię własne

Tak jak ja to ujmowałem: przeciwieństwo. Zdanie analityczne jest prawdziwe na mocy znaczenia wyrazów, zdanie wewnętrznie sprzeczne fałszywe.

dodatkowy nawias (byle po obu stronach) nie jest błędem, jest po prostu zbędny.

Nie wiem co mówiliście na ćwiczeniach. Teoria definicji nie jest przedmiotem ćwiczeń. oczywiście definicja klasyczna może być nieadekwatna: np. "Student" to "człowiek studiujący prawo".  Kwestię, co to jest definicja równościowa wyjaśniłem w odpowiedzi na inne pytanie

Mnie też to zastanawia, ale nie spędza mi to snu z powiek. Zajmij się przed egzaminem bardziej praktycznymi problemami. To sa tzw terminy teoretyczne, o których na wykładzie nie mówiłem.

Uff, trudne pytanie. Definicja równościowa to definicja zbudowana z definiendum, spójki definicyjnej i definiensa. Koniec i kropka. Każdza definicja o takiej budowie jest równościowa, bez względu na to czy jest adekwatna czy nie jest. To przyjmij dla potrzeb egzaminu.

Chyba masz rację.

Masz rację, porównaj moją odpowiedź na poprzednie pytanie.

Definicje klasyczne wyróżnione są z uwagi na budowę, a nie poprawność. Każda definicja klasyczna jest definicją równościową, zarówno adekwatna, jak i nie-adekwatna. Nie wiem dlaczego miała to by być nazwa pusta.

To zagadnienie zależy od tego czy chodzi o jakiś konkretny podział, czy o  podział w ogóle. W jakiś konkretnym podziale totum divisionis nie jest nigdy członem podziału, a więc jest to przeciwieństwo. Natomiast jak chodzi o podział w ogóle, to zbiór, który w jednym podziale jest totum divisionis w innym może być ćzłonem podziału. Nie musicie sobie jednak zaprzątać głowy takimi kwestiami.

1. Do uniwersum należy wszystko to, co istnieje w języku, a więc także zdania i funktory

2. Istotnie taki problem istnieje, ale nie musisz sobie nim zaprzątać głowy. Dla potrzeb egzaminu przyjmij, że chodzi wyłącznie o definicje nominalne

3. definicje cząstkowe to definicje tylko częściowo eliminujące nieostrość wyrazów. To może być definicja równościowa, ale także definicja składająca się z wielu zdań. Np. inteligenta jest osoba powyżej 12o IQ. Nieinteligentna jest osoba poniżej 90 IQ. Pozostaje nierozstrzygnięte, czy osoby w przedziale 90 do 120 są osobami inteligentnymi.  

1. Chodzi Ci zapewne o iloczyn relacji "bycia starszym" i "Bycia bratem" - tak, tym iloczynem jest relacja bycia starszym bratem. Co do Twoejego przykładu: chodzi przecięż o to, że obie relacje, które mnożymy zachodzą pomiędzy tymi samymi obiektami. Relacja R jest iloczynem relacji P i relacji Q, jeżeli R zachodzi pomiędzy obiektami złączonymi jednocześnie relacją P i relacją Q. 

  2. tak

3. Dobre pytanie. Moim zdaniem to podział dychotomiczny, bo przy jakimkolwiek pojmowaniu "bycia wysokim" nie można być jednocześnie wysokim i nie-wysokim.

4. Tak właśnie jest

5. To sprawa mocno skomplikowana. Dla potrzeb egzaminu  przyjmij, że wszystkie zadania dotyczą wyłącznie definicji nominalnych, a więc nie będzie porównywania definicji nominalnych i realnych.

1. Do desygnatów nazwy "wnioskowanie indukcyjne" zalicza się także indukcję zupełną, która jest wnioskowaniem niezawodnym

2. Indukcja eliminacyjna to wnioskowanie zawodne

ja bym powiedział, że to nazwa

a dlaczego miałoby nie obowiązywać?

Nie bardzo rozumiem o co chodzi. Oczywiście nie tylko można, ale i trzeba uwzględnić wiedzę wyniesioną z wykładów.

1. zależy od treści: jakie masz buty; czerwone czy czarne? to pytanie zamknięte. Jakie było przyczyny wybucho wojny? - otwarte

2. można, ale po co ?

3. oczywiście, np. przez wyliczenie: "zboże" ozmacza pszenicę, żyto, jęczmnien, owies ..."  albo "wartość logiczna oznacza prawdę i fałsz"

Moim zdaniem to pytanie proste. Wedle tego co pamiętam, podział odpowiedzi na całkowite i częściowe oraz wprost i nie wprost nie stosuje się do pytań otwartych. To samo dotyczy podziału na odpowiedzi właściwe i niewłaściwe. Te podziały mają zastosowanie tylko do pytań zamkniętych.

1. Muł nie jest ani desygnatem nazwy klacz, ani desygnatem nazwy osioł,. Muł jest mułem.  O mule nie można zgodnie z prawda powiedzieć ani, że jest osłem, ani, że jest klaczą. Podobnie człowiek nie jest desygnatem nazwy "małpa", pomimo tego, że wedle uproszczonej teorii ewolucji pochodzi od małpy (tak naprawdę to małpa i człowiek mają wspólnego przodka).

. Twój pluszak to desygnat nazwy "pluszak przedstawiający smerfa", ale prawdziwym smerfem nie jest. Podobnie jak przebierzesz się za supermana, to przez to nie zostaniesz desygnatem nazwy "Superman"

1. Chodzi zapewne o błąd czterech terminów. Oczywiście M i M' to dewa różne terminy.

2. Siódma dotyczy doboru przesłanek, a nie wniosku

1. Oczywiście nie. MPP stosujesz jeżeli w jednym wierszu masz implikacje, a w drugim poprzednik tej implikacji.  W Twoim przykładzie masz implikację i następnik.

2. Możesz mieć dowolną ilośc wierszy. Jak się nie zmieścisz na arkuszu to napisz ; dokończenie dowodu w brudnopisie.

3. Ja wszystkie są wykluczone, to możesz na tym poprzestać. Podobnie jak  w sytuacji, gdy w sylogizmie stwierdzisz błąd czterech terminów, to ooczywiście nie musisz stosować innych dyrektyw.

Jeżeli temat ten nie był poruszany na wykładzie, to nie obowiązuje. 

Sprawa jest skomplikowana, ale dla potrzeb egzaminu proszę przyjąć, że wszystkie te odróżnienia dotyczą tylko definicji nominalnych.

Hm, nie jestem specjalistą od wróżek i od telewizji. Moje rozumowanie jest następujące: przyjmijmy, że w języku polskim nazwa "wróżka" znaczy"kobieta mająca dar przepowiadania przyszłości".  Wedle mojej wiedzy to nazwa pusta, bo sądzę, że nikt takiego daru nie ma. Co do Pani Esemeraldy i innych Twoich przykładów: przyjęliśmy założenie, że jako podstawę naszej semantyki przyjmujemy ten swiat, który uznajemy za realny, a nie jakeś światy alternatywne. Stąd "krasnoludek" to nazwa pusta, pomimo tego, że w świecie bajek Konopnickiej ta nazwa ma 12 desygnatów.  Nie wiem kto to jest Tarocistka Hermenolgilda, ale podejrzewam, że tylko udaje, że jest wróżką.

Twój przykład wykracza poza te konstrukcje, które omawiałem na wykładzie. Np. nie omawiałem złożonych przydawek, składających się z dwóch przymiotników ("wszystkie okoliczne"). Moim zdaniem oba wyrazy to n/n. Nie musisz się obawiać takich konstrukcji składniowych, które nie były mawiane na wykładzie. Co do "bardzo mocno padał wieczorem" - tego też nie będzie, bo nie omawiałem okoliczników miejsca i czasu. Tylko dla wyjaśnienia "wieczorem" nie może być n, sokoro padał to "z/n", a masz już "deszcz" jako jedno n. . Może  zdarzyć się "bardzo mocno padał", a wtedy Twoja analiza jest poprawna.  

Co do drugiego pytania: proszę o przykłady, bo nie do końca rozumiem.

Nie wiem czy dobrze rozumiem pytanie. Zakładam mamy ustalić stosunek zakresowy pomiędzy A i B (A - abstrakcyjna nazwa złożona oraz B - nzwa generalna. i szukamy przekładu A', które jest jednocześnie B  ?  Jest oczywiście obojętne, jaki przykład podamy, byle był z tego samego poziomu, tzn jak A i B są nazwami metajęzykowymi, to przykład musi być z poziomu języka przedmiotowego. Musimy przy tym uważać aby ten przykład był jednocześnie B (bo chodzi o podanie A' bedacego B). W Twoim przykładzie: trzeba dać przykład takiej nazwy, która nie jest abstrakcyjną nazwa zlożona, ale jest nazwą generalną (zatem A' B) - można podac przykład "słoń", "profesor" ale także "cnota" (bo to nie jest nazwa złożona, choć abstrakcyjna).

Stosować te reguły, które znasz. Nie wprowadzamy żadnych reguł dotyczących tych funktorów. Zatem te funktory albo nie będą występowały, albo będą występowały w sposób nieistotny np. OA trzeba będzie zastosować do takich wierzy (i)  (p/g) v r  oraz (ii)    ~(p/q) po to aby otrzymać  r. Po to, aby zastosować  OA w tym przykładzie nie musisz  nawet wiedzieć co to jest dysjunkcja.

Prezekształcenia są co zasady dobre "Nie muszę pojechać do Niemiec" to raczej zdanie "nieprawda, że muszę pojechać do Niemiec" , a "nie mogę pojechać do Niemiec" to zdanie "nieprawda, że mogę pojechać do Niemiec". To jest nadal stylizacja de re, w stylizacji do dicto te zdania odpowiednio  brzmią " Nieprawda, że konieczne, że pojadę do Niemiec" oraz "nieprawda, że możliwe, że pojadę do Niemiec". Nie musisz się tym szczególnie przejmować, bo przy egzaminie punktem wyjścia będzie zawsze założenie, że jedno ze zdań o takim kształcie, jak figurują one w kwadracie jest prawdziwe lub fałszywe. A zatem punktem wyjścia może być tylko prawdziwość lub fałszywość zdań Kp, Mp, K~p i M~p , a nie będziemy dodatkowo wprowadzali komplikacji polegającej na negowaniu tych zdań.

Nie jest możliwy. Nie bardzo wyobrażam sobie ustne rozwiązywanie tautologii albo przeprowadzanie dowodów założeniowych. Na czym miałaby polegać wyjątkowość sytuacji?

Oczywiście, obowiązuje cały materiał przerabiany na ćwiczeniach i wykładzie.  Zawsze są stałe elementy  (i) sprawdzanie, czy formuła jest tautologią, (ii) sylogizm, (iii) zadanie tekstowe, (iv) dowód założeniowy.   Inne elementy się zmieniają, oczywiście w granicach programu. Na pewno będą stosunki zakresowe, ale połączone z innym zagadnieniami  (np z teorią definicji czy teorią relacji), może być któryś z kwadratów logicznych (dla zdań kategorycznych, modalnych i deontycznych), mogą być kategorie syntaktyczne, zapewne będą relacje, nie ominiemy też teorii definicji, a zdarzyć się może jakieś zagadnienie z teorii podziału logicznego i teorii pytań, a także z metodologii nauk, semantyki zdań  itd. Rolą przykładowego arkusza jest tylko pokazanie, w jaki sposób skonstruowane są zadania, a nie określenie zakresu materiału, który trzeba przygotować.

Potraktuj  "Ania jest ładną i inteligentną studentką jako jedno zdanie, a nie jako koniunkcję. Podobnie "ania nie jest ładną i inteligentną studentką" jako negację tego zdania.

Podstawową zasadą dowodów założeniowych jest to, że reguły stosuje się do całych wierszy dowodu, a nie do fragmentów wierszy. Zatem nie można np. opuszczać negacji w środku jakiejś formuły. Jak się domyślam, dążysz do zastosowania w następnym kroku reguły OA, bo masz jakiś wiersz który np. brzmi q. Aby zastosować OA musiałbyś DN otrzymać  ~~q i wtedy dopiero zastosować OA.

prawdę powiedziawszy, często przymykamy na to oko, jak reszta dowodu jest dobrze zrobiona.

1. Jeżeli w całym tekście zadania to zdanie brzmi tak samo (tj jest przeczące) to możesz zapisać  jako p. My jednak radzimy, aby zapisywać jako ~p, bo w te sposób łatwiej uniknąć pomyłki.

2. Na pytanie rozstrzygnięcia odpowiedź nie może być częściowa. W obu Twoich przykładach odpowiedź :tak" lub "nie" jest odpowiedzią całkowitą.

Odpowiedź "idę na piwo" jest odpowiedzią nie-wprost, z której wynika (w oparciu o implikatury konwersacyjne) odpowiedź "nie"

3. W definicji kontekstowej wyraz definiowany występuje w kontekście. Wyraz definiowany zawarty jest w definiendum.

4. Sprawdź z prezentacją prof. Grabowskiego, opublikowaną przez niego na academia.edu.

proszę o kontakt na  t.gizbert-studnicki@uj.edu.pl , gdyż sprawa dotyczy tylko Pana, a maile na pana adres nie przechodzą.

Nie całkiem rozumiem pytanie. Proszę o jakiś konkretny przykład lub o wyjaśnienie sprawy na ćwiczeniach. 

Nie omawialiśmy wyrażeń przyimkowych, takich jak "z chęcią" , więc ich nie będzie na egzaminie. Jeżeli jednak potraktujesz "z chęcią" jako jeden wyraz, to pierwsza interpretacja jest OK.

Masz rację,  każde z tych zdań  jest przeciwne w stosunku do obu pozostałych.

Pierwsza prezentacja jest już na https://jagiellonian.academia.edu/TGizbertStudnicki w sekcji Teaching Documents

Otóż istotnie od strony technicznej prezentacje przygotowuje jeden z moich doktorantów i wykorzystuje to do robienia różnych dowcipów swoim kolegom , choć oczywiście odpowiedzialność ponoszę ja sam. Nie była i znana postać Sashy  Grey, dopiero  dziś po wykładzie sprawdziłem kto to taki. Mam tylko nadzieję, że wszyscy mają poczucie humoru  i nie biorą na serio tych informacji zawartych w prezentacjach.  Przez chwilę rozważałem ideę, aby zmienić ten slajd, ale myślę, że wypadłoby to głupio. Zatem liczę na Wasze poczucie humoru.

Czy język elficki to język elfów? niestety zbyt mało wiem o elfach, aby odpowiedzieć na to pytanie. Wstydzę się, ale nie wiem co to jest język klingonski. Kolega, który uczy się angielskiego uczy się języka naturalnego. Dla pojęcia języka sztucznego i naturalnego nie jest ważne, dla jakich celów uczymy się,  ale czy powstały spontanicznie i żywiołowo (języki naturalne) czy też zostały stworzone dla realizacji jakiegoś celu przez określoną osobę czy grupę osób. Zatem chodzi o genezę  języka.

Funkcja fatyczna  (nie "faktyczna") to funkcja polegająca na nawiązywaniu kontaktu. Gdy mówimy do kolegi "cześć", to nie przekazujemy żadnej informacji, ale właśnie nawiązujemy kontakt.

Pierwszy  wykład będzie 2 marca, gdyż semestr zaczął sie od wtorku 24 lutego. Napisałem w tej sprawie maila do wszystkich. Moze lepiejprzeczytać maile, zanim  zada sie pytanie

To chyba jakiś żart, ale odpowiem. Żadne  spodnie nie są garniturem (spodnie są tylko częścią garnituru), żaden garnitur nie jest spodniami, słoń nie jest ani spodniami ani garniturem. Wnioski wyciągnij sama.

Odnosze  nieodparte wrażenie, ze są to pytania z innej uczelni. Wskazuje na to zarówno rodzaj pytań, jak i czas ich zadania. U nas egzamin jest w sesji letniej. Nie mam zamiaru  odpowiadania on pytania z całej Polski. Jezeli sie mylę, to przySlij pytania z adresu uj.edu.pl i wyjaśniają dlaczego je teraz zadajesz.

Ustal najpierw stosunek zakresowy pomiędzy nazwami Złodziej i Człowiek. Będzie to stosunek podrzędności, przyjmując, że tylko ludzie są złodziejami  (bo np. zwierzęta takie jak sroki są złodziejami tylko w metaforycznym sensie). Następnie na wykresie dopełnij do uniwersum, aby uzyskać "nie- człowiek". Przekonasz się, że pomiędzy złodziej i nie-człowiek jest stosunek przeciwieństwa.  Np Prezydent  Komorowski nie jest ani desygnatem nazwy złodziej ani desygnatem nazwy nie człowiek.   

Nie jest dla mnie jasne, jaka jest cecha którą wedle Ciebie te nazwy się różnią.

to oczywiście zależy od tego, jak brzmi imię i nazwisko. np. przy "Ewa Wisniewska" zbiór spółgłosek imienia zawiera się w zbiorze społgłosek nazwiska, a przy "Adam Kot" wyklucza się.

To pytanie ma sens tyko wtedy, gdy chodzi o odpowiedź na jedno i to samo pytanie (bo to samo zdanie może być odpowiedzią prawdziwą na jedno pytanie a fałszywą na inne).  Przy tym założeniu nie jest to stosunek równoważności, bo "nie-odpowiedź prawdziwa" może w ogóle nie być odpowiedzią. Stosunek równoważności byłby, gdyby chodziło o nazwy "odpowiedź nieprawdziwa" "odpowiedź fałszywa". Nie zaprzątaj sobie jednak takimi problemami głowy.

To jest oczywiście przeciwieństwo. Obszar Polski jest częścia obszaru Europy.

Nie przeczytałem jeszcze 10 książek. Nawet siódmej nie zdążyłem do końca pokolorować.

Rozmawiałem z prof. Grabowskim. Ta sprawa była już mu znana. Istotnie przez nasze niedopatrzenie w jednym zestawie na egzaminie dla studentów niestacjonarnych  znalazł się dowód, wymagający zastosowania tego prawa (jest alternatywny dowód, ale bardzo żmudny). Prof. Grabowski uwzględni ten fakt przy poprawie prac, tak, że nikt nie musi obawiać się negatywnych konsekwencji.

1. Przeciwieństwo

2. Nie

3. Git

Ten problem wyjasnialem na tej stronie zapewne około 10  razy

Tez nie wiem

Nie jest to nazwa pusta. Tylko definicje równościowe oceniamy jako adekwatne i nieadekwatne. Jeżeli ktoś formułuje nieadekwatną definicję równościową, to także chce osiągnąć zastępowalność, ale się myli.  

Nie. "Nazwa nieostra indywidualna  to nie jest nazwa pusta np. "sympatyczny sąsiad Tuska". Przypominam to, co mówiliśmy o tzw. nazwach hybrydowych. Natomiast "nazwa pusta jednostkowa" to oczywiście nazwa pusta, bo żadna nazwa nie może być jednocześnie pusta i jednostkowa./

tak, naprawdę może dołączyć Pan przez alternatywę dowolna formułę

nie, nie zostaną

Jak rozumiem jest to to samo pytanie co poprzednio. Gdyby nie było negacji przed nawiasemm, to jako założenie mogłabyś przyjąć ~~p

Czy masz na myśli twierdzenie, które ma być udowodnione? Jeżeli tak, to nie wyodrębniasz ~~p jako załozenia, lecz całe ~(~~p->g) tyraktujesz jako to, do czego masz dojść, aby skończyć dowód wprost.

Oprócz definicji nominalnych i realnych istnieją inne. Np. jak słusznie zauważyłeś definicja ostensywna nie jest ani taka ani taka. Zatem zakres nazwy definicja nie-nominalna jest szerszy od zakresu nazwy definicja realna. Każda definicja realna jest definicją nie-nominalną, ale oprócz tego są takie definicje nie-nominalne które nie są realne (np. ostensywna). Zatem to stosunek nadrzędności.

Takie , jakie wynikają z treści wykładu: np. sprawdzenie, czy podział jest rozłączny i wyczerpujący, dokonanie podziału wedle zadanaych wymagań, pojęcie podziału dychotomicznego, odróżnienie podziału od partycji itp.

 1. "jeżeli p, to jeżeli r, to q" formalizujemy jako p ->(q -> r).  ??? Nie widze to tego postaw, chodzi chyba o p ->(r-> q).    .Istotnie, poprzednikiem pierwszej implikacji jest wyrażenie pomiędzy :jeżeli" a "to", a w tym przykładzie jest to p. 

Formalizacja (p -> q) -> r. bylaby poprawna, gdyby tekst brzmiał : jeżeli jeżeli p to q to r. Jest to niezbyt poprawne językowo, ale może się zdarzyć takie sformułowanie : Jeżeli  skoro p to q, to w takim razie r. Nie przypominam sobie zadań z takim sformułowaniem.

2. Mylisz się, że "Andrzej nie jest zawiedzony" występuje tylko jako zdanie z negacją. Zwróć uwagę na to, że  "ani Andrzej nie jest zawiedzony, ani Tomek nie jest mistrzem" to binegacja, zatem formalizujemy ją jako q binegacja r, a nie jako ~q binegacja ~r. Natomiast w pierwszej przesłance  to samo zdanie jest zanegowane. Zatem w treści zadania to zdanie raz jest zanegowane, a drugi raz nie.

3, Twoja formalizacja jest poprawna

1. Tak, "sąsiad Donalda Tuska" to właśnie nazwa hybrydowa, a więc w naszym ujęciu indywidualna. Trzeba zatem pamiętać, że nazwa indywidualna może być ogólna.

2. Oczywiście nie

3. Prof. Grabowski nie omawiał na wykładzie stosunków zakresowych pomiędzy nazwami pustymi, a zatem na egzaminie dla niestacjonarnych to zagadnienie się nie pojawi.

4. To jest dalszy podział definicji równościowych, a zatem każda z tych definicji jest równościowa.

Na to pytanie już chyba odpowiadałem. Jest możliwość poprawy, z wszelkim ryzykiem. Wpisuję ocenę w drugiej rubryce, jako egzamin poprawkowy. To się w jakiś sposób przekłada na średnią ocen, ale nie wiem dokładnie jak. Jeżeli z drugiego terminu jest ndst, to egzamin uważa się za niezdany.

Co dozasady tai, ale mogąvcbyc w lipcu i sierpniu opóźnienia w udzielaniu odpowiedzi

Kompletnie nie rozumiem o co chodzi. Pomiędzy "samochód a Ferrari" jest stousnek nadrzednosci. Zatem Nie-samochód i Ferrari to stosunek przeciwieństwa. "Nie -samochód i nie -Ferrari to będzie stosunek podrzednosci.  Gdzie tu problem z podwójną negacją?

Git

wielokrotniewielokrotnie mówiłem na wykładzie, ze podprzeciwienstwa w tym kontekście nie bedzie

Zajrzyj z łaski swojej do moich poprzednich odpowiedzi. Nie moge odpowiadać stałe na te samy pytanie

Przykro mi, ale jestem w podróży i nie moge odpowiedzieć na tyle obszernych pytań zadanych o 8 wieczor w przeddzień egzaminu

wedleujęcia, które przedstawiał prof. Grabowski tylko odpowiedź  całkowita wprost jest odpowiedzią właściwą.

A' B - są takie definicje legalne , które nie są wyraźne, nie wymagamy przykładu, bo podanie przykładu wymaga znajomości prawa

Reszta OK

jest przeciwzrotna, bo żadna nazwa nie pozostaje w tej relacji sama do siobie

symetryczna, bo jak A jest przeciwna do B to B jest przeciwna do A

nieprzechodnia, bo jak A jest przeciwna do B, a B do C, to A czasami jest przeciwna do C, a czasami nie

niespójna, bo są takie pary nazw między którymi zachodzi, a są też takie pary nazw między którymi nie zachodzi.

Tak

Oczywiście,m że istnieje. Definicje legalne to tylko definicje zawarte w tekstach prawnych.

Przykład:

oczobój to fason okularów wymyślony przez Jana Kowalskiego

Nie tylko Ty. Jak mamy definicję nominalną w stylizacji przedmiotowej, to różni się ona od realnej tylko intencją formułującego, czy chciał zdefiniować wyraz czy rzecz. Nie sposób odróżnić po budowie. Dla celów egzaminu przyjmij, że zawsze mamy do czynienia z definicją nominalna.

Prościej jest napisać 0 pod negacją, a 1 pod znakiem rownowazności, wtedy oczywiście trzeba rozwiązywać od L do P i od P do L, przyjmując 1 i 1 oraz 0 i 0.

jak masz np. M i M' to a pewno jest to błąd czterech terminów.

chyba rozłączną, ale uznałbym oba rozwiązania. Natomiast panna lub wdowa to na pewno rozłączna.

Jest spoko, tylko w drugim zdaniu brakuje kategorii dla 'i" (z/zz)

Mam wątpliwości czy w takim sformułowaniu jest to podział wedle posiadania/nieposiadania pewnej cechy. Wolałbym "definicja mająca ponad 25znakow i definicja nie mająca ponad 25 znaków)

A czy nie prościej byłoby "definicja regulująca klasyczna i definicja regulująca nie-klasyczna"?

bezpieczniej jest to zrobić.

To nie są stosunki zakresowe, bo zdania nie mają zakresow. Jest to stosunek sprzeczności (zdania nie mogą być zarazem fałszywe i zarazem prawdziwe), stosunek przeciwieństwa (zdania nie mogą być zarazem prawdziwe, ale mogą być zarazem fałszywe0. Mówi się też o stosunku nadrzednosci i podprzeciwieństwa, ale ja nie stosuję tych pojęć.  Te stosunki są takie same we wszystkich kwadratach.

To odróżnieniu w tym przypadku jest nieostra, bo niw wiadomo czy w tymprzypadku pytajacemu chodzi o podanie nazwiska. 

Ja tez

chyba już odpowiedziałem. Czasami jednakże (zwłaszcza w nocy) nie mogę zajmować się udzielaniem odpowiedzi (bo czasami muszę spać). Zdarza się też, że nie mam dostępu do netu.

Ja bym z ostroznosci napisał najpierw z podwójną negacją, a potem opuścił te negację.

Dociekliwe pytanie z Twojej strony. Ja bym powiedział , że zamknięte, bo musze odpowiedzieć np. "kryzys", "przeludnienie" itp., a zatem jakiś schemat odpowiedzi jest.

1. Nie omawiałem wnioskowań przez analogię (to jest rodzaj wnioskowań zawodnych).

2. Prawdę powiedziawszy nie bardzo rozumiem, jak Jaś może być elementem zbioru kobiet. Jak relacja jest okreslona w jakimś zbiorze, to rozpatrujemy tylko elementy tego zbioru jako poprzedniki i następniki tej relacji. Zapewne relacja bycia kolegą określona w zbiorze kobiet jest przeciwspójna, bo żadna kobieta nie jest kolegą innej kobiety.

1. Zapewne istnieje, ale problem ten ni spedza mi snu z oczu, a więc i Tobie nie powinien.

2. Tak

3. Tak

4. To istotnie można różnie interpretować. Nie zawracaj sobie głowy takimi przykładami, na egzaminie będą zdania jednoznaczne.

wielokrotnie wyjaśnałem, że na egzaminie mogą pojawić się tylko takie konstrukcje składniowe, które były omawiane na wykładzie. Zdania typu takiego jak podaleś nie były omawiane, a więc nie zaprzątaj sobie tym głowy.

Już to wyjasnialem, możesz do wszystkiego

Zadaj sobie pytanie:jak A jest nadrzędną do B, to jak sie ma B do A?  Np ssak i slon

Tak

częściowa eliminuje część fałszywych odpowiedzi; z odp nie wprost odpowiedź właściwa wynika

termin średni występuje tylko w przesłankach... (a zatem musi być on rozłożony w przynajmniej jednej przesłance)

dwie przesłanki nie mogą być przeczące z uwagi na dyrektywę nr 2

Tak, na to pytanie wielokrotnie odpowiadałem.

UFF,  nie wiem czy dobrze rozumiem pytanie. Można ustalać stosunki zakresowe między nazwami z tego samego poziomu: a wiec np. z języka przedmiotowego "słoń" i "ryba" , albo z metajęzyka "nazwa pusta", "nazwa abstrakcyjna". Nie można natomiast ustalać stosunków zakresowych miedzy nazwami z różnych poziomów języka np. "słoń" i "nazwa abstrakcyjna".

1. Można

2. Poprawi lub pogorszy

Możnapodejść z ryzykiem, ze ocena pozytywna zostanie zmieniona na niższa lub na ndst.  Staramy sie poprawic prace jak najszybciej, ale to zależy od ilości prac. Na pewno wyniki bedą przeddrugim terminem, a do egzaminu dopuszczeni bedą nawet ci, którzy nie zdążyli zapisać sie przez USOS. Nie będzie natomiast żadnego dodatkowego terminu

Trzeba napisać, np przy wierzcholkach kwadratu P lub F albo 0 lub 1 względnie znak zapytanie, a następnieżyło te zdania, których wartość ustalono przełożyć na jezyk naturalny

Już odpowiadałem. Symetrycznosc.

Wydawało mi sie, ze jasno napisale. Definicja legalna jest zawsze regulujące lub projektujaca. Jako taka nie jest ani adekwatna ani nieadekwatna. Zatem przeciwieństwo. Trzeba było jednak chodzić na wykłady prof. Grabowskiego

Przed chwila odpowiedziałem na pytanie, a moja odpowiedz winna rozwiać Twoje wątpliwości. Dodam jeszcze, ze definicja legalna, jako zawsze regulujące lub projektujaca nie jest prawdziwa ani fałszywa.

Myślisz sie i to bardzo głęboko.  Nie potrafię zrozumieć skąd biorą sie takie nieporozumienia. Definicja legalna to deficja zawarta w tekście prawnym. Moze ona mieć dowolna budowę. Definicja legalna jest zawsze regulująca lub projektujaca.

chyba tak.

Jak mnie poinformował prof. Grabowski, nie wykładał o kategoriach syntaktycznych z powodu braku czasu. Zatem na studiach niestacjonarnych tych zadań nie będzie. Jeżeli chodziła Pani na wszystkie wykłady i ćwiczenia, to nie będzie Pani zaskoczona. Egzamin obejmuje tylko problematykę omówioną na wykładach i ćwiczeniach, nie będzie żadnych niespodzianek. 

Oj, chyba słabo było u Cebie z frekwencją na wykładach. "Najwyższa góra świata".

Na oba pytania odpowiedź jest twierdząca.

1. Jak przejrzysz odpowiedzi z zeszłego roku, to znajdziesz odpowiedź na pytanie jaki jest stosunek zakresowy pomiędzy tymi nazwami 

2. Nie wiem co to jest "takowe pojęcie obok". Sformułuj jasniej pytanie

3. Jan napiszesz :"nagrana wcześniej" to na pewno uznamy odpowiedź.

ad. 1 tak

ad.2 nie

Takie same

podporzadkowanie (podrzednosc/wynikanie) to relacja na bokach kwadratu (z a wynika i, z e wynika o). wynikanie jest oczywiscie w jedna strone. mozna jednak powiedziec ze a jest nadrzedne wobec i natomiast e jest nadrzedne wobec o

w tresci zadania bedzie wyraznie wskazane ktore zdanie ma zostac uznane za przeslanke - w tym wypaku chodziloby zapewne o zdanie szczegolowe twierdzace a zatem w odp trzeba by podac wartosc ogolnego przeczacego 

To nie ma znaczenia, gdyż w każdym przypadku warunki prawdziwości/fałszywości będą takie same - niezależnie od tego jak postawimy nawiasy i czy w ogóle je postawimy, formuła będzie prawdziwa tylko wtedy gdy wszystkie czynniki koniunkcji będą prawdziwe.

Staramy się tak ułożyć zadania, aby stopień trudności był zbliżony.

tak, zdarzają - taki przykład omawiany jest na każdych ćwiczeniach; jest tez omówiony w zielonej książeczce prof. Grabowskiego

nie bardzo rozumiem, oczywiście, może się zdarzyć, że jakaś cecha jest negatywna.

jeśli masz na myśli związki logiczne pomiędzy poszczególnymi zdaniami to tak: np. odpowiednia alternatywa, dysjunkcja itp. są prawami logiki, czyli są zawsze prawdziwe dla wszystkich kwadratów.

Wyraźnie mówiłem, że indukcja zupełna jest wnioskowaniem dedukcyjnym. Drugie pytanie mnie dziwi. Jest oczywiste, że nie każde wnioskowanie dedukcyjne jest indukcją zupełną. 

Takich przykładów nie będzie. Dla wyjaśnienia, jeżeli zachodzi ~Kp, to znaczy, że Kp jest fałszywe, a zatem zdanie przeciwne K~p jest prawdziwe.

właśnie tak

To jest definicja kontekstowa, ale nie indukcyjna. Definicja indukcyjna musi składać się z  warunku początkowego i warunku indukcyjnego.

nie, to odróżnienie różnych rodzajów odpowiedzi nie dotyczy pytań otwartych.

objętnie, ale lepiej napisać : to zdanie jest F.

To zależy, jak dalej ta definicja zostanie rozwinięta. Ale cos na rzeczy jest - ten sam wyraz nie powinien występować po obu tronach, raz jako przymiotnik a raz jako rzeczownik.

odnosi do wszystkich definicji nierownosciowych

tak

tak, każdy wiersz można stosować wielokrotnie

tak, DN do ~p daje ~~~p

a) relacja jest symetryczna wtedy, gdy jeżeli zachodzi pomiędzy A i B, to zawsze zachodzi także pomiędzy B i A.  To, że istnieją nazwy, które nie pozostają w tej relacji nie ma żadnego znaczenia. To, ze nazwy nie pozostające w tej relacji nie  istnieją świadczy tylko o niespójności tej relacji w zbiorze nazw.

b) niezależność jest istotnie nieprzechodnia.

tak.

mógłbym, ale po to Ci to przed egzaminem?

Tak, wystarczy spojrzeć na wykresy stosunków zakresowych.

Gdybym dawał takie przykłady na egzaminie, to bylyby same dwóje.  Dla Twej wiadomości: zdanie deontyczne może być analityczne np. jeżeli nakazane jest p to dozwolone  jest p. Podobnie zdanie modalne: jeżeli konieczne jest p, to możliwe jest p.

w odpowiedzi nie podajemy wartości przesłanki, czyli zdania(zdań), z którego (których) wnioskowaliśmy o wartości pozostałych zdań w oparciu o kwadrat logiczny.

Git

1. Może,

2. Oczywiście, że może. Mnie chodziło o to, ze nazwa hybrydowa może być ogólna, a skoro takie nazwy uznaliśmy za indywidualne, to nazwa indywidualna może by ogólna. Twoje przykłady są OK.

3. Wystarczy

Ja bym powiedział " Prezydent nie musi..", to "nieprawda, ze prezydent musi", zatem "nieprawda, że konieczne, że prezydent skróci".

przechodnia. Jak X jest bratem Y, a Y bratem Z. to X jest bratem Z niezależnie od płci Z (pomijam rodzeństwo przyrodne)

Uf, pytanie jest trochę zakręcone. Gdy rozpatrujemy wyrażenia metajęzykowe,  to naszym uniwersum jest to, co istnieje w języku. Zatem nazwy "zdanie" i "nie-zdanie" wyczerpują uniwersum, bo w języku nie ma nic poza zdaniami i nie-zdaniami. Podobnie "funktor" i "nie -funktor". Natoamist jak mamy "nazwa generalna" i "nazwa nie-generalna", to uniwersum nie jest wyczerpane, bo oprócz nazw w języku występują inne obiekty (funktory, zdania itp.). Zasada jest taka uniwersum  jest wyczerpane tylko wtedy, gdy jedna nazwa jest negacją drugie. "Nie=zdanie": jest negacją "zdanie". "nazwa nie-generalna" nie jest negacją "nazwy generalnej", gdyż "nie" występuje w środku, a nie na początku. .  

Będzie to przeciwieństwo, bo desygnat to przedmiot, a zakres to zbiór.

Np krasnoludek, bo gdyby istniał, to byłby z krwi i kosci

Zdanie "mogę wszystko" jako zdanie deontyczne, to z grubsza Dozwolone, że czynię to co chcę, a zatem Dp

 'Dozwolone jest nieprzechodzenie ..." to już jest zdanie w stylizacji de dicto. "Dozwolone, że każdy przechodzi nie po pasach".

Dobre pytanie, mocno filozoficzne. Dla uproszczenia przyjmij, że nazwy takie jak "podział dychotomiczny", 'klasyfikacja" to nazwy metajęzykowe, a wiec ich desygnaty należą do tego samego uniwersum co wyrazy języka, w tym funktory. Jest to znaczne uproszczenie, ale sprawa jest zbyt awiła filozoficznie, bu ją tu omawiać. Tego rodzaju wątpliwości dla rozwiązywania zadań nie będą miały praktycznego znaczenia.  

Moim zdaniem to nie jest zdanie modalne, bo trudno to sprowadzić do postaci Mp . To, że zdanie p musi opisywać czyn ludzki to nie jest sprawa zdań modalnych tylko zdań deontycznych.

hm, musisz odpowiedzieć na pytanie czy każdy miłośnik logiki jest znajomym samego siebie. Ja mam co do tego wątpliwości  czy relacja bycia znajomym zachodzi pomiędzy mną a mną samym.

oczywiście podprzeciwieństwo. Jak nazwa A jest podprzeciwna do B, to B jest zawsze podprzeciwna do A. Wystarczy spojrzeć na wykres podprzeciwieństwa.

.

Nie trzeba nic składać.

Tylko tak

Zapisujemy K~p. Jeżeli masz ~Kp, to znaczy po prostu, że zdanie Kp jest fałszywe.

Oczywiście, że może. Co do drugiego nie wypowiadam się.

już odpowiadałem na to pytanie

To sformułowanie jest wieloznaczne, a zatem takich nie będzie przy egzaminie.

Oczywiście, że jest możliwa odpowiedź na pytanie otwarte, tyle tylko, że odpowiedzią jest dowolne zdanie (zatem do pytań otwartych nie stosujemy odróżnienia odpowiedzi właściowych i  niewłasciwych, całkowitych i częściowych, wprost i nie wprost).

1. Tak, masz rację

2. Znowu masz rację.

3. To co piszesz jest sprzeczne z tym, co napisałeś w 1. Ważne jest to, że kwestia adekwatności definicji powstaje tylko w odniesieniu do sprawozdawczych równościowych.

Nie bardzo rozumiem. Jak w dowodzie wprost masz dwa wiersze, z których jeden jest negacją drugiego, co znaczy, że dowód jest źle zrobiony.

Tak, niektórym regułom (prawa de Morgana, ZIK) odpowiadają  twierdzenia będące równoważnościami, więc można je stosować w obie strony. Zadania jednak są tak ułożone, że nie jest to konieczne.

Istotnie, przepraszam. Gdzieś mi zginął przy ładowaniu, ale już jest

1. Na takie pytanie odpowiedziałem przed chwilą.

2. Tylko kontrapozycja zupełna.

Istotnie się pogubiłeś. Błąd nieadekwatności odnosi się tylko do definicji sprawozdawczych, i to tylko takich, które są jednocześnie  równościowe. To są dwa 

różne podziały definicji, które się krzyżują.

Nie przejmuj się tym zadaniem. Wówczas wprowadzalismy jeszcze inne reguły, których teraz nie uczymy. Oczywiście, że nie wolno wprowadzać dodatkowych założeń.

1. To po prostu znaczy, że fałszywe jest zdanie: 'Możliwe, że Jan jest jednocześnie..." Zatem przy Mp piszemy O

2. Tak

3. Tak, bo wszak indukcja zupełna jest wnioskowaniem dedukcyjnym

Masz rację, podział fizyczny dotyczy rzeczy, a podział logiczny zakresu nazwy.

oczywiści, że nie można opuścić. Z prawa de Morgana wynika,, że negacja koniunkcji jest równoważna alternatywnie zanegowanych czynników  koniunkcji.

Trzeba stosować wszystkie reguły, a więc też opuszczanie negacji.

1. Tak

2. Jak wiadomo, do pytań otwartych tych różnień nie stosujemy. Zatem nie ma czegos takiego jak odpowiedź nie wprost czy częściowa na takie pytania.

3. Dobre pytanie. Ja bym powiedział tak, że określenie jakiegoś wnioskowania jako dedukcyjnego nie przesądza o ty, czy przesłanki sa prawdziwe. Zatem stosnek niezależności (bo oczywiście przesłanki fałszywe mogą wystąpić także w niededukcyjnych).

Tak jak ja to przedstawiłem to przeciwieństwo. Ale są inne definicje, szersze, wnioskowała redakcyjnego.

Liczba Pi istnieje.Lepszy przykład to miłość afrodyty

W tym drugim jest to n/n bo wszak to funktor.

Możesz dodac po znaku alternatywy cokolwiek tylko chcesz, dowolne proste lub złożone wyrazenie

Git

Czy naprawdę muszę stałe prostować te same nieporozumienia?Przeczytaj poprzednie odpowiedzi.

Gdybyś był na wykładzie, to byś wiedział dlaczego nazwa Agnieszka nie jest ogólna. W skrocie: niemożna tej nazwy użyć mając na myśli wiecej niż jedna Agniszke na raz.

Nie moze być. Bo Krystyna to nie jest nazwa ogólna, z powodów które szczegółowo wyjasnialem nawykładzie.

Nazwa nie-indywidualna to tyle co generalna. Hybrydowe uznaliśmy za indywidualne.

Przed chwila odpowiadałem na to samo pytanie o Agnieszce

Mylisz nadrzednosc i podrzednosc ze stosunkiem części do całości. Każdy zbiór cech który jest trescia pełna jest także treścią charakterystyczna.  To, ze ten zbiór zawiera wiecej cech nie ma żadnego znaczenia.

Oczywiście, ze możesz. Jak prawdziwa jest koniunkcja, to prawdziwy jestkażdy jej czynnik,obojętnie jaka ma postać! A zatem czy jest to pojedyncza zmienna, negacja zmiennej czy bardziej złożone wyrazenie

Nie, poswiecilem sporo czasu na wykładzie, aby to wyjaśnić.Przejrzyj poprzednie wiadomosci.

Pani interpretacja (z/nn) jest ok

istnieje, np. najbrzydsza żaba

jest ok

1. bycie łysym to nie relacja, ale cecha. Relacje, które rozpatrujemy to stosunki pomiędzy dwoma obiektami (relacje dwuczłonowe). Bycie łysym nie zachodi pomiędzy dwoma obiektami.

2. Nie rozpatrywaliśmy konstrukcji składniowych, przy których dwie przydawki odnoszą się do jednej anzwy (bezpłatny bilet kolejowy, niewysoki wybitny pianista), wiec nie zawracaj sobie tym głowy.

zapomniałem, zaraz je wkleję pod tym samym adresem

Jeżeli prof. Grabowski nie zdążył tego tematu omówić na wykładzie, to nie obowiązują.

Jak ktoś skończy pisać, to oczywiście może wyjść. Nie przewiduję oficjalnego uroczystego zakończenia egzaminu i przemówień okolicznościowych.

Spoko

Proszę bardzo:

1. kwadratowe koło (to jest nazwa pusta), "najgorętsza miłość świata" to jest nazwa jednostkowa, a obie są abstrakcyjne

2. "sąsiad Donalda Tuska" - te zagadnienie było już na tej stronie wałkowane wiele razy. Także na wykładzie.

Nie wiem czy dobrze rozumiem to pytanie. Takich zdań z podwójną negacją "nikt nie ma kota" nie będzie. Generalnie nasza rada jest taka: jak w zdaniu wystepuje negacja, to lepiej zapisać  ~p, nawet jakby p bez negacji w zadaniu nie wstępowało. Z logicznego punktu widzenia to nie ma znaczenia, ale łatwiej uniknąć pomyłki.

Co do zdania modalnego: znowu przykład z podwójną negacją: Zdanie "każdy ma kota" nie jest negacją zdania "nikt nie ma kota". Nie wymyślaj j takich zakręconych przykładów.

Moja rada: nie przejmujcie się tym nieszczęsnym przykładem, bo kwestia jest niejasna.

 1. Ja bym raczej przekształcił na Mp"  możliwe, ze jutro będzie nie najzimniej. Twoja propozycja to jest raczej przekształcenie zdania"Możliwe, że jutro nie będzie najzimniej".

2. "Nie wolno" to znaczy "zakazane" . Zatem powinno być "Zakazane jest palenie papierosów" .

Tak, nadrzędnośc ale z innego powodu. Każda treść pełna jest treścią charakterystyczną, ale nie na odwrót.

Tak, jest to zwrotna relacja, gdyż każdy mieszka w tej samej miejscowości co on sam. Na pewno jest niespójna, gdyż w tym zbiorze saątakie pary ludzi, którzy nie mieszkają w tej samej miejscowości.

relacje będące stosunkami zakresowymi pomiędzy nazwami określone są w zbiorze nazw jakiegoś języka. Każdy z tych stosunków zakresowych zachodzi pomiędzy pewnymi prawami nazw, a pomiędzy innymi parami nie zachodzi.  Np. stosunek podrzędności zachodzi pomiędzy nazwami słoń i ssak, a nie zachodzi pomiędzy nazwami słoń i student. Na tym właśnie polega niespójność relacji.

Relacja wynika nia logicznego jest określona w zbiorze zdań (tylko zdania mogą wynikać z innych zdań). Jest to relacja niesymetryczna, bo czasami jak q wynika z p, to p także wynika z q (np. z tego że Jan jest bratem Marii wynika, że Maria jest siostrą Jana, a z tego, że Maria jest siostrą Jana wynika, że Jan jest bratem Marii) , a czasami nie (np z tego, że x jest mężczyzną wynika, że x jest człowiekiem, ale z tego, że X jest człowiekiem nie wynika, że x jest mężczyzną).

Wynikanie jest relacją niespójną, gdyż pomiędzy niektórymi zdaniami zachodzi, a pomiędzy innymi nie.

będzie

Git

Po pierwsze co do zasady, i na potrzeby formalizacji wnioskowań w jęz. naturalnym, poszczególne przesłanki (które zwykle odpowiadają poszczególnym zdaniom) łączymy ze sobą koniunkcją. Poza tym w przytoczonej konstrukcji jest elipsa - samo "lub r" byłoby bez sensu jako zdanie. Po trzecie ta konstrukcja ma tylko zobrazować istotę wyjątku od ogólnej zasady, że po "to" mamy treść następnika implikacji.

z tresci zdania wyraźnie wynika, że jest to alternatywa rozłączna, gdyż jest oczywiste, że sąd nie może zarazem zastosować złagodzenia i odstąpić od wymiaru kary.

tak, z tym ze niemozliwa byłaby kontrapozycji (z uwagi na to ze nie mozliwa jest konwersja zdania o)

nie

. To nie jest definicja kontekstowa, lecz definicja (nota bene za szeroka) nazwy "feminizm występujący w Polsce"

Kontekstowa byłaby np. taka " "X jest uważany za zwolennika feminizmu jeżeli x uważa, że ..."

2.  Pierwszy przykład OK. Drugiego nie roizumiem. Czy chodzi o ilość znaków w nazwisku? Jeżeli tak, to trzeba to wyraźnie napisać. Nota bene w Twoim przykładzie gdy prawnik ma 8 znaków w nazwisku, to należy zarówno do pierwszego, jak i drugiego członu podziału, a więc podział jest nierozłączny.

Masz rację, przeciwieństwo

Niezalezność:

A' B Najwyższa góra świata

A B Giewont

A B' słoń

A' B' albo

To chyba dokładnie omAwialem. Nazwa "sympatyczny znajomy Natalii Siwiec"została przez nas uznana za nazwęindywidualna, a to wszak nazwa nieostra. 

Mówiłem o tym dziś na wykładzie. Jest dokładnie tak, jak piszesz.

Już cyba wyjaśniałem, że nie sposób rozwiązać takich przykładów. To samo zdanie może być odpowiedzią prawdziwą na jedno pytanie, a fałszywą na inne pytanie, całkowtą na jedno, a częściowa na drugie itp. Zatem nie mogą się na egzaminie pojawić takiego rodzaju pytania.

1. Masz rację, że przy definiowaniu relacji porządkującej nie odwoływaliśmy się do kwestii zwrotności. Zatem zwrotność nie ma znaczenia dla ustalenia czy relacja porzadkuje czy nie. Stąd takiego rodzaju pytania się nie pojawią, pomimo, ze każdą relację można rozpatrywać pod kątem zwrotności.

2. Konwersem podprzeciwięńtswa jest podprzeciwieństwo, konwersem nadrzędności jest podrzędność.

3. Twoja formalizacja jest prawidłowa.

Czy na pewno zapamiętałaś dobrze co mówił prof. Grabowski? Definicje projektujące nie są  z uwagi na swa arbitralność ani adekwatne ani nieadekwatne, więc raczej bym powiedział, ze jest to stosunek przeciwieństwa. Definicja "lekarz to chirurg" jako definicja sprawozdawcza jest nieadekwatna, jako regulujaca nie jest ani taka ani taka. Po to aby powiedzieć jaka to definicja musielibyśmy znać intencje osoby ją formułującej.

Nazwa nie-abstrakcyjna to tyle co nazwa konkretna. Nie jest to jednak stosunek sprzeczności, tylko przeciwieństwa, z powodów, które szczegółowo wyjaśniałem na wykładzie.

TGS

Istotnie czasem mówi się o podrzędności SaP wobec SiP oraz SeP wobec SoP, gdyż ilekroć prawdziwe jest SaP, to prawdziwe jest SiP, ale nie na odwrót. Mówi się też, że SiP oraz SoP są podprzeciwne. Mnie się niezbyt ten sposób mówienia podoba, dlatego też w zadaniach z kwadratu logicznego nie odwołujemy się do nadrzędności i podrzędności ani podprzeciwieństwa. Trzeba natomiast dokładnie wiedzieć, jakie zdania są sprzeczne a jakie przeciwne oraz  co to znaczy, bo do tego często zadania nawiązują.

Muszę  z żalem powiedzieć, że moja cierpliwość jest bliska wyczerpaniu. W piątek 16 maja wysłałem w tej sprawie wiadomość do wszystkich studentów I roku na ich skrzynki malowe. Treść tej wiadomości powtórzyłem na wykładzie w poniedziałek. Od wczorajszego wieczora limity zapisów zostały rozszerzone, co łatwo sprawdzić zaglądając do USOS. Czy zatem musze jeszcze każdemu osobno odpowiadać na to pytanie?

 1. Możesz przyjąć, że takiego zadania na egzaminie nie będzie. Przyjmij, że to co prof. Grabowski mówił o budowie i funkcjach definicji odnosi się wyłącznie do definicji nominalnych. Zatem w tej mierze skrypt TBSP jest OK.  Gdy mowa o definicjach równościowych czy nierownosciowych, to dotyczy to tylko definicji nominalnych.  Zatem żadna definicja realna nie jest ani równosciowa ani nierównosciowa.

2. Na egzaminie będą tylko takie przykłady, które podpadają pod te omówione na wykładzie. Skoro na wykładzie nie było bezokoliczników, to na egzaminie także nie będzie. Rocznie Walery czyta pięć książek to  z/nn/z/nn     n    z/nn    n/n  n

Nie wiem dokładnie co to jest "dopytka ustna", bo taki zwrot nie figuruje w słowniki. Jeżeli chodzi o egzamin dla obcokrajowców, to egzamin ustny w sytuacji opisanej przeze mnie w odpowiedzi na inne pytanie jest kontynuacją pierwszego terminu.

W ciągu najbliższych 10 dni prezentacja wykładowe będą umieszczone w Internecie, a wszystkim przekażą informację jak je można znaleźć.

TGS

Przykład jest dobry (gdyż RP to na pewno nazwa indywidualna, więc cała nazwa też jest indywidualna). Przykład nazwy generalnej i ostrej : żyrafa

Zgodnie z regulaminem obcokrajowcy mają prawo zdawać egzamin ustny. Jestem osobiście przeciwnikiem tego przywileju, ale regulamin mnie wiąże. Ustnie trudno jest np. sprawdzać tautologiczność formuł czy przeprowadzać dowód zalożeniowy. Dlatego proszę studentów obcjokrajowców o podejście do egzaminu pisemnego, a jak im się nie powiedzie to dopytuję odpowiednich  partii materiału.

To jakie typy zadań pojawiają się na egzaminie jest całkowicie jasne. Proszę przejrzeć na stronie Katedry  przykłady arkuszy egzaminacyjnych. Innych typów zadań niż tam wymienione na pewno nie będzie.

Nie organizujemy nigdy egzaminów przedterminowych. 

Niemożliwe. Na tle jakiego przykładu sformułowałeś to pytanie ?  

Oczywiście, że jest możliwa. Twój przykład jest prawidłowy - to błąd koła bezpośredniego. Przykład na koło pośrednie: Zboże to żyto, pszenica, jęczmień i owies. Pszenica to zboże służące do wyrobu bagietek.

W moim przekonaniu odpowiedź "Prezes PO jest obecnym premierem" jest odpowiedzią wprost. Pytanie bowiem nie wymaga podania nazwiska, ale wskazania osoby.

Nota bene ustalenie stosunków zakresowych pomiędzy nazwami oznaczającymi różne rodzaje odpowiedzi ma sens tylko wtedy, gdy chodzi o odpowiedzi na jakieś określone pytanie, a nie in abstracto. I tak np. nie ma sensu pytanie: jaki jest stosunek zakresowy pomiędzy nazwami "odpowiedź całkowita", "odpowiedz częściowa", gdyż jedno i to samo zdanie może być odpowiedzią całkowitą na określone pytanie i odpowiedzią częściową na inne pytanie. Ma sens natomiast pytanie " jaki jest stosunek pomiędzy nazwami "odpowiedź całkowita na pytanie X" i "odpowiedź częściowa na pytanie X" - o ile za x podstawi się to samo pytanie.

Trochę cierpliwości, będę o tym mówił pod koniec semestru.

izmo wszystko odpowiadam na stronie, bo temat jest ważny.

Zagadnienie istnienia desygnatów nazw abstrakcyjnych jest sporne. Proponowalem przyjąć, że przynajmniej niektóre z nichy (nie wszystkie - np. kwadratura koła) to nazwy mające desygnaty z bardzo praktycznego względu. Nzawa "liczba" jest nazwą abstrakcyjną, a przecież intuicyjnie trudno nam uznać, że ta nazwa nie ma desygnatów. Spór może natomiast dotyczyć np. istnienia desygnatów nazw abstrakcyjnych oznaczających wartości. Czy nazwa "sprawiedliwość" ma desygnaty ? Jak je odnaleźć, o ile istnieją? Czy nazwa "piękno" ma desygnat?. W tej mierze w metaetyce istnieje spór pomiędzy różnymi stanowiskami (np. obiektywizmem i subiektywizmem,  realizmem a antyrealizmem itp.).

Kwestia istnienia czy nie istnienia desygnatów nazwy to nie jest kwestia przekonań ludzkich. Wszyscy mogą być przekonani, że coś istnieje, ale mogą też być w błędzie (np. przez długi czas ludzie byli przekonani, że istnieją wilkołaki i wampiry).  Zatem to, że niektórzy ludzie wierzą w istnienie krasnoludków nie przesądza ani o tym że one istnieją, ani o tym, że nie istnieją.

Umyślnie nie rozważam przykładów dotyczących istnienie Boga, bo nie chcę urazić niczyich uczuć (zarówno wierzących, jak i ateistów).

Nie wiem skąd się wzięło to pytanie. O podprzeciwieństwie  zdań jeszcze nie mówiliśmy (na razie tylko o podprzeciweństwie nazw). To zagadnienie pojawi się w związku z kwadratami logocznymi. Zdania podprzeciwne to zdania, które mogą być zarazem prawdziwie, a nie mogą być zarazem fałszywe.

Wypowiedż "coś jest ładne" interpretuje jako, istnieje takie x, że x jest ładne. Podobnie z "coś jest brzydnie" . Po pierwsze powstaje pytanie czy te zdania jako ocenne mają w ogóle wartość logiczną, a po drugie jak ją mają, to oba mogą być fałszywe, oba prawdziwe, albo jedno prawdziwe a drugie fałszywe.

Oczywiście stosunek przeciwieństwa. Nazwy te przecież nie mają wspólnych desygnatów.

Dobre pytanie. Myślę, że najłatwiej znaleźć taki przykład w nawach złożonych : np." prawo Ohma" . Wedle koncepcji przedstawionej na wykładzie jest to nazwa indywidualna, a przy tym na pewno abstrakcyjna.

Nie przez USOS. W odpowiednim czasie (na co najmniej cztery tygodnie przed terminem) będzie informacja  na stronie Katedry.

wedle informacji przekazanej mi przez Prof. Andrzeja Grabowskiego, wszyscy studenci niestacjonarni zarejestrowani na przedmiot otrzymali takie informacje przez e-mail. Sprawdź swoją skrzynkę.

TGS

Przysługują oczywiścię  dwa podejścia w  sesji letniej, łącznie ze studentami pierwszego roku. Dodatkowo proponujemy termin w grudniu dla warunkowiczow, ale na zasadzie dobrowolnosci. Konieczne jest zapisanie sie na przedmiot w USOS

My radzimy zapisywać jako nie-p, ale oba zapisy uznajemy przy egzaminie

Odpowiedź jest prosta. Skoro głównym funktorem formuły jest negacja, to trzeba wpisac  0 pod ta negacją, a 1 pod głównym funktorem całego nawiasu, do którego negacja się odnosi.  Wedle mojej pamięci funktorem tym jest równoważność. Równowazność jest prawdziwa przy układzie 1 1 oraz 0 0. Zatem te dwa warianty należało zbadać. Prawdę powiedziawszy nie bardzo widzę na czym polega tu szczególna komplikacja, ale zgodnie z obietnicą będę na to zadanie patrzył bardzo liberalnie.

Wezmę to pod uwagę przy poprawie.

Masz rację, jest to zapewne relacja niespójna, jeżeli zalożymy, ze w zbiorze, w którym jest okreslona są ludzie mający takie samo IQ.

Istotnie, pominąłem dwa pytania (zadane w piątek wieczór i sobotę)  , bo przeoczyłem je w powodzi maili. Jeżeli jeszcze na jakieś inne nie odpowiedziałem, proszę o wiadomość. Nie dokonuję żadnej selekcji. Na te pominięte pytania już odpowiedziałem. Nota bene wolałbym, aby przypominano mi o braku odpowiedzi w nieco innym tonie.

Masz rację, udzieliłem błędnej odpowiedzi. Jak fałszywe jest zdanie M~p, to prawdziwe jest Kp, fałszywe Mp i fałszywe K~p.  Zwróć jednak uwagę na przekształcenie. Zdanie "Musze  się uczyć" przekształcamy na de dicto "Konieczne , ze zacznę się uczyć" , a nie "konieczne, że musze zacząć się uczyć".

Dla celów przeprowadzenia dowodu na egzaminie nie ma potrzeby stosowania w drugą stronę żadnych innych.

To pytanie ma sens wtedy gdy dotyczy okreslonej nazwy. Każda treść językowa nazwy A jest treścią charakterystyczną tej nazwy, ale nie na odwrót. Żadna treść językowa nie jest treścią pełną. Resztę musisz sam rozkminić.

A dlaczego uniwersum jesy wyczerpane ? "Donald Tusk" nie jest ani "nie- nazwa indywidualną, ani nie jest nazwą pustą.

mówiłem o tym na wykładzie, że przydawka "fałszywa" w takim kontekście to przydawka modyfikująca. Żadna przyjaźń nie jest fałszywą przyjaźnią, ale z tego nie wynika, że fałszywa  przyjaźń nie istnieje.

To nie jest tak. "nie-nazwa ogólna" to wszystko to, co nie jest nazwą ogólną. "miłość" to zapewne nazwa ogólna, choć to może być sporne. Lepiej ustal stosunek zakresowy "nazwa ogólna" , "nazwa abstrakcyjna", a potem dopełnij do uniwersum.

Dlaczego fałszywa przyjaźn ma być A'B - przecież to nazwa generalna. A dlaczego to nazwa ma być pusta? Zamiast tego daj "Zeus" . reszta jest OK.   

a ja nie widzę błędu

Brawo, jest to  git rozwiązanie.

Chyba poprzednio coś zle napisałem : nie jest przeciwspójna. Jest zapewne niespójna, gdyż pomiędzy pewnymi elementami zbioru zachodzi w jedną lub drugą stronę (Jan jest inteligentniejszy od Piotra), a pomiędzy innymi nie zachodzi (jak Ewa i Marcin są jednakowo inteligentni. przemysl pojęcie spójności.

Oba rozwiązania zostałyby uznane

w tym celu muszę pójść do Katedry i odnaleźć pracę egzaminacyjną. Nie prowadzimy żadnych wykazów.

Przeciwienstwo

Powinność w języku prawa zawsze  oznacza obowiązek, a nie zalecenie. Zatem nie masz racji. 

Tak, w terminach oglądania prac z egzaminów wrześniowych. Śledź informacje na stronie Katedry.

Jest to nazwa pusta, a przy tym ostra. Jest to nazwa ostra, gdyż nie istnieją takie przedmioty, co do których użytkownik języka miałby wątpliwość, czy należą one do zakresu nazwy. Na wykładzie podawałem przykład z sympatycznym krasnoludkiem. W tym sensie wszystkie nazwy poste sa ostre.  

1. W moim przekonaniu masz racje, tez bym tak to rozwiązał

2. To jest tez nieadekwaność w postaci tzw przesunięcia kategorialnego (pomiędzy definiendum a definiensem jest stosunek przeciwieństwa).

ta reguła z podmiotem domyślnym nie jest bezwzględna; gdyby negacja miała dotyczyć całej koniunkcji, to odnosiłaby się do czegoś takiego: "Jan jest prokuratorem, chociaż jest prawnikiem"; byłoby to bez sensu

kontekst może narzucać nam określoną formalizację - była o tym mowa na ćwiczeniach

przyjmij, ze zagadnienie stylizacji dotyczy tylko definicji równościowych.

tak, bo sa tacy ludzie którzy sami siebie szanują i są tacy, który sami siebie nie szanują.

tak, jak najbardziej

Na takie pytanie niedawno odpowiadałem Przejrzyj odpowiedzi.

abstrakcyjna

"tylko" wskazuje, ze jest to implikacja intensywna, a zatem należy zamienić poprzednik z następnikiem. p jest zatem na pewno następnikiem. Z kolei w poperzedniku jest implikacja "o ile..". Nie ma tam wyrazu "tylko", a zatem q jest poprzednikiem a r następnikiem. Zatem poprawna jest Twoja propozycja nr 3.

Nie bardzo rozumiem na czym polega Twoja trudność . To co pisze p. Grabowski dotyczy wyłącznie tej określonej dyrektywy: wniosek może być ogólny tylko gdy obie przesłanki sa ogólne. Ta dyrektywa nie wyklucza tego, ze mamy dwie przesłanki ogólne a wniosek szczegółowy. Zatem przy entymemacie jak wniosek jest szczegółowy, to może być tak, że obie przesłanki  są ogólne. Nie możemy zatem na podstawie tej dyrektywy wyeliminować ogólnej przesłanki. Ale tu chodzi o ilość, a nie o jakość. Jakości brakującej przesłani (tj tego czy jest przecząca czy twierdząca) dotyczy inna dyrektywa.  Oczywiście przy przeczącym wniosku o ile znana nam przeslanka jest twierdzaca, to to której szukamy musi być przecząca.

Z tym przekształceniem jest coś nie tak. Jak masz zdanie modalne "musze zacząć się uczyć", to w stylizacji de dicto zdanie to brzmi "konieczne, że zacznę się uczyć", a nie tak jak Ty piszesz "konieczne, że muszę zacząć się uczyć". Przeformułowanie na de dicto powoduje, że wyraz "muszę " znika (bo jest zastąpiony operatorem "konieczne, że "  Zatem zdanie sprzeczne, to "możliwe, że nieprawda, że zacznę się uczyć. Jeżeli to zdanie jest fałszywe, to możesz ustalić tylko tyle, że zdanie "konieczne, że zacznę się uczyć" jest zdaniem prawdziwym. "    

Wnikliwe pytanie. Co do zasady masz rację, definicja indukcyjna także może być falszywa, a skoro nie jest równościowa, to trudno mówic o adekwatności. Gdybyś trafił na takie pytanie i dał takie uzasadnienie, to na pewno uznamy odpowiedź za prawidłową.

Uff, trochę namieszałeś, bo wziąłeś przykład typu, który nie był przerabiany na wykładzie. . Przekształcenie na de dicto jest prawidłowe. Jeżeli zdanie brzmi ~Dp , to zdanie sprzeczne z nim to ~~Dp  (sprzeczne są zdanie i jego negacja). Jeżeli to zdanie ma być fałszywe, to ~Dp jest prawdziwe, a zatem Dp fałszywe  i od tego trzeba zacząć. Ale nie przejmuj się tym, czegoś takiego nie będzie na egzaminie.  

Masz zapewne na myśli jako możliwe wnioski przy takim układzie przesłanek AeS i AoS (a nie AaS)

Musimy wyeliminować AoS, bo jak zauważyłeś raki wniosek rozkłada S, który nie jest rozłożony w przeslance większej. Zatem jak pierwsza przeslanka jest większa, to wniosku nie da się wyprowadzić i trzeba pierwsza potraktować jako mniejszą.

1. Można twierdzić, że podziałem logicznym jest tylko taki podział, który jest zupełny i rozłączny. Wtedy byłaby to równoważność. Ale nie przejmuj się tym, bo z uwagi na tę niejasność takiego pytania nie będzie.

2. mam pewne wątpliwości co do A'B' - wołałbym przykład "Archanioł Gabriel" .  Harry'ego Pottera co prawda nie ma, ale gdyby istniał, byłby konkretnym przedmiotem,

Zgadam się, że jest to na pierwszy rzut oka stosunek przeciwieństwa, sprawa jest jednak bardziej skomplikowana. To czy podział jest naturalny czy sztuczny zależy od przyjętego punktu widzenia i celu, dla którego podział jest przeprowadzany (np. urodziny w dzień lub w nocy mogą być istotne z punktu widzenia jakiejś religii) . Może zatem istnieć podział, który z jednego punktu widzenia jest naturalny, ale z innego sztuczny. Zatem takiego pytania nie będzie na egzaminie.

Dobre pytania

1. zdanie modalne może być analityczne. Np. Jeżeli konieczne, że p to możliwe, ze p. To jest prawo logiki modalnej, a zatem jego prawdziwość opiera się tylko na znaczeniu "konieczne" i "możliwe".  Podział ten dotyczy wszystkich zdań w sensie logicznym, a nie tylko asertorycznych,  

2. To kwestia konwencji. Istotnie w tym roku mówiłem, że zdanie analityczne to zdanie prawdziwe na mocy znaczenia użytych w nich wyrazów, a zdanie wewnętrznie sprzeczne to zdanie fałszywe na mocy użytych w nich wyrazów. Zatem przyjmij przeciwieństwo

3. Przyjmij, że definicja projektująca nie jest zdaniem w sensie logicznym. Ale to też oczywiście zależy od stanowiska filozoficznego - niektórzy uważają, że definicja taka jest prawdziwa na mocy ustanowienia (a więc wszystkie projektujące sa prawdziwe).  

Pierwsze i drugie jest OK.

Trzecie - źle,  wniosek jest twierdzący (mylnie zapisany przez Ciebie jako PoW). Czy zatem przesłanka może być przecząca?

Pamiętaj też, ze trzeba podać jaka dyrektywa co eliminuje.

Zastanów się nad tym, jaki termin jest rozłożony we wniosku, a zatem musi być także rozłożony w przesłance. Wniosek rozkłada Z. A czy w proponowanej przez Ciebie przesłance Z jest także rozłożone?

Istotnie jest tak, że tylko odpowiedź całkowita wprost uznawana  jest za odpowiedź właściwą.

Dziwne zadanie. "bądź ..bądź" zinterpretowałeś jako dysjunkcję. Wiem, ze niektóre źródła tak podają, ale ja mam wątpliwości. W zadaniach egzaminacyjnych unikam zatem "bądź..bądź", aby nie robić zamieszania. Dla mnie to raczej alternatywa rozłaczna.  Dla porządku przed p dodałbym negację. W tym przypadku nie ma to znaczenia, jako że to zdanie występuje tylko raz, ale taka jest zasada (inaczej łatwo się pomylić).

Ponadto na egzaminie nie pojawiają się takie zdania,  zaczynające się od "albo" , przy których pierwszy składnik alternatywy to poprzednie zdanie.

jest spoko

Gdybym uznał, że w takim przypadku (ndst w terminie wrześniowym) nadal liczy się nota pozytywna z terminu czerwcowego, to wtedy każdy bez żadnego ryzyka  podchodziłby po raz drugi do egzaminu, a my mielibyśmy kilkaset prac więcej do poprawny. Sorry Gregory, ale liczy się ostatnia nota. 

Odwrotne stosowanie  możliwe jest wtedy gdy prawa  są równoważnościami, a nie implikacjami. (np.  ZIA ZIK, i niektóre inne). Wszystkie zadania da się jednak rozwiązać bez stosowania odwrotnego. 

Przypominam jeszcze, ze wszelkie reguły i prawa możemy stosowac tylko do całego wiersza, a nie fragmentu wiersza

Tu będzie tylko jedno założenie

((q∧p) ∧ (~p -> ~q))

Nie wprost zadanie jest bardzo proste

wystarczy zastosować OK do założenia, następnie OK do q^p, ON do ZDNW i po zastosowaniu MPP, dostaniemy ~q i już mamy sprzeczność.

To pierwsze jest całkowicie prawidłowe. Jak masz koniunkcję (dwu lub  wieloczłonową,) to każdy czynnik tej koniunkcji możesz wpisać jako osobny wiersz na podstawie OK.

Co do drugiego : musiałbym zobaczyć całą formułę. Jeżeli to ~(p→~q) jest następnikiem jakiejś kolejnej implikacji, to z uwagi na negację przed nawiasem nie masz już implikacji, będącej następnikiem poprzedniej, tylko masz negację implikacji, a więc nie możesz wpisać  żadnego założenia, ewentualnie tylko ~~(p→~q) jako ZDNW . Ale potarzam, musiałbym zobaczyć całą formułę.

Nie do końca rozumiem pytanie. Jak mamy jakiś wiersz dowodu, to możemy do niego zostosować odpowiednie reguły. Nie można jednak stosować reguł do fragmentu wiersza, ale zawsze do całego wiersza. Może daj jakiś przykład, to będzie może  łatwiej mi wyjasnic.

Oczywiście.Nie mam możliwości sprawdzenie w tej chwili , więc nie jestem pewien czy uczyliśmy reguły dodawania poprzedników implikacji. Jeżeli nie, to dowód musi być nie wprost  i jest banalny. Zatem potrzebne jest jeszcze ZDN

Sądzę, że masz na myśli zdania analityczne ( a nie analogiczne, bo o takich nie słyszałem). Otóż oczywiście, ze nie jest to stosunek niezależności. Zdanie analityczne to zdanie prawdziwe na mocy samego znaczenia użytych wyrazów  ("trójkąt ma trzy boki"). Zdania wewnętrznie sprzeczne to zdania fałszywe na mocy samego znaczenia użytych wyrazów ("Trójkąt ma cztery boki"). Zdania syntetyczne to wszelkie inne (tj takie, które nie są ani analityczne, ani wewnętrznie sprzeczne ("Dziś świeci słońce")  .  Sam teraz rozkmiń, jaki jest prawidłowy stosunek zakresowy.

Nie wiem tylko co to są te "deskrypcje" w A'B' . Jako przykład daj "najwyższa góra świata" czy coc w tym rodzaju. Reszta jest git.

Drogi Kolego,

Do egzaminu obowiązuje to, co mówiłem na wykładzie. Nie wspominałem o nazwach pustych o intencji jednostkowej i ogólnej (odpowiednio: najweselszy krasnoludek i krasnoludek). Zatem nie zaprzątaj sobie tym głowy. Dla nas nazwa putta to taka, które nie ma desygnatów, a jednostkowa to taka która ma dokładnie jeden desygnat,. Zatem nie na nazw pustych i jednostkowych równocześnie, a nazwa "pusta nazwa jednostkowa" to nazwa pusta. Zapamietaj też, że przy naszej definicji nieostrości nieostre mogą być tylko nazwy ogólne.

Nota bene nie rozumiem dlaczego nazwa "inteligentny kolega Harry'ego Pottera" nawet przy uwzględnieniu zagadnienia intencji miałaby być nazwą jednostkowa.

Tak. Jeżeli brakuje jakiegoś wpisu to proszę o mail na t.gizbert-studnicki@uj.edu.pl

Git

Masz wykreslic, ale z innego powodu. Jak obie przesłanki są twierdzący, to wniosek nie moze być przeczacy. Natomiast nie ma takiej dyrektywy, ze termin rozłożony w  przeslance musivcbycrozłożony we wniosku.

na których ćwiczeniach? oczywiście jeśli w zadaniu jest mowa o tym, ze jako większą przyjmujemy pierwszą - to właśnie tę pierwsza przyjmujemy jako większą. Tzn kierujemy się treścią zadania. I sprawdziłbym notatki z ćwiczeń - najlepiej kolegów i koleżanek.

Cos pomieszałeś. Pomiędzy AaP i AeP nie ma alternatywy tylko dysjunkcja. Zatem jak AaP jest fałszywe, to nie możemy wnioskować o wartości AeP.

Informacja w tej sprawie będzie jutro (tj we środę 26 czerwca) na stronie Katedry

Przykład jest git.

Na to pytanie wielokrotnie odpowiadałem. Tak, "sąsiad Donalda Tuska"

Oczywiście , że musisz. Równoważność jest tautologią, jeżeli obie te implikacje są tautologiami. Natomiast jeżeli już w pierwszej nie otrzymasz sprzeczności, to możesz na tym poprzestać, bo to oznacza, ze ta implikacja nie jest tautologią, a zatem także równoważność nie jest tautologią.

Jak powiedziałem, w przypadku uzasadnionego powodu chętnie zgodzę się na zmianę grupy.  Wiele osób do mnie w tej sprawie pisało i wszystkim wyraziłem zgodę.

"Chyba po to są dwie grupy, żeby każdy zarejestrował się na tę, która mu bardziej pasuje" . Otóż nie, dwie grupy są po to, aby nam ułatwić organizacje egzaminu , a studentom umożliwić zdawanie egzaminu w miarę komfortowych warunkach, bez tłoku, zaduchu i przepychania się.  Na pierwsza ture zapisało się prawie 200 studentów, zatem sala byłaby zatłoczona. Wydaje mi się że przeprowadzmy egzamin w sposób możliwie najbardziej przyjazny dla studentów, nie stosujemy sankcji za nie stawienie się na egzamin, rozpoczynamy punktualnie i punktualnie poprawiamy prace. Niedogodność  stawienia się na godz 10.30 (pomimo, ze ktoś lubi długo spać) nie wydaje mi się okolicznością, którą powinnismy brac pod uwagę. 

Niedawno rozmawiałem o tym z dr Araszkiewiczem. Z uwagi na to, że sami nie mamy pewności, uznawaliśmy przy pierwszym terminie obie odpowiedzi (oczywiście w odniesieniu do zdań). .

Dobre pytanie:  staje się nim dopiero po zrekonstruowaniu brakującej przesłanki.

zamknięte

Miłość 

Ja nie używam określenia "wnioskowanie enumeracyjne"  . Jak mowa o indukcji, mamy na myśli zarówno zupełną, jak i niezupełną. Mówilismy na wykładzie tylko o indukcji enumeracyjnej i znajomość tego rodzaju wnioskowania was obowiązuje . O indukcji eliminacyjnej tylko wspomniałem.

Moim zdaniem Twój przykład jest dobry - jest to odpowiedź częściowa na wieloczłonowe pytanie rozstrzygnięcia.

Usiłowałem pracowicie, ale chyba bezskutecznie wyjaśnić co następuje. Jezlei jest to definicja nominalna sprawozdawcza, to ma opisywac znaczenie wyrazu "tramwaj" w języku polskim. W języku polskim "tramwaj" nie znaczy "pojazd szynowy" , zatem definicja t podaje błędnie znaczenie tego wyrazu. Facit: definicja ta jest fałszywa.  Jeżeli to zdanie nie jest definicją nominalna, top jest prawdziwe.

Proszę o kontakt ze mna na adres t.gizbert-studnicki@uj.edu.pl

Najpierw trzeba wyprowadzić negację przed zdanie - Nieprawda, że ludzie musza głosować w wyborach. Potem przekształcić  na de dicto - nieprawda, że nakazane, że ludzie głosują w wyborach. Zatem ostatecznie mamy ~Np 

Pojęcie relacji porządkującej zdefiniowane jest przez odniesienie się do zagadnienia symetryczności (musi być przeciwsymetryczna), przechodniości (musi być przechodnia) i spójności (spójna - mocno porzadkuje, niespójna- słabo).  Zwrotność tu nie ma nic do rzeczy i prawdę powiedziawszy nie chce mi się zastanawiać, czy taka relacja może istnieć.

Git

Podział nazw na puste, jednostkowe i ogólne oparte jest na kryterium ilości desygnatów. Dość pracowicie wyjaśniałem na wykładzie, jakie wątpliwości budzi ten podział ( z semantycznego punktu widzenia)  i na jakich założeniach ontologicznych jest oparty. Nie będę tego powtarzał. Przyjmij, że skoro krasnoludków nie ma, to nazwa krasnoludek jest nazwą pustą.

szczerze, to nie chce mi się tego obliczać.

Odnosi się do nominalnych.  Wszystkie definicje na egzaminie traktuj jako nominalne, nawet jak są w stylizacji przedmiotowej.

Formalizacja jest dobra. Zamieszczamy Kp tam gdzie jest jego miejsce, a skoro  zdanie "~ Kp" jest fałszywe, to Kp jest 1. 

zapewne nazwa "kolega": ma pewien stopień nieostrości (jak odróżnic kolegę od znajomego?), a zatem kolega Joanny Krupy też.

Tak, bo z definicji nie istnieje taki przedmiot, co do którego mamy wątpliwości czy jest desygnatem tej nazwy. Jak nazwa nie ma desygnatów, to także nie ma wątpliwych desygnatów.  To jest konsekwencja przyjętej definicji nieostrości. Jak nie ma krasnoludków, to także nie ma sympatycznych czy łysych krasnoludków.

Oczywiście, np. "łysy człowiek"

1. Tak:

Czy zdaleś egzamin z logiki? Rozchorowałem się

2. To przeciwieństwo i nadrzędność

Wyjasnialem towiele razy. Jezeli  dowód będzie poprawny to ilośc kroków nie ma znaczenia

Drga Koleżanko,

Zadaje Pani to pytanie korzystając z modułu "pytania" na stronie internetowej Katedry. Zatem wie Pani co to jest Internet i wie Pani, że Katedra ma stronę internetową. . Na tej samej stronie od początku marca widnieją terminy egzaminów z logiki. Czy naprawdę nie potrafi Pani ich znaleźć? Podpowiem: trzeba otworzyć zakładkę Dydaktyka, potem logika dla prawników i trzeba na tej podstronie zejść troch ę niżej, aby zobaczyć terminy. Czy to jest takie trudne?

Oczywiście niesymetryczna zpowodu podanego przezCiebie

Oczywiście to pierwsze

Każda odpowiedź jest zdaniem w sensie logicznym. Nawet jak na pytanie rozstrzygnięcia odpowiadam tylko "tak" lub "nie" to jest to skrót zdania "tak, Ewa zdala egzamin" itp.

Niepoprawnie. Na wykładzie długo wyjaśniałem, dlaczego przy przyjętym przez nas pojęciu nieostrosci nazwa jednostkowa nie może być nazwą nieostrą. 

OK

To samo zdanie moze być odpowiedzią prawdziwa lub właściwa na jedno pytanie, a fałszywa i niewłaściwą na inne. Zatem tak postawione zagadnienie nie ma sensu,sopockiej nie zretywizuje siodpowiedzi do określonego pytania.

Wszystko co piszesz jest prawda. 

Każdy dychotimiczny jest dwuosobowy, a nie każdy dwuosobowy dychotimiczny. Np podział studentów na stacjonarnych i zaocznych jest dwuosobowy, ale nie dychotimiczny.

Co  do drugiego pytania nie całkiem o to chodzi, ale przyjmie, ze tylko nazwy ogólne mogą być nieostre

Oczywiście, ze zdanie syntetyczne moze być prawdziwe lub fałszywe.

Pierwsze zdanie nie poddaje się interpretacji jako denotyczne. Drugie to"nieprawda, ze flecisci mogą grać, a zatem nieprawda, ze dozwolone, ze p . Trzecie"nieprawda, ze ludzie muszą..." a zatem nieprawda, ze nakazane ze p 

Oczywiście, jak takiego zdania nie ma, to tak napisz. 

Nie. Spostrzeglem, ze chodzi o zdania denotyczne. Niektóre zdania z "musi" i "moze" są pod tym względemdwuznaczne. Pierwsze z przykladowych zdań zreszta trudno zinterpretowane jako denotyczne.  Sprawdze jeszcze raz (teraz mam słaby dostęp do sieci)i napisze czy interpretacja denotyczne jest wlasciwa

Sprawa jest prosta. relacja jest spójna w danym zbiorze, jeżeli zachodzi pomiędzy każdą para elementów tego zbioru w jednym lub drugim kierunki. Zatem najniższy żołnierz nie musi być poprzednikiem relacji, może być jej następnikiem.

Chyba tak. Przykład 2 jest niejednoznaczny. Takich zakręconych nie będzie przy egzaminie.

1. Konieczne, ze każdy czasem sypia

2. Konieczne, że nieprawda, że fleciści grają na akordeonach

3.  Nieprawda, że konieczne, że ludzie głosuja w wyborach

Jak niedawno wyjaśniałem,  z wnioskowaniem dedukcyjnym mamy do czynienia zawsze wtedy, gdy wniosek wynika logiczne z przesłanek, niezależnie od wartości logicznej tych przesłanek. Zatem niektóre wnioskowania dedukcyjne maja fałszywe przesłanki. Reszty domyślcie się sami.

Droga Koleżanko,

Gdyby  pofatygowała się na ostatni wykład mój lub prof. Grabowskiego albo zapytala kolegów, nie musiałbym zajmować się tym pytaniem.

Relacja jest pojęciem abstrakcyjnym. Nawet jak w jakimś zbiorze nie zachodzi pomiędzy żadną parą elementów (jest w tym zbiorze przeciwspójna) , to jako pojęcie abstrakcyjne nie przestaje istnieć.

Dociekliwe pytanie. Przyjmij, że jak pytamy o podział logiczny, to chodzi nam zawsze o poprawny podział logiczny.

Natomiast gdy pytamy o wnioskowanie dedukcyjne, to chodzi nam o takie wnioskowanie, w którym wniosek wynika logicznie z przesłanek. Zatem wnioskowaniem dedukcyjnym jest nawet takie, w którym przesłanki są fałszywe, o ile z tych przesłanek wniosek wynika logicznie. Wnioskowanie z błędem materialnym (fałszywa przesłanka) jest wnioskowaniem dedukcyjnym, o ile zachodzi wynikanie logiczne. .

Droga Koleżanko,

Gdybyś pofatygowała się na ostatni wykład mój albo prof. Grabowskiego, względnie chodziła na ćwiczenia albo zapytała kolegów, nie musiałbym się zajmować tym pytaniem.

Zapewne masz wiele racji. Problem czy odpowiedz nie wprost jest odpowiedzia własciwa czy nie nie spędza mi jednak snu z powiek. Jeżęli chcesz tę kwestię przedyskutować, to skontaktuj się z prof. Grabowskiem, który teorię pytań wykładał.  Przykro mi, że Cię w ten sposób zbywam - wszak masz prawo zadawać wszelkie pytania i domagać się odpowiedzi. Ja jednak obecnie musze się zając układaniem zadań na egzaminy, innymi egzaminami, pracami magisterskimi itp. i nie mogę poświęcić więcej czasu na te kwestie.

Uff. Zowu dużo pytań. Definicja regulująca nie może być projektująca i na odwrót. Albo za pomocą projektującej wprowadzamy nowy wyraz do języka, albo za pomocą regulującej eliminujemy wieloznaczność lub nieostrość. Naturalnie, jak definicja projektująca się przyjmie, to tak samo brzmiąca definicja będzie  sprawozdawczą. Zawsze jednak bierzemy pod uwagę moment formułowania definicji i intencje osoby formułującej.

Duzo kwestii. Definicja legalna może być także definicją projektującą. Czasami zdarza się, że w ten sposób prawodawca wprowadza nowy wyraz lub wyrażenie. Sądzę jednak, że definicje legalne sa zawsze nominalne. Zadaniem prawodawcy nie jest bowiem zdefiniowanie rzeczy, ale wyrażenia.

Proszę przyjąć, że wszystkie znane wam podziały definicji dotyczą definicji nominalnych, a nie realnych. Musiałbym napisac parę stron, aby to wyjaśnić.

Nie jestem pewien czy dobrze rozumiem pytanie. W moim przekonaniu wystarczy spełnienie wymagań składniowo-formalnych. Kwestia scislości czy dokładności jest oczywiście ważna, ale nie wpływa na status odpowiedzi z punktu widzenia logiki pytań.

Uf. Strasznie jesteś dociekliwy, co oczywiście nie jest zarzutem, lecz pochwałą. . Oczywiście kwestię te można różnie ujmować. Moje wyjaśnienie oparte było na konspekcie wykładu prof. Grabowskiego. W moim przekonaniu jeżeli z odpowiedzi nie wprost wynika odpowiedź własciwa, to odpowiedź nie wprost nie jest tożsama z odpowiedzią właściwą. Aby wyprowadzić z niej odpowiedź właściwą, musimy dysponować odpowiednią wiedzą (bo "wynika" oznacza "wynika na podstawie naszej wiedzy").

Kwestie tego rodzaju są nierelewantne z punktu widzenia wymagań egzaminacyjnych, ale chwała Ci za to, ze myślisz i  nie dajesz się zbyć każdą odpowiedzią. Krytyczne myślenie to podstawa sukcesu.  

Na to pytanie już odpowiedziałem.

Przeprowadzenie tego dwodu wymaga zastosowania reguły (bodajże dodawania poprzedników implikacji), której od kilku lat nie wymagamy. Zatem nie przejmuj się tym zadaniem.

Takie jak inne definicje: : objasniaja znaczenie, względnie nadaja znaczenie lub regulują. Podział z uwagi na budowę nie ma związku z podziałem pod względem funkcji, ż tym, że definicje cząstkowe sa zawsze regulujące (rzadko projektujące).

lepiej podac zbiór, chyba, że będzie to oczywiste o jaki chodzi.

Dziś sa same trudne pytania, ale postaram się. Jak sądzę, prof. Grabowski ujmował rzecz ta: odpowiedź całkowita nie wprost to odpowiedz, z której wynika odpowiedź własciwa. Zatem odpowiedzi nie wprost (nawet całkowite) nie są odpowiedziami wlasciwymi. Z kolei odpowiedź częściowa to odpowiedz pozwalająca na wykluczenie niektórych odpowiedzi właściwych. Z tego tez wynika, ze odpowiedź częściowa nie jest odpowiedzią właściwą.

Ciekawe i dociekliwe pytanie. Ziembiński uważa, ze wypowiedzi niezupełne nie są zdaniami w sensie logicznym. Ja mam bardziej liberalny pogląd: jeżeli takie wypowiedzi rozpatrujemy w określonym kontekście , to zwykle można im przypisać wartość prawdy lub fałszu, bo kontekst uzupełnia brakujące elementy wypowiedzi. Olbrzymia większość wypowiedzi języka potocznego to wypowiedzi niezupełne, ale mimo wszystko potrafimy się komunikować. Nie rozważaj w tym kontekście zagadnienia stosunków zakresowych, po jakbyśmy takie zadania dawali, to zapewne niewiele osób by zdało.

UF, trudne pytania, ale się postaram. Definicja cżąstkowa jest rodzajem definicji regulującej, a odznacza się tym, ze tylko częściowo usuwa nieostrość. Zatem problem adekwatności w ogólne nie powstaje. Przykład z feminizmem nie podoba mi się, wygląda to po rostu na nieadekwatna definicje sprawozdawcza. Wolałbym takiprzyklad; feminizm to  stanowisko, zawierające zwykle  następujące poglądy (a), (b) (c) oraz odrzucające zwykle następujące poglądy(d), (e) i (f) . Nie jestem pewien, ale wydaje mi się , że taka definicja częściowo usuwa niestrość nazwy "feminizm".

Jak chcesz zdefiniować kontekstowo "liberalizm" to oczywiście możesz powiedzieć "osoba o poglądach liberalnych  to osoba...." . Oczywiście definicja przykladowa nie musi być adekwatna, gdyż nie jest to egzamin z doktryn politycznych, ale z logiki. Sprawdzamy umiejętność budowania definicji w różnych postaciach, a nie znajomość doktryn, geografii, biologii itp. .

Oczywiście, że nie. Zgodnie z regulaminem student ma prawo do dwóch terminów. Egzaminator tego nie może zmienić.

W tych kwestiach, które obejmują slajdy było tak niewiele zmian, że nie robiłem nowych. Proszę korzystać z zeszłorocznych - są w materiałach na forum.

Dobre pytanie. Istotnie masz rację. Jeżeli związki przyczynowe  wyznaczające konieczność dynamiczną opiszemy w postaci zdań, to z tych zdań będzie wynikało logicznie zdanie opisujące skutek (zwraca na to uwagę Ziembiński w swoim podręczniku).  Nie przejmuj się jednak staosunkami zakresowymi, bo takiego pytania na pewno nie będzie.

Ja bym to pytanie uznal raczej za otwarte, choć może to być wątpliwe. Zapewne w jakiejś mierze zależy to od intencji zadającego pytane: jakiej odpowiedzi oczekuje. Proszę się tym nie kłopotać, takich przypadków na egzaminie nie będzie.

Dobre pytanie. Dla prawników "Sejm RP" to nazwa chyba abstrakcyjna, bo przecież chodzi o instytucję, a nie o budynek. Ale w języku polskim to nazwa wieloznaczna, a w jednym ze znaczeń jest konkretna (Sejm=budynek). W prawniczym rozumieniu to chyba nazwa jednostkowa.

W cudzysłów winien być ujęty cały definiens, a nie tylko "zażenowanie". Przykład definicji kontekstowej" x popełnił wielki obciach to znaczy, że x wywołał zażenowanie występujące ..."

Przykład jest trochę osobliwy, ale na pewno to nie jest błąd czterech terminów. Ten błąd polega na tym, że termin średni w każdej z przesłanek występuje w innym znaczeniu (taj jak Twój przykład z rakietą).

W koncepcji nieostrości, którą przedstawiłem na wykładzie nieostre  mogą być tylko nazwy ogólne. Podany przez Ciebie przykład to nazwa jednostkowa. Możemy nie wiedzieć, która miłość jest najgorętsza, ale to kwestia wiedzy pozajęzykowej.

Nie wiem kakie wskazówki były przekazane na ćwiczeniach. Ja uznam zadanie nawet jak ktoś opuści podwójną negację.

Dlaczego tom miałaby być nazwa pusta? Definicja równościowa to definicja składająca się z definiendum, spójki definicyjnej i definiensa. Może być albo adekwatna lub nieadekwatna. A  jak jest definicją projektującą lub regulującą, to w ogóle nie powstaje kwestia adekwatności. Pomiędzy nazwa pusta a niepustą da się ustalić stosunek zakresowy, jest to zawsze podrzędnośc i przeciwieństwo. Tyle tylko, ze nie możemy narysować schematu, bo nie ma jak zaznaczyć zakresu nazwy pustej.

Tylko wtedy jak ustalisz wartość logiczną.

Zadajesz strasznie skomplikowane i abstrakcyjne pytania. Istotnie stosunek przeciwieństwa charakteryzuje się tym, że żaden desygnat nazwy A nie jest desygnatem nazwy B. Stosunek równowaności charakteryzuje się ty,, że nie istnieje taki desygnat nazwy A który nie jest desygnatem nazwy B i odwrotnie. W przypadku gdy zakresami nazw A i B sa zbiory puste, zachodzi jedocześnie jeden i drugi. To nie znaczy jednak, ze nazwy "stosunek przeciwieństwa" i "stosunek rownowaności" mają jakiekolwiek wspólne desygnaty, bo sa to nazwy abstrakcyjne. .

Radze zając się praktycznymi problemami, a nie takimi abstrakcjami, które na pewno na egzaminie się nie pojawią.

Jeli dla p=1 formuła ma wartość 0, to oczywiście to wystarczy, nawet jakby formuła było 0 także dla p=0.

Jeżeli nazwa A jest pusta, to pomiędzy nią a dowolna niepustą nazwa B zachodzi stosunek podrzędności (zbiór pusty zawiera się w każdym zbiorze) . Jeżeli natomiast nazwa A jest nazwa niepustą, a nazwa B jest pusta, to oczywiście pomiędzy A oraz B zachodzić będzie stosunek nadrzędności.

Jest relacja przechodnią. Nota bene mówiłem o tym wyraźnie na wykładzie.

Na ten temat mam chyba inne zdanie niż profesor Grabowski. Zakładam, ze chodzi o definicje nominalne (w stylizacji przedmiotowej). Otóż definicja nominalna (sprawozdawcza) podaje znaczenie wyrazu definiowanego w danym języku (tu: w języku polskim).  Jest prawdziwa o ile podaje trafnie to znaczenie i fałszywa jak podaje nietrafnie to znaczenie. Definicja 'Owczarek to pies rasowy" podaje nietrafnie znaczenie, bo w języku polskim "owczarek" nie znaczy "pies rasowy". Zatem moim zdaniem taka defi9nicja jest fałszywa. Gdybyśmy natomiast interpretowali to zdanie nie jako definicję nominalną, to zdanie byłoby prawdziwe.

Istotnie moja poprzednia odpowiedź była błędna. Za chwile ją sprostuję  Cieszę się, że jesteś dociekliwy i krytyczny.

Dla żadnych, bo niestety nie ma krasnoludków. Nazwa "słoń" jest nadrzędna do nazwy "krasnoludek", gdyż nie istnieją takie krasnoludki które nie są słoniami. Podobnie nazwa "ssak" jest nadrzędna do nazwy "student", gdyż nie istnieją tacy studenci, którzy nie są ssakami.

Ale masz problemy!!!! Oczywiście stosunek przeciwieństwa. Nie kłopocz się jednak takimi zagadnieniami.

Istotnie, miałem jakieś zaćmienie umysłowe i moja odpowiedź była błędna . Zgodnie z koncepcją przedstawiona przez prof. Grabowskiego pytania otwarte sa pytaniami dopełnienia. Odpowiedź moją za chwilę poprawię.  Gratuluje krytycyzmu i czujności.

[Zastanów się czy w ogóle może istnieć otwarte pytanie dopełnienia] uwaga: to była błedna odpowiedź.

Pytania otwarte sa pytaniami dopełnienia. Mam tylko zastrzeżenia co do AB': pytanie "Lubisz uczyć się logiki?" jest pytaniem roztrzygnięcia, a więc zamkniętym

Wydaje mi się, ze rozwiązanie jest proste: to jest pytanie otwarte, a odróżni9enie  o odpowiedzi całkowitych i częściowych odnosi się do pytań zamkniętych.

nie, nie jest to konieczne

Nie bardzo rozumiem. Także nazwy konkretne, takie jak "słoń" mogą być użyte w supozycji formalnej. Jak poprzednio pisałem jeżeli nazwa występuje w izolacji, a nie w zdaniu, to zawsze należy założyć, ze jest ona w supozycji formalnej, tzn odnosi się do wszystkich swoich desygnatów. Jak jest użyta w zdaniu, to może być albo w supozycji formalnej "słoń jest ssakiem" albo w prostej "słoń tańczy na linie" . W tym drugim zdaniu jest bowiem jasne, że chodzi o konkretnego słonia.

Nie jest to do końca ścisłe. Na pewno nazwa indywidualna może być nazwa pustą (Gargamel). Można uważać, że nazwa indywidualna nie może być nazwą ogólną, a tylko pustą lub jednostkową. . Gdy mówię bowiem "Jan Kowalski" zawsze mam na myśli konkretnego, jednego Jana Kowalskiego (a nigdy wielu na raz, zatem mogę tę nazwę użyć tylko w supozycji prostej, jako odnnoszącej się do jednego obiektu). Inaczej jest z nazwami hybrydowymi (sąsiad Jana Kowalskiego). Ja przyjmuje, że to jest nazwa indywidualna, gdyż sama znajomośc języka (znaczeń wyrazów) nie pozwala na identyfikacje desygnatów tej nazwy. Ale takie nazwy zatem mogą być nazwami ogólnymi (np. Jan Kowalski ma więcej niż jednego sąsiada)

To zależy od tego, czy załozenie pytania jest spełnione. In abstracto nie można tego rozstrzygnąć. Trzeba zatem napisać, jakie jest założenie tego pytania i odpowiedzięc, że pytanie jest wlasciwie lub niewłasciwie postawione w zależności od tego czy to założenie jest spełnione.

Przyjęliśmy (co może być kontrowersyjne), ze nazwy tzw hybrydowe np. "kolega Adama Małysza" traktować będziemy jako nazwy indywidualne. Jeżeli jakąś nazwę rozpatrujemy in abstracto (a nie w zdaniu), to zawsze traktujemy ja tak jakby była w supozycji formalnej. Zatem nazwa "kolega Adama Malysza" to nazwa ogólna (bo zapewne Małysz ma więcej niż jednego kolegę. Zarazem to nazwa indywidualna (bo zawiera imię własne). Obawiam się, ze mylisz dwa pojęcia: nazwa indywidualna i nazwa jednostkowa. To są zupełnie różne pojęcia.

Oczywiście, ze nie musza być takie same, bo inaczej nie mielibysmy wariantów. Nota bene, wystarczy wykazać, ze w jednym wariancie brak sprzeczności, a przez to pokazujemy, ze formuła nie jest tautologią. Zatem jeżeli już w pierwszym wariancie brak sprzeczności, to zadanie jest rozwiązane. Natomiast jak w pierwszym wariancie jest sprzecznośc, to trzeba badac dalsze warianty.

Nie brakuje. Nie przejmuj się jednak tym dowodem, bo jego przeprowadzenie wymaga znajomości pewnej reguły, której od dwóch lat nie wprowadzamy na ćwiczeniach (bo była dość nieintuicyjna). Zatem skoncentruj się raczej na przerabianiu przykładów podawanych na ćwiczeniach i w skrypcie TBSP - one na pewno wystarcza do zdania egzaminu.

Interesujące pytanie. Dla potrzeb egzaminu traktuj pytania jako właściwie postawione, chyba, że oczywiste jest, ze założenie pytania jest fałszywe (np. to z królem Polski). Jeżeli masz wątpliwości, to zawsze możesz napisać, że zakładasz, iż założenie pytania jest prawdziwe, a zatem pytanie jest właściwie postawione. Taką odpowiedź na pewno uznamy.

W swojej głowie

Zakres materiału jest taki sam. Arkusz egzaminacyjny ma nieco inną postać graficzna ze względu na różne wymagania egzaminatorów.

Na stronie Katedry, Logika, Zakładka przykładowe arkusze egazaminacyjne

Oczywiście, że trzeba. Odpowiedź taka jak proponujesz jest bez sensu (Formuła nie jest tautologią,  oprócz p=1 i r=0 ). Z tego wynika, ze dla p=1 i r=0 formuła miałaby być tautologią, a to dowodzi niezrozumienia pojęcia tautologii.  Także nie jest poprawne sformułowanie że dla jakiś wartości zmiennych formuła jest NT. Poprawnie trzeba powiedzieć, że formuła jest NT, gdyż dla takich a takich wartościowań ma wartość O. Jest to subtelna różnica, ale ważna.

Wystarczy otworzyć website Katedry, zakładka dydaktyka/logika/organizacja egzaminów aby przeczytać: "Obowiązują zapisy w USOS. Każdy student przystępuje do egzaminu w dowolnie wybranym przez siebie dniu. Przystąpienie do egzaminu po raz pierwszy w sesji wrześniowej nie wymaga zgody egzaminatora. Studenci stacjonarni nie mogą zdawać egzaminu w terminach dla studentów niestacjonarnych, a niestacjonarni w terminach dla studentów stacjonarnych."  Internet nie gryzie.

Nie, nigdy nie organizujemy egzaminów przedterminowych.

Co do pierwszego przykładu: mam wątpliwości czy "najlepszy student UJ" to nazwa generalna. Wszak UJ to nazwa indywidualna, a zatem "student UJ" yto nazwa hybrydowa, a takie nazwy zaliczyliśmy do indywidualnych. Lepszy przykład były "najwyższa góra świata"

Co do drugiego: dlaczego uważasz, ze "szatan" to nazwa indywidualna? Mógłbym się zgodzić, gdybyś napisał "Szatan" z dużej litery.  Troską napawa mnie to, ze nie wierzysz w istnienie szatana, skoro uważasz, ze to nazwa pusta. 

Problem polega na tym, że nie sposób ustalić stosunku zakresowego w takim przypadku, z uwagi na to, że jedno i to samo zdanie czasami może być odpowiedzią właściwą, a czasami niewłaściwą, czasami wprost, a czasami nie wprost, czasami całkowitą a czasami częściowa, w zależności od tego jakie pytanie rozpatrujemy. Zatem można ustalić stosunki zakresowe pomiędzy nazwami oznaczającymi różne odpowiedzi na to samo pytanie (z reguły to będzie przeciwieństwo), ale nie na różne pytania. Odpowiedz jest zawsze odpowiedzią na jakieś konkretne pytanie, a nie odpowiedzią "w ogóle". Nie można zatem scharakteryzować  jakiegoś zdania jako odpowiedzi, nie wiedząc o jakie pytanie chodzi. Nie przejmuj się zatem takimi problemami, bo one na egzaminie z opisanych wyżej względów się nie pojawia.

Sprawa może być sporna, ale ja bym uznał odpowiedx "Prezes PiS" za odpowiedź całkowitą wprost, bo przecież jest to to zdanie zbudowane wg. schematu odpowiedzi, w którym niewiadoma pytania jest zastąpiona przez jakąś wartość, należącą do zakresu niewiadomej pytania. Niewiadoma tego pytania nie wymaga, aby odpowiedź wskazywala nazwisko.  Na marginesie: nazwy 'Jarosław Kaczyński" i 'Prezes PiS" nie są identyczne, maja tytlko identyczne odniesienie, ale semantycznie się różnią. Podobnie proponowana przez Pana trzecia odpowiedz "człowiek, o którym..." dla mnie jest też odpowiedzia wprost. Ale być może dr hab. Andrzej Grabowski jest innego zdania, prosze zapytac go przy okazji.

Nie, nigdy nie przeprowadzamy takich konkursów.

Osobę, która wysłała zapytanie w sprawie cwiczeń we wtorek 19 marca około godz 21.50 proszę o podanie adresu mailowego - odpowiem indywidualnie.

TGS

Dobre pytanie. Otoż funktory KRZ nie sa dokładnymi odpowiednikami spójników języka potocznego. W języku potocznym czesto nie odróżnia sie np alternatywy rozłącznej od zwykłej, a spójnik koniunkcji "i" ma czesto dodatkowe znaczenie w stosunku do tego, które w KRZ jest wyrażone w tabelce (np "i" sekwencyjne i "i" kauzalne)  - to jednak z punktu widzenia egzaminu jest nieistotne.  Dysjunkcja w zasadzie nie występuje w jezyku potocznym, aby ją wyrazić trzeba by powiedziec "bądż..bądż, co najwyzej jedno z dwojga". Dlatego też przy tłumaczeniu zdań z języka potocznego na formuły KRZ przyjmujemy pewne upraszczające konwencje, które sa omówione w skrypcie Grabowskiego oraz bedą wyjasniane na cwiczeniach (i tak np "albo..albo" zawsze  uznajemy za alternatywę rozłaczną. "lub" za zwykłą, chyba, ze tresci jasno wynika, że oba składniki nie mogą być jednoczesnie prawdziwe ze względów logicznych - " Jan zdał egzamin lub Jan nie zdał egzaminu" będzięmy więc uznawali za alternatywę rozłaczną, pomimo tego, że wystepuje spójnkik "lub". Przy egzaminie wymagamy, aby formalizacja dostosowana była do tych konwencji. 

Nota bene, w dysjunkcji nie ma poprzednika i następnika, gdyż kolejność zdań składowych nie wpływa na wartośc logiczną zdania zlożonego (inaczej jest tylko przy implikacji).

Oczywiście, ze może. Dla rozwiązania zadania wystarczy jednak pokazac jedną z takich kombinacji. To dowodzi bowiem, że formuła jest nie-tautologią.

Brawo, jest poprawnie. Na egzaminie nie będzie jednak takich fraz jak "uporczywie i stale", bo nie były one omawaine na wykładzie.

Prezentacje z poprzedniego roku są dostępne na lex.edu. w matariałach, prezentacje z tego roku (trochę zmienione w porównaniu z poprzednim) będą za jakiś czas dostepne  w tym samym miejscu.

W rzeczywistości jest jeszcze przystojniejszy

Tak, oczywiście, a która godzina Ci odpowiada,  zakładam, że bliżej południa, abys mógł wyspać sie po weekendzie.