Temat: logika formalna, - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Elementy logiki formalnej dla studentów kierunków humanistycznych
Autorzy:: Porębska, Małgorzata
Współwytwórcy:: Suchoń, Wojciech
Data publikacji:: 1990
Wydawca:: Nakładem Uniwersytetu Jagiellońskiego
Słowa kluczowe:: logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logic in the land of make-believe
Autorzy:: Pollard, Stephen Autor
Data publikacji:: 2019
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Elementy teorji poznania, logiki formalnej i metodologji nauk
Autorzy:: Kotarbiński, Tadeusz (1886-1981)
Data publikacji:: 1929
Wydawca:: Lwów : Wydaw. Zakładu Narodowego imienia Ossolińskich (Lwów : Zakł. Nar. im. Ossolińskich)
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: On the rules of suppositions in formal logic
Autorzy:: Jaśkowski, Stanisław (1906-1965)
Data publikacji:: 1934
Wydawca:: Warszawa : Seminarjum Filozoficzne. Wydz. Matematyczno-Przyrodniczy UW (Warszawa : P. Pyz i S-ka)
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Chmielewski, Adam (1959- ). Przedm.
Woleński, Jan (1940- ). Przedm.
Krajczyk, Aleksandra. Tł.
Data publikacji:: 1988
Wydawca:: Państ. Wydaw. Naukowe
Słowa kluczowe:: logika formalna
sylogistyka; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Główne zasady metodologji nauk i logiki formalnej : wykłady K. Ajdukiewicza wygłoszone na Uniwersytecie Warszawskim w roku akad. 1927/28
Autorzy:: Ajdukiewicz, Kazimierz (1890-1963) Autor
Współwytwórcy:: Presburger, Mojżesz (1904-1943?) Redakcja
Data publikacji:: 1928
Wydawca:: Warszawa : Koło Mat.-Fiz. Słuchaczów U.W.
Tematy:: Metodologia
Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów
Autorzy:: Stanosz, Barbara (1935-2014)
Data publikacji:: 2005
Wydawca:: Wydawnictwo Naukowe PWN
Słowa kluczowe:: językoznawstwo matematyczne
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Ancient formal logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: 1968
Wydawca:: Amsterdam : North-Holland Publ. Co.
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Formale Logik
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: cop. 1956
Wydawca:: Freiburg : K. Alber, cop. 1956
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi
Autorzy:: Porębska, Małgorzata
Suchoń, Wojciech
Data publikacji:: 1996
Wydawca:: Universitas
Słowa kluczowe:: logika
logika symboliczna i matematyczna
informatyka
logika formalna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Elementy teorii poznania, logiki formalnej i metodologii nauk
Autorzy:: Kotarbiński, Tadeusz (1886-1981)
Współwytwórcy:: Gasparski, Wojciech (1936-2022). Red.
Czaplicka, Urszula. Red.
Miller, Danuta (1929-2006). Red.
Data publikacji:: 1990
Wydawca:: Zakład Narodowy im. Ossolińskich
Słowa kluczowe:: teoria poznania
logika formalna
badania naukowe; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Filozofia logiki i formalna logika niesymplifikacyjna
Autorzy:: Grzegorczyk, Andrzej (1922-2014)
Data publikacji:: 2011
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
Autorzy:: Wojciechowski, Eugeniusz
Data publikacji:: 2008
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2010
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Logika formalna : systemy logiczne : wstęp do metalogiki
Autorzy:: Borkowski, Ludwik (1914-1993)
Data publikacji:: 1970
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Logika formalna czy logiki formalne?
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2007
Tematy:: Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Monadic fragments of intuitionistic control logic
Autorzy:: Glenszczyk, Anna. Autor
Data publikacji:: 2016
Tematy:: Logika formalna
Logika intuicjonistyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Hierarchie systemów logiki parakonsystentnej
Autorzy:: Ciuciura, Janusz. Autor
Współwytwórcy:: Wydawnictwo Uniwersytetu Łódzkiego. Wydawca
Data publikacji:: 2018
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Logika formalna
Logika parakonsystentna; Pokaż więcej
Dostawca treści:: Academica

