Results for ' logika formalna'

701 found
Order:
  1.  13
    Czy logika formalna ma sens?Ludomir Newelski - 2018 - Studia Philosophica Wratislaviensia 13 (3):49-55.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. (1 other version)Logika formalna: systemy logiczne: wstęp do metalogiki.Ludwik Borkowski - 1970 - Warszawa: Państwowe Wydawn. Naukowe.
     
    Export citation  
     
    Bookmark  
  3.  33
    Logika formalna czy logiki formalne?Stanisław Kiczuk - 2007 - Roczniki Filozoficzne 55 (1):129-156.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Logika formalna: zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki.Witold Marciszewski (ed.) - 1987 - Warszawa: Państwowe Wydawn. Nauk..
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    Logika formalna.Barbara Stanosz - 1969 - Warszawa,:
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Sur les trois cenceptions des rapports entre la philosophie marxiste et la logique formelle (O trzech koncepcjach stosunków między filozofią marksistowską a logiką formalną).Peter Katona & Tadeusz Skalski - 1983 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3.
     
    Export citation  
     
    Bookmark  
  7. Filozofia logiki I formalna logika niesymplifikacyjna.Andrzej Grzegorczyk - 2011 - Zagadnienia Naukoznawstwa 47 (190).
    W artykule proponuje się aksjomatyzację fragmentu klasycznej logiki zdań, który zostaje nazwany logiką niesymplifikacyjną. Nazwa pochodzi stąd, że unika się w nim, jak przypuszcza pewna ilość badaczy – wskazanych w tekście – paradoksalnych własności klasycznej implikacji i równoważności. Twierdzenie o niewyprowadzalności tez paradoksalnych nie jest jeszcze definitywnie udowodnione. Ale cały bieg myśli wydaje się interesujący z filozoficznego punktu widzenia ze względu na możliwość odróżnienia kilku rodzajów implikacji i równoważności.
     
    Export citation  
     
    Bookmark   4 citations  
  8. Errata do artykułu Andrzeja Grzegorczyka „Filozofia logiki i formalna LOGIKA NIESYMPLIFIKACYJNA”.Andrzej Grzegorczyk - 2012 - Zagadnienia Naukoznawstwa 48 (194).
     
    Export citation  
     
    Bookmark   2 citations  
  9.  17
    O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna.Janusz Kaczmarek - 2019 - Studia Philosophiae Christianae 55 (2):103-124.
    Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Podstawowe pojęcia ontologii formalnej.Barry Smith - 2015 - Lectiones and Acroases Philosophicae 8 (2):141-161.
    Idee ontologii formalnej zawdzieczamy filozofowi Edmundowi Husserlowi, który w Badaniach logicznych dokonał rozróznienia na logike formalna i formalna ontologie. Przedmiotem pierwszej sa wzajemne zwiazki pomiedzy prawdami (lub znaczeniami zdan w ogólnosci) relacje wynikania, niesprzecznosc, dowód i obowiazywalnosc. Przedmiotem drugiej sa natomiast wzajemne zwiazki pomiedzy rzeczami przedmiotami i własnosciami, czesciami i całosciami, relacjami i kolektywami. Tak jak logika formalna zajmuje sie własnosciami wynikania, które sa formalne w tym sensie, ze stosuja sie do poszczególnych przypadków wynikania jedynie ze (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  16
    Kilka uwag o epiatemulogicznyoh i semantycznych podstawach badań logicznych i ic h zaatosowanle.Péter Katona - 1985 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3:133-141.
    Celem pracy jest omówienie rozwoju koncepcji na temat roli logiki formalnej z punktu widzenia filozofii marksistowskiej. Można zaryzykować twierdzenie, że ogólnie biorąc, każdy system filozoficzny "zmusza" wyznawców lub zwolenników do określania pozycji w odniesieniu do innych nauk. Jeśli zaś idzie o stosunek filozofii marksistowskiej do logiki formalnej to w ostatnim półwieczu znaleźć można aż trzy koncepcje na ten temat. I tak, w latach dwudziestych i trzydziestych logika formalna uważana była przez marksistów za teoretyczny wyraz antydialektycznego sposobu myśli burżuazyjnej. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  20
    Indywidua. Idee. Pojęcia. Badania z zakresu ontologii sformalizowanej.Janusz Kaczmarek - 2008 - Wydawnictwo Uniwersytetu Łódzkiego.
  13.  13
    Pravna teorija in naravno pravo v Vebrovi Etiki.Marini Emanuele - 2011 - 15:109-112.
    Članek obravnava pravno teorijo, ki je prisotna v končnem delu Vebrovega spisa Etika. Prvi poizkus eksaktne logike nagonske pameti. Veber se le mimogrede ukvarja s teorijo prava, vendar njegov prispevek ni zanemarljiv. Vebrova Etika je logika nagonske pameti: Veber, gledano iz čistega predmetnoteoretičnega vidika, ne sestavlja zbirke moralnih zapovedi, ampak namerava orisati najsplošnejša formalna načela, ki določajo pravilnost nagonskega doživetja. Tega, kaj mora posameznik narediti v danem trenutku, logika nagonske pameti ne more povedati, ker je le (...) veda. »Most« med formalnim in materialnim pristopom nravnemu problemu Veber najde v glasu vesti, ki svetuje posamezniku, kaj naj naredi v konkretnem delovanju. V soglasju s tem mora biti državno pravo osnovano na načelih nagonske logike, ker bi bilo drugače brez vsake veljavnosti. Pravo velja, v kolikor je utemeljeno na logiki, ki orisuje imanentna načela človeške narave; cilj prava je pospeševanje čim bolj pravilnega življenja posameznikov in družbe. Z druge strani vsebina tega prava ni enkrat za vselej določena in napisana, ampak vsakič izhaja iz hermenevtike, ki jo posamezniki in družba morajo izvršiti o sebi in o svoji naravi. Etika »zdravega razuma« in »povprečnega človeka« je po Vebru najboljši model za materialno izpopolnenje formalne nagonske logike. (shrink)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Stadler i Bauer o formalnoj logici.Srećko Kovač - 1995 - Filozofska Istrazivanja 15 (3):599-614.
    U tekstu se obrađuju Stadlerovo i Bauerovo shvaćanje i zasnivanje formalne logike. Formalna je logika u oba slučaja postavljena u duhu novoskolastičke filozofije druge polovice 19. stoljeća. Subjektivna je strana mišljenja (samosviest, djelatba) spojena s njegovom objektivnom stranom (objektivna vriednost), a logička se načela temelje na ontologijskim. Stadler se i Bauer oddvajaju od onodobnoga formalizma i logicizma, kao i od psihologizma i voluntarizma. Pritom je Bauer izrazitije ušao u razpravljanje s drugačijim shvaćanjima (psihologizam i voluntarizam u Wundta).
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  29
    Ograniczenia semantyki formalnej.Jan Woleński - 2019 - Studia Semiotyczne 33 (2):225-239.
    Pogląd standardowy jest taki, że semantyka formalna stosuje się do języka naturalnego tylko w bardzo ograniczonym stopniu. Powodem tego stanu rzeczy jest nieunikniona nieokreśloność mowy potocznej polegająca m. in. na wieloznaczno- ściach, nieostrości czy tolerancji składniowej, a także obecności kontekstów intensjonalnych, co skutkuje limitacjami zasady kompozycjonalności. Ponadto konwersacja potoczna korzysta z rozmaitych reguł, np. reguł Grice’a, które wykraczają poza formalizm logiczny. W konsekwencji język naturalny nie podlega pełnej formalizacji. Z drugiej strony, jeśli L jest językiem formalnym, to metajęzyk ML, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Anna Pietryga.Formalna Zasada Sprzeczności & W. Logice I. Języku Naturalnym - 2004 - Studia Semiotyczne 25:125.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Jerzy Pelc.Logika Języka I. Filozofia Języka - 1998 - Studia Semiotyczne 21:263.
     
    Export citation  
     
    Bookmark  
  18. Vilmos Voigt.Czy Istnieje Logika Kultury - 1990 - Studia Semiotyczne 16:341.
     
    Export citation  
     
    Bookmark  
  19. Maciej dąmbski.Pewna Logika Trójwartościowa & Zdań Języka Polskiego Do Opisu Znaczenia - 1993 - Studia Semiotyczne 18:103.
     
    Export citation  
     
    Bookmark  
  20. Krzysztof rotter.O. Filologicznym Nurcie W. Logice & I. Logika W. Dobie Kryzysu - 2001 - Studia Semiotyczne 24:115.
     
    Export citation  
     
    Bookmark  
  21. Formálna epistemológia a spoločenské vedy: odpoveď Markéte Patákovej.Ladislav Kvasz - 2015 - Teorie Vědy / Theory of Science 37 (3):327-360.
    Cieľom článku je upozorniť na niektoré možnosti použitia metód formálnej epistemológie v oblasti sociálnych vied. Ide predovšetkým o teóriu objektácií a teóriu re-prezentácií a s nimi spojené metódy rekonštrukcie potencialít a formálnych aspektov jazyka. V článku sa ďalej snažíme zodpovedať niektoré kritické námietky Markéty Patákovej, ktoré sformulovala na adresu formálnej epistemológie vo svojom texte Predikce v Kvaszově formální epistemologii ve světle historické metody Michela Foucaulta.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  93
    Formalna analiza značenja u prirodnim jezicima.Ljiljana Saric - 2006 - Prolegomena 5 (1):65-88.
    Tema je ovoga teksta u širem smislu osvrt na odnos logike i lingvistike. U užem smislu tekst će se u prvome dijelu osvrnuti na teme i instrumentarij, a u drugom na povijest formalne semantike. Recepcija formalnosemantičkih radova na našim područjima nema čvršću tradiciju, kao ni primjena formalnih metoda na proučavanje jezika, pa se i stoga čini korisnim ukazati na njezine dosege. Formalna semantika inspirativno je i plodonosno interdisciplinarno polje istraživanja koje je od 70-tih godina 20. stoljeća iznimno uspješno povezivalo (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  78
    Formalna teoria wartości logicznych IФормалЯная теория логических значенийA formal theory of the logical values I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
  24. Metodologia formalna nauk empiryczych.Ryszard Wójcicki - 1976 - Erkenntnis 10 (2):234-237.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  25. Formalna i semantyczna analiza polskich spójników przyzdaniowych i międzyzdaniowych oraz wyrazów pokrewnych.Olgierd Adrian Wojtasiewicz - 1972 - Studia Semiotyczne 3:109-144.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  26. Ontologia formalna. Przykład: ontologia w Polsce.Janusz Kaczmarek - 2012 - Przeglad Filozoficzny - Nowa Seria 83 (3):165-175.
  27. Analiza formalna wybranych dowodow NA jedynosc boga U swietego tomasza Z akwinu.Tomasz Kakol - 2006 - Studia Philosophiae Christianae 42 (1):144-154.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Formalna struktura teorii empirycznych.Elżbieta Kałuszyńska - 1989 - Studia Filozoficzne 289 (12).
     
    Export citation  
     
    Bookmark  
  29. Struktura formalna a struktura semantyczna rzeczowników słowotwórczo podzielnych.Roman Laskowski - 1973 - Studia Semiotyczne 4:251-274.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Formalna charakterystyka dziedziny rozważań jako podstawa indeksu rzeczowego.Witold Marciszewski - 1972 - Studia Semiotyczne 3:85-101.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Formalna teoria tekstów.Maria Nowakowska - 1981 - Studia Semiotyczne 11:175-194.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  32. Formalna teoria semiotyczna tekstu jako zintegrowana teoria języka naturalnego.János S. Petöfi - 1981 - Studia Semiotyczne 11:161-173.
    No categories
     
    Export citation  
     
    Bookmark  
  33. Formalna zasada sprzeczności w logice i języku naturalnym.Anna Pietryga - 2004 - Studia Semiotyczne 25:125-136.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Aksjologia formalna Henryka Elzenberga.Ulrich Schrade - 1986 - Studia Filozoficzne 253 (12).
    No categories
     
    Export citation  
     
    Bookmark  
  35.  28
    Formalna ocena argumentacji.Marcin Selinger - 2012 - Przeglad Filozoficzny - Nowa Seria 81 (1):89-109.
    Naszym celem jest dostarczenie formalnego modelu oceny możliwie szerokiej klasy argumentacji, w szczególności tych, które pojawiają się w kontekstach naturalnych. We wprowadzeniu przedstawiamy elementarne sposoby rozbudowywania argumentacji prostych w coraz bardziej złożone struktury. W drugim rozdziale podajemy ścisłe definicje pojęć służących do opisu tych struktur — argumentację definiujemy jako niepusty i skończony zbiór sekwentów, tj. jako niepustą i skończoną relację zachodzącą pomiędzy niepustymi i skończonymi zbio-rami zdań a pojedynczymi zdaniami danego języka; wprowadzamy także kilka pojęć (nie-spójność, rozbieżność, kolistość), które pozwalają (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  27
    Formalna nekonzistentnost i kvazimatrice.Sandro Skansi - 2013 - Prolegomena 12 (1):103-119.
    U ovom članku predstavljamo Da Costine sustave Cω i C1 . Da bismo ilustrirali specifična svojstva ovih sustava, koristimo mnogobrojne primjere te iznosimo poznatu konstrukciju kvazimatrica. Uz konstrukciju, dajemo svoj dokaz adekvatnosti kvazimatrica u C1, pri čemu je ovaj dokaz moguće proširiti na cijelu Cn hijerarhiju.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Budowa formalna idei w ontologii Romana Ingardena.Piotr Żuchowski - 2004 - Filozofia Nauki 1.
    In this text I take into account Roman Ingarden's theory of general objects. Polish phenomenologist avoided most of paradoxes implied by traditional theories of universals pointing out the difference between two kinds of form inherent in general object, namely form of subject of properties and form of whole and parts. Every idea has twofold construction: as an idea (qua idea) it is a subject of peculiar properties and on the other hand it has a content consisted of so called constants (...)
     
    Export citation  
     
    Bookmark  
  38. Metodologia formalna nauk empirycznych. Podstawowe pojęcia i zagadnienia.Ryszard Wójcicki - 1975 - Studia Logica 34 (3):275-284.
     
    Export citation  
     
    Bookmark  
  39. Metodologia formalna nauk empyrycznych: podstawowe pojęcia i zagadnienia.Ryszard Wójcicki - 1974 - Wrocław: Zakład Narodowy im. Ossolińskich.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Władza formalna i realny autorytet : urelacjonowanie norm lub zasad panowania.Emmanuel Picavet - 2013 - Humanistyka I Przyrodoznawstwo 19:107-128.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  13
    Logika i język pół wieku później.Tadeusz Szubka - 2019 - Studia Semiotyczne 33 (2):157-165.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    (1 other version)Logika ogólna.Grzegorz Malinowski - 2008 - Wydawnictwo Uniwersytetu Łódzkiego.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  16
    Logika a językoznawstwo.Marek Lechniak - 2016 - Roczniki Filozoficzne 64 (2):29-44.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  12
    Formele logika.Léo Apostel - 1976 - [Antwerpen]: Sikkel. Edited by Fernand J. Vandamme.
    deel 1. Klassieke systemen.--deel 2. Niet-klassieke systemen en toegepaste logika.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  16
    Logika dokazivanja mogućnosnih tvrdnji. Pozitivan argument u korist uključnog pravnog pozitivizma i moralnih temelja prava.Kenneth Einar Himma - 2014 - Revus 23:49-76.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  12
    Prawo, logika a teoria argumentacji.Ryszard Kleszcz - 1993 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 9:51-60.
    Autor przedstawia i poddaje analizie, stworzoną przez Ch. Perelmana koncepcję logiki prawniczej. Rozpatrując ten problem autor odwołuje się do teoretycznego modelu stosowania prawa. Analizy Perelmana doprowadziły go, jak wiadomo, do wniosku, iż logika prawnicza odwołuje się nie tyle do technik formalnologicznych ile raczej do technik znanych z teorii argumentacji. Koncepcję tę uznać należy za antyformalistyczną, wiążącą się z przekonaniem, że błędne jest traktowanie logiki prawniczej jako zastosowania logiki ogólnej w domenie prawa. Stanowisko Perelmana poddane zostaje krytyce. Nie negując bowiem (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  34
    Filosofická logika?Jaroslav Peregrin - unknown
    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é (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  14
    The Logika of the Judaizers: a fifteenth-century Ruthenian translation from Hebrew: critical edition of the Slavic texts presented alongside their Hebrew sources = ha-Logiḳah shel ha-mityahadim: targum Ruteni ben ha-meʼah ha-15 min ha-ʻIvrit: mahadurah biḳortit shel ha-ṭeḳsṭim ha-Slaviyim be-liṿui meḳorotehem ha-ʻIvriyim.Moshe Taube (ed.) - 2016 - Jerusalem: Israel Academy of Sciences and Humanities.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  42
    Logika temporalna w informatyce.Kazimierz Trzęsicki - 2010 - Roczniki Filozoficzne 58 (2):181-204.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Logika pragmatyczna.Kazimierz Ajdukiewicz - 1967 - Synthese 17 (1):346-349.
    No categories
     
    Export citation  
     
    Bookmark   32 citations  
1 — 50 / 701