U ovome radu zagovaram stajalište koje uključni pozitivisti dijele s Ronaldom Dworkinom. Prema tezi o uključenosti morala , logički je moguće da pravni sustav uključuje moralne kriterije pravnosti . Do ovoga trenutka rasprava je uvijek imala oblik napada na koherentnost TUM-a, pri čemu su branitelji TUM-a samo pokušavali osporiti napadajući argument. Ja u prilog TUM-u iznosim pozitivan argument, koji započinjem objašnjenjem logike dokazivanja mogućnosnih tvrdnji kao što je to TUM. Pritome na samom početku vrijedi istaknuti da se logika dokazivanja (...) mogućnosnih tvrdnji umnogome razlikuje od logike dokazivanja kontingentnih deskriptivnih tvrdnji ili nužnih tvrdnji. Zbog toga će ovdje biti potrebno dati neka pojašnjenja važnih obilježja semantike modalne logike. Nakon prikladne razrade strukturnog okvira, argument u prilog TUM-a bit će zasnovan na iznenađujuće jednostavnom mislenom eksperimentu. Zapravo, argument pronalazi svoje nadahnuće u Razovom argumentu u prilog mogućnosti postojanja pravnog sustava koji se ne temelji na prisilnoj mašineriji izvršavanja prava; prema njemu, društvo anđela i dalje bi imalo sustav prava, iako u tom sustavu ne bi postojala prisilna mašinerija. Moj argument sadržavat će dvije teorijski važne značajke koje sadrži i Razov snažno jednostavan, ali u konačnici neuspješan argument. (shrink)

Existuje obrovské množství definic logiky; avšak je tu jistá jednotící myšlenka, která se proplétá většinou z nich, a to je ta, že logika nám má pomoci klasifikovat úsudky, způsoby argumentace či důkazy na „správné“ a „nesprávné“, a tímto způsobem nám má pomoci lépe „usuzovat“. A protože úsudek či argumentační schéma je věcí kroku od nějakých premis k nějakému závěru a jeho správnost můžeme vyjadřovat také tak, je jeho závěr odvoditelný z jeho premis či z nich vyplývá . Toto úzké (...) pojetí logiky nás vede přímo k jejímu modernímu chápání jakožto zkoumání vyplývání či odvoditelnosti. Nazvěme takové kritické zkoumání argumentací, úsudků či odvození základní agendou logiky. (shrink)

Artykuł podejmuje zagadnienie relacji między językoznawstwem a logiką. Punktem wyjścia są dyskusje między logikami a językoznawcami, które miały miejsce w ostatnich kilkunastu latach. W artykule poddano analizie wzmiankowane dyskusje i wskazano, że faktycznie wkradają się w nie nieporozumienia; spróbowano również dokładniej określić domenę logiki i ukazać, że różni się ona zasadniczo od domenyjęzykoznawstwa.

Does formal logic make sense?This text is a commentary on the book Logika i argumentacja. Praktyczny kurs krytycznego myślenia Logic and Argumentation. A Practical Course In Critical Thinking by Professor Andrzej Kisielewicz. Prof. Kisielewicz argues there, among other things, that formal symbolic logic is inadequate to explain practical rational reasoning. This commentary defends formal logic in this respect. In particular, Prof. Kisielewicz proposes in his book a definition of practical logical inference. According to him, a conclusion follows from a (...) given set of premises if there is no situation, where the premises hold, while the conclusion fails. In this commentary it is pointed out that this is a well-known notion of semantic inference in formal logic. It is also well-known that semantic and syntactic inference in logic are equivalent, i.e. equally strong. (shrink)

deel 1. Klassieke systemen.--deel 2. Niet-klassieke systemen en toegepaste logika.

Leibniz zamierzał stworzyć lingua characteristica universalis – język, w którym dałaby się zapisać wszelka wiedza, oraz calculus ratiocinator – metodę umożliwiającą rachunkowe określenie prawdziwości dowolnego zdania tego języka. Taka idea leży u podstaw współczesnej logiki. Taka idea w odniesieniu do poprawności sprzętu i programów leży u podstaw metod logicznych weryfikacji systemów informatycznych.Dziś widzimy, że dalszy rozwój informatyki zależy istotnie od postępu badań logicznych, a logika – ta starożytna dyscyplina – znalazła nowe bogate pole dociekań, zyskała nowe perspektywy badań. Jej (...) zastosowania mogą mieć tak znaczący wymiar praktyczny, o jakim nie śniło się filozofom. (shrink)