Inne

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Pomocniczy charakter logiki formalnej w uprawianiu metafizyki klasycznej
Autorzy:: Sołtys, Andrzej
Data publikacji:: 2011
Tematy:: Logika formalna
Metafizyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: System filozofii. T. 1, Logika formalna
Autorzy:: Gabryl, Franciszek (1866-1914)
Data publikacji:: 1899
Wydawca:: Kraków : [s.n.] (Kraków : Druk. C. K. Uniwersytetu Jagiellońskiego)
Tematy:: Logika formalna
Filozofia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Czym jest ontologiczna filozofia formalna?
Autorzy:: Biłat, Andrzej. Autor
Data publikacji:: 2016
Tematy:: Logika formalna
Ontologia
Rozumowanie (logika); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: O formalnej ontologii bytu i czasu
Autorzy:: Biłat, Andrzej. Autor
Data publikacji:: 2018
Tematy:: Logika formalna
Czas
Ontologia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Dr hab. Zdzisław Dywan, prof. KUL
Autorzy:: Sarek, Stanisław (1947- ) Autor
Data publikacji:: 2020
Tematy:: Logika formalna
Polska
Dywan, Zdzisław (1951-2020); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: A compositional semantics for "even if" conditionals
Autorzy:: Vidal, Mathieu‏. Autor
Data publikacji:: 2017
Tematy:: Logika formalna
Semantyka logiczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Commentary and illocutionary expressions in linear calculi of natural deduction
Autorzy:: Cordes, Moritz (1984- ). Autor
Współwytwórcy:: Reinmuth, Friedrich (1939- ). Autor
Data publikacji:: 2017
Tematy:: Dedukcja naturalna
Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Structuralist semiotics vs. formal logic in the reconstruction of judicial reasoning
Autorzy:: Kristan, Andrej
Data publikacji:: 2010
Tematy:: Logika formalna
Filozofia prawa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Epistemic erotetic search scenarios
Autorzy:: Łupkowski, Paweł. Autor
Współwytwórcy:: Urbański, Mariusz (filozofia). Autor
Peliš, Michal (1976‏- ). Autor
Majer, Ondrej. Autor
Data publikacji:: 2018
Tematy:: Dedukcja
Logika formalna
Logika epistemiczna
Logika pytań; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Czy logika formalna jest rodzajem ontologii?
Autorzy:: Maciołek, Ryszard
Data publikacji:: 2008
Tematy:: Ontologia - historia
Logika formalna
Logika - historia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Does the implication elimination rule need a minor premise?
Autorzy:: Francez, Nissim (1944- ). Autor
Data publikacji:: 2018
Tematy:: Logika formalna
Implikacja
Rachunek sekwentowy; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Konspekt wykładów z logiki wygłoszonych na uniwersytecie Jana Kazimierza we Lwowie w roku akademickim 1924/1925 sporządzony przez Stefana Ołeksiuka
Autorzy:: Ajdukiewicz, Kazimierz (1890-1963). Autor
Współwytwórcy:: Tudor, Stepan (1892-1941). Opracowanie
Ivanyk, Stepan (1982- ). Redakcja
Bożek, Hubert. Redakcja
Data publikacji:: 2017
Tematy:: Logika formalna
Teoria poznania
Semiotyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: O relacjach w kręgu funktorów wiedzy i stwierdzania
Autorzy:: Bogusławski, Andrzej (1931- ). Autor
Data publikacji:: 2017
Tematy:: Logika epistemiczna
Sądy (logika)
Logika formalna
Wiedza
Teoria poznania; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Prawda i fałsz wypowiedzi literackiej
Autorzy:: Magryś, Roman Autor
Współwytwórcy:: Uniwersytet Rzeszowski
Data publikacji:: 2020
Tematy:: Prawda
Logika formalna
Fikcja literacka
Literatura
Fenomenologia literatury; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Semantyczne teorie informacji
Autorzy:: Szczepiński, Rafał. Autor
Data publikacji:: 2015
Tematy:: Informacja
Logika formalna
Filozofia informacji
Semantyka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: "Internal" problems of normative theories of thinking and reasoning
Autorzy:: Urbańczyk, Piotr. Autor
Data publikacji:: 2016
Tematy:: Logika formalna
Prawdopodobieństwo
Normatywność (filozofia)
Racjonalność; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Formalna zasada sprzeczności w logice i języku naturalnym
Autorzy:: Pietryga, Anna
Data publikacji:: 2004
Tematy:: Sprzeczność - filozofia
Filozofia języka
Logika formalna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Prawa nauk przyrodniczych a tezy logiki formalnej i metafizyki
Autorzy:: Kiczuk, Stanisław
Data publikacji:: 2002
Tematy:: Logika formalna
Metafizyka
Nauki przyrodnicze - filozofia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Existential import and relations of categorical and modal categorical statements
Autorzy:: Raclavský, Jiří (1974- ). Autor
Data publikacji:: 2018
Tematy:: Zdanie kategoryczne
Logika formalna
Sylogizm
Kwadrat logiczny; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Alternatywizm, dysjunktywizm i pluralizm doświadczeniowy
Autorzy:: Zięba, Paweł J. Autor
Data publikacji:: 2018
Tematy:: Logika formalna
Doświadczenie (filozofia)
Teoria poznania
Spostrzeganie; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Spójnik "tudzież" translatem funkorów w logice formalnej
Autorzy:: Magner, Elżbieta Autor
Współwytwórcy:: Katedra Logiki i Metodologii Nauk (Uniwersytet Wrocławski)
Tematy:: Logika formalna
Spójnik
Język polski
Funktor (matematyka); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Category theory and set theory as theories about complementary types of universals
Autorzy:: Ellerman, David P. Autor
Data publikacji:: 2017
Tematy:: Teoria kategorii
Logika formalna
Teoria mnogości
Uniwersalia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Aristotles syllogistic from the standpoint of modern formal logic
Autorzy:: Łukasiewicz, Jan (1878-1956)
Data publikacji:: 1951
Wydawca:: Oxford : Clarendon Press
Tematy:: Logika formalna
Sylogistyka - historia
Arystoteles (384-322 p.n.e.); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Krajczyk, Aleksandra Tł.
Woleński, Jan (1940- ) Przedm.
Chmielewski, Adam (1959- ) Przedm.
Data publikacji:: 1988
Wydawca:: Warszawa : Państ. Wydaw. Naukowe (Krak. : UJ)
Tematy:: Sylogistyka - historia
Logika formalna
Arystoteles (384-322 p.n.e.); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Sympozjum na temat książki Andrzeja Kisielewicza Logika I Argumentacja : praktyczny kurs krytycznego myślenia.
Współwytwórcy:: Sielezin, Jan Ryszard (1955- ). Kilka uwag o książce profesora Andrzeja Kisielewicza "Logika i argumentacja"
Newelski, Ludomir. Czy logika formalna ma sens?
Kisielewicz, Andrzej. Odpowiedź na polemiki i komentarze do mojej książki "Logika i argumentacja"
Szlachcic, Krzysztof. Andrzeja Kisielewicza pochwała zdrowego rozsądku
Biłat, Andrzej. Uwagi o podręczniku "Logika i argumentacja" Andrzeja Kisielewicza
Łazarz, Marcin. Kilka uwag na marginesie książki Andrzeja Kisielewicza "Logika i argumentacja"
Kotowski, Mateusz. Argumenty z autorytetu a krytyczne myślenie
Kisielewicz, Andrzej. Wprowadzenie do dyskusji
Skowron, Bartłomiej (1984- ). Możliwościowe ujęcie logiki praktycznej
Data publikacji:: 2018
Tematy:: Logika formalna
Argumentacja
Filozofia polska
Kisielewicz, Andrzej. Logika i argumentacja; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Bochvars three-valued logic and literal paralogics : their lattice and functional equivalence
Autorzy:: Karpenko, Aleksandr Stepanovič (1946-2017). Autor
Współwytwórcy:: Tomova Natalâ Evgenevna (1983- ). Autor
Data publikacji:: 2017
Tematy:: Logika formalna
Bočvar, Dmitrij Anatol'evič (1903-1990)
Logika trójwartościowa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Kanta ujęcie przedmiotu logiki formalnej
Autorzy:: Kamiński, Stanisław (1919-1986) Autor
Data publikacji:: 2019
Tematy:: Logika formalna
Kant, Immanuel (1724-1804)
Filozofia niemiecka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Wartości i normy jako zdania w logice. Z historii logiki w Polsce
Statements of values and norms. History of Polish logic
Autorzy:: Pacewicz G.
Tematy:: wiek XX
Polska
logika
logika formalna
historia
zdanie
zdanie normatywne
zdanie wartosciujace
normy
definicje
wartosc; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Kozanecka-Dymek, Anna Maria
Data publikacji:: 2021-07-12
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Anna Maria Kozanecka-Dymek
Data publikacji:: 2021-07-12
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Heglowska krytyka logiki formalnej
Autorzy:: Woleński, Jan (1940- )
Data publikacji:: 2009
Tematy:: Logika formalna
Hegel, Georg Wilhelm Friedrich (1770-1831)
Logika - historia - Niemcy; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Logik : Wiener Logikkolleg 1894/95
Autorzy:: Twardowski, Kazimierz (1866-1938) Autor
Współwytwórcy:: Betti, Arianna Redakcja
Raspa, Venanzio Redakcja
Tematy:: Logika formalna
Weryfikacja (logika)
Uniwersytet Wiedeński
Teoria poznania
Sądy (logika)
Szkoła lwowsko-warszawska (filozofia); Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logika formalna," wg kryterium: Temat