The main aim of this article is to prove that Wittgenstein's early philosophy considers two perspectives: the first one from the view of necessary logic and the second one from the view of contingent application of logic in the natural language. The application of logic is the matter of decisions outside the logical necessity - it is arbitrary and thus it can not be anticipated by logic and can not be considered by logical notation (concept-script). According to Wittgenstein 'logic must (...) take care of itself' and only the exclusion of the contingency from the logical notation let maintain the autonomy of logic. (shrink)

In the latter part of the fifteenth century, a Jewish translator, working together with a Slavic amanuensis, translated into the East Slavic language of the Grand Duchy of Lithuania three medieval Hebrew translations of Arabic philosophical texts: the Logical Terminology, a short work on logic attributed to Maimonides (but probably by a different medieval Jewish author); and two sections of the Muslim theologian Al-Ghazali's famous Intentions of the Philosophers. Highlighting the unexpected role played by Jewish translators as agents of cultural (...) transmission in the heady messianic atmosphere leading up to the year 1492, these texts drew the attention of the Orthodox Church authorities as being in the possession of the enlightened heretical sect known as the Judaizers, which had emerged in Novgorod and spread to Moscow. Reflecting three and even four layers of translation, Prof. Moshe Taube's new triple-language critical edition of the Logika of the Judaizers displays the Slavic texts alongside the Hebrew translations on which they are based and accompanies them with a modern English translation. In his comprehensive introduction and commentary, Taube surveys earlier scholarly efforts to identify the provenance and purport of the translations, discusses the linguistic and textological issues raised by these early Ruthenian texts, puts forward the likely dissimilar motivations of the Jewish translator and the Christians who commissioned the work, and reveals the translator's probable identity. The present publication, a long-awaited desideratum, will be of interest not only to historians of the Great Duchy of Lithuania and of the principality of Muscovy, but also to scholars of Jewish history and of the history of philosophy and science, as well as to linguists studying the history of the Belorussian, Ukrainian and Russian languages. (shrink)

Obszerna antologia Logika i język z analitycznej filozofii języka, do której J. Pelc wybrał i przełożył teksty, była przez wiele lat wykorzystywana w nauczaniu i badaniach w Polsce. W udany sposób przedstawia niektóre dyskusje toczone w ramach filozofii analitycznej. Jednakże obok tekstów kluczowych, które weszły do kanonu tej tradycji, zawiera także prace marginalne i mało znaczące. Zaskakujące jest pominięcie przez Pelca kilku bardzo ważnych filozofów i ich dorobku, a podane we wstępie do antologii uzasadnienie tych braków jest niekompletne i (...) mało przekonujące. (shrink)

V članku skušam opredeliti vlogo pojma protislovnosti v zgodovini metafizike. Podrobnejši vpogled v Aristotelovo mišljenje o tem pojmu pokaže, v kolikšni meri je načelo neprotislovnosti zakoreninjeno v metafiziki. V nadaljevanju se osredotočam na Kantovo razvijanje transcendentalne logike in Heglovo izenačenje logike z metafiziko. V zaključku razmišljam o možnosti drugačne logike – logike preobilja – onkraj heglovske afirmacije protislovnosti, ki razkriva mejo principa protislovnosti znotraj določenih struktur ali elementov.This paper traces the role that the concept of contradiction plays in the history (...) of metaphysics. By investigating the way that this concept was taken up by Aristotle, it shows how thoroughly the principle of non-contradiction belongs to metaphysics. The paper then traces Kant's development of a transcendental logic and Hegel's identification of logic and metaphysics. The paper explores, finally, the possibility that even beyond Hegelian affirmation of contradiction another logic--an exorbitant logic--can be conceived that exposes the limits of the principle of non-contradiction and accordingly affirms contradiction whithin certain domains of structures or elements. (shrink)