Temat: Logika formalna - Prolib Integro

Skocz do pozycji: 1.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 3.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

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
Tematy:: Metodologia
Logika formalna; Pokaż więcej
Data publikacji:: 1928
Wydawca:: Warszawa : Koło Mat.-Fiz. Słuchaczów U.W.
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

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

Inne

na półce

Szczegóły

Skocz do pozycji: 15.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

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
Tematy:: Logika formalna
Teoria poznania
Semiotyka; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

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: 34.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

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
Tematy:: Logika formalna
Argumentacja
Filozofia polska
Kisielewicz, Andrzej. Logika i argumentacja; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 39.

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
Tematy:: Logika formalna
Bočvar, Dmitrij Anatol'evič (1903-1990)
Logika trójwartościowa; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Formuły logiczne i ich obciążenie egzystencjalne
Autorzy:: Wojciechowski, Eugeniusz (1949- ). Autor
Tematy:: Krampitz, Karl-Heinz
Rachunek kwantyfikatorów
Istnienie (filozofia)
Logika formalna; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

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.
Tematy:: Sylogistyka - historia
Logika formalna
Arystoteles (384-322 p.n.e.); Pokaż więcej
Data publikacji:: 1988
Wydawca:: Warszawa : Państ. Wydaw. Naukowe (Krak. : UJ)
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 43.

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
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Data publikacji:: 2021-07-12
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Properties aint no puzzle
Autorzy:: Jastrzębski, Borys (1993- ). Autor
Tematy:: Sądy (logika)
Filozofia analityczna
Logika formalna
Frege, Gottlob (1848-1925)
Filozofia niemiecka; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Fregowska kategoria Bedeutung
Autorzy:: Bogucki, Krystian. Autor
Tematy:: Filozofia języka
Filozofia niemiecka
Znaczenie (logika)
Logika formalna
Frege, Gottlob (1848-1925); Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: A note on a remark of Evans
Autorzy:: Barz, Wolfgang. Autor
Tematy:: Filozofia brytyjska
Tożsamość (filozofia)
Logika formalna
Determinizm i indeterminizm; Pokaż więcej
Data publikacji:: 2016
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Jak tworzy się dobre formalizacje?
Autorzy:: Wójtowicz, Anna (1966- ). Autor
Tematy:: Logika formalna
Ontologia sytuacji
Filozofia poiska
Wolniewicz, Bogusław (1927-2017); Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

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
Data publikacji:: copyright 2016
Wydawca:: Berlin ; Boston : De Gruyter, copyright 2016
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Knowledge, Vagueness and Logic
Autorzy:: Wybraniec-Skardowska, U.
Tematy:: zbiór rozmyty
logika formalna
vague knowledge
fuzzy sets
rough sets
vague sets
formal logic; Pokaż więcej
Data publikacji:: 2001
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Różne znaczenia definicji w logice : o krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza uwag kilka
Autorzy:: Tomza-Tulejska, Anna Autor
Współwytwórcy:: Zakład Polityki Prawa (Uniwersytet Łódzki)
Tematy:: Logika formalna
Definicja
Ajdukiewicz, Kazimierz (1890-1963)
Logika trójwartościowa
Łukasiewicz, Jan (1878-1956)
Logika dwuwartościowa; Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
Autorzy:: Pabian, Aleksander
Tematy:: research hypotheses
formal logic
management
propositional calculus
hipotezy badawcze
logika formalna
zarządzanie
rachunek zadań; Pokaż więcej
Data publikacji:: 2023-02-28
Wydawca:: Główny Urząd Statystyczny
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:: Tomza, Anna
Tematy:: classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje; Pokaż więcej
Data publikacji:: 2020
Wydawca:: Łódzkie Towarzystwo Naukowe
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

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 = Primenimostʹ nekotoryh logičeskih sistem dlâ analiza formalʹnoj korrektnosti vyvodov, kasaûŝihsâ kanoničeskogo prava
Autorzy:: Kozanecka-Dymek, Anna Autor
Współwytwórcy:: Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:: Wnioskowanie (logika)
Logika formalna
Wykładnia prawa
Kanonistyka
Kościół katolicki
Prawo kanoniczne
Kodeks prawa kanonicznego; Pokaż więcej
Data publikacji:: 2021
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Wkład Kazimierza Twardowskiego w rozwój logiki w Polsce
Autorzy:: Jadacki, Jacek Juliusz (1946- ). Autor
Współwytwórcy:: Uniwersytet Warszawski
Tematy:: Filozofia polska
Logika formalna
Wpływ i recepcja
Metodologia
Twardowski, Kazimierz (1866-1938); Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
Autorzy:: Magryś, Roman Autor
Współwytwórcy:: Uniwersytet Rzeszowski
Tematy:: Polska
Krasicki, Ignacy (1735-1801)
Literatura polska
Krytycyzm
Logika formalna
Badania naukowe; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Interpolation in normal extensions of the Brouwer logic
Autorzy:: Kostrzycka, Zofia. Autor
Tematy:: Brouwer, Luitzen Egbertus Jan (1881-1966‏)
Logika formalna
Aproksymacja
Logika matematyczna
Kripke, Saul A. (1940- ); Pokaż więcej
Data publikacji:: 2016
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Logika. Panorama tematyki
Logic. Panorama of the Domain
Autorzy:: Kublikowski, Robert
Tematy:: logika
logika formalna
semiotyka
metodologia nauk
teoria poznania
epistemologia
logic
formal logic
semiotics
methodology of science
theory of cognition
epistemology; Pokaż więcej
Data publikacji:: 2018-12-31
Wydawca:: Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: O potencjalności Agambena i Deleuzea
Autorzy:: Szumilewicz, Ewa. Autor
Tematy:: Mechanika kwantowa
Logika formalna
Agamben, Giorgio (1942- )
Ontologia
Deleuze, Gilles (1925-1995)
Błędy; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Legal argumentation and chaim perelmans "the new rhetoric" as "third way" in the theory and philosophy of law : between positivist paradigm and legal hermeneutics = Argumentacja prawnicza i "nowa retoryka" Chaima Perelmana jako "trzecia droga" w teorii i filozofii prawa : między paradygmatem pozytywistycznym a hermeneutyką prawniczą
Autorzy:: Tecław, Barbara Autor
Tematy:: Perelman, Chaïm (1912-1984)
Filozofia prawa
Dyskurs (filozofia)
Argumentacja prawnicza
Retoryka
Logika formalna; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Do kwestii "stałych lingwistycznych" : czy "stała interpretacyjna" "wiesz, o czym mówię"?
Autorzy:: Bogusławski, Andrzej (1931- ) Autor
Współwytwórcy:: Katedra Lingwistyki Formalnej (Uniwersytet Warszawski). Instytucja sprawcza
Tematy:: Pragmatyka lingwistyczna
Pogonowski, Jerzy (1951- )
Logika formalna
Filozofia języka
Semantyka lingwistyczna
Język polski; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Normative inconsistency : an xstit account
Autorzy:: Payette, Gillman. Autor
Tematy:: Sprzeczność
Logika norm
Logika formalna
Wright, Georg Henrik von (1916-2003)
Hamblin, Charles Leonard (1922-1985); Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ / a Reinholdo & Alberto Klein FF. Anno 1666. Mense [Jun.] Die. [8 et 9]
Autorzy:: Klein, Albert. Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Klein, Reinhold. Respondent
Tematy:: logika formalna
scholastyka
dysertacje naukowe
Jezuici
Arystoteles (384-322 p.n.e.)
etyka
filozofia
teologia katolicka; Pokaż więcej
Data publikacji:: 1666
Wydawca:: [Braniewo] : [Henryk Schultz]
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic
Autorzy:: Czernecka-Rej, Bożena
Tematy:: Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Realność problemu zmiany : polemika z Adamem Andrzejewskim = Genuineness of the problem of change : against Adam Andrzejewskis objection
Autorzy:: Luc, Joanna. Autor
Tematy:: Dynamizm (filozofia)
Filozofia polska
Logika formalna
Andrzejewski, Adam. Problem zmiany a identyczność numeryczna
Metafizyka
Ontologia; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Pojęcie dyplomacji dla nauki
The concept of diplomacy for science
Autorzy:: Szkarłat, Monika
Tematy:: dyplomacja naukowa
dyplomacja dla nauki
teoria poznania
logika formalna
science diplomacy
diplomacy for science
theory of cognition
formal logic; Pokaż więcej
Data publikacji:: 2020-03-31
Wydawca:: Wydawnictwo Adam Marszałek
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii : ontologia formalna : ontologia topologiczna
Autorzy:: Kaczmarek, Janusz (1959- ) Autor
Współwytwórcy:: Katedra Logiki i Metodologii Nauk (Uniwersytet Łódzki)
Tematy:: Filozofia polska
Drewnowski, Jan Franciszek (1896-1978)
Metodologia
Koło Krakowskie (filozofia)
Ontologia
Filozofia współczesna
Logika formalna; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Historia i filozofia logiki w szkole lwowsko-warszawskiej
Autorzy:: Peno, Michał. Recenzja
Tematy:: Filozofia polska
Filozofia matematyki
Logika formalna
Ontologia
Szkoła lwowsko-warszawska (filozofia)
History and philosophy of Polish logic; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Aksjomatyczne ujęcia genidentyczności według Zdzisława Augustynka. Cz. 1, Porównanie systemów = The axiomatic approach to genidentity according to Zdzisław Augustynek. Part 1, The comparison of systems
Autorzy:: Porwolik, Marek. Autor
Tematy:: Grygianiec, Mariusz (1969- )
Filozofia polska
Logika formalna
Genidentyczność
Augustynek, Zdzisław (1925-2001)
Tożsamość (filozofia)
Ontologia
Filozofia nauki; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Wartości i normy jako zdania w logice. Z historii logiki w Polsce
Autorzy:: Pacewicz, Grzegorz
Tematy:: zdanie
sąd
norma
wartość
zdanie normatywne
zdanie wartościujące
logika formalna
historia logiki
Szkoła Lwowsko-Warszawska
Twardowski
Lukasiewicz
Kotarbiński
Czeżowski
Ajdukiewicz
Ziembiński; Pokaż więcej
Data publikacji:: 2016
Wydawca:: Uniwersytet Warmińsko-Mazurski w Olsztynie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Schemat predykacji Fregego i problem uniwersaliów
Autorzy:: Wojciechowski, Eugeniusz (1949- ). Autor
Tematy:: Rachunek kwantyfikatorów
Filozofia polska
Logika formalna
Uniwersalia
Leśniewski, Stanisław (1886-1939)
Frege, Gottlob (1848-1925)
Filozofia niemiecka; Pokaż więcej
Data publikacji:: 2018
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ
Autorzy:: Klein, Reinhold Respondent
Współwytwórcy:: Tylkowski, Wojciech (1625-1695). Promotor
Klein, Albert. Respondent
Tematy:: logika formalna
dysertacje naukowe
filozofia przyrody
Arystoteles (384-322 p.n.e.)
teologia katolicka
religia i duchowość
etyka
Jezuici
scholastyka; Pokaż więcej
Data publikacji:: 1666
Wydawca:: [Braniewo] : [Henryk Schultz]
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Dialektyka wiedzy logikomatematycznej w ujęciu Jarosława Ładosza = Jarosław Ładosz on the dialectics of logico-mathematical knowledge
Autorzy:: Winczewski, Damian Autor
Tematy:: Logika formalna
Marksizm
Filozofia współczesna
Intuicjonizm matematyczny
Ładosz, Jarosław (1924-1997)
Teoria poznania
Filozofia matematyki
Materializm dialektyczny
Filozofia polska; Pokaż więcej
Data publikacji:: 2020
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: The conception of logic in the Cracow Circle : Salamucha, Drewnowski, Bocheński
Autorzy:: Murawski, Roman (1949- ) Autor
Współwytwórcy:: Wydział Matematyki i Informatyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Tematy:: Filozofia polska
Tomizm
Teologia
Logika formalna
Bocheński, Józef Maria (1902-1995)
Koło Krakowskie (filozofia)
Filozofia współczesna
Salamucha, Jan (1903-1944)
Drewnowski, Jan Franciszek (1896-1978); Pokaż więcej
Data publikacji:: 2021
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Polskie idee w filozofii : filozofia polska wobec filozofii w Polsce
Autorzy:: Woźniczka, Maciej Autor
Współwytwórcy:: Akademia im. Jana Długosza (Częstochowa)
Tematy:: Humanizm (prąd)
Filozofia polityczna
Częstochowa (woj. śląskie)
Filozofia religii
Filozofia polska
Filozofia społeczna
Logika formalna
Filozofia przyrody
Wpływ i recepcja
Filozofia brytyjska
Filozofia francuska
Filozofia niemiecka; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: About a mature theory of Fregean sense
Autorzy:: Olszewski, Adam (1958- ). Recenzja
Tematy:: Jespersen, Bjørn (1966- ). Procedural semantics for hyperintensional logic
Duží, Marie (1948- ). Procedural semantics for hyperintensional logic
Logika formalna
Materna, Pavel (1930- ). Procedural semantics for hyperintensional logic
Semantyka logiczna; Pokaż więcej
Data publikacji:: 2017
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Formalna weryfikacja automatycznego zrównoleglenia procesów
Formal verification of automatically parallelised processes
Autorzy:: Dziurzański, P.
Karpicki, M.
Tematy:: formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion; Pokaż więcej
Data publikacji:: 2006
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Changing probabilistic beliefs in persuasion
Zmiana probabilistycznych przekonań w perswazji
Autorzy:: Budzyńska, K.
Kacprzak, M.
Tematy:: perswazja
przekonania
ogika prawdopodobieństwa
formalna weryfikacja
logika prawdopodobieństwa
persuasion
beliefs
probabilistic logic
formal verification; Pokaż więcej
Data publikacji:: 2010
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Formalna reprezentacja pojęcia sądu dla zastosowań w teorii aktów mowy - recenzja
Autorzy:: Malinowski, Grzegorz (1945- )
Tematy:: Filozofia języka
Sądy (logika)
Akty mowy
Nowak, Marek (1957- ; filozof). Formalna reprezentacja pojęcia sądu dla zastosowań w teorii aktów mowy; Pokaż więcej
Data publikacji:: 2003
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
Autorzy:: Zygmunt, Jan
Tematy:: semilattice
formal ontology of situations
algebraic logic
history of Polish logic
Bogusław Wolniewicz
półkrata
formalna ontologia sytuacji
logika algebraiczna
historia logiki polskiej; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: O formalnej ontologii bytu i czasu
On the Formal Ontology of Being and Time
Autorzy:: BIŁAT, Andrzej
Tematy:: pojęcia ontologiczne
ontologia logiczna
eksplikacyjna ontologia formalna
empiryczna ontologia formalna
monadyczna logika drugiego rzędu
czas wypełniony
świat realny
ontological notions
logical ontology
explicative formal ontology
empirical formal ontology
monadic second order logic
filled time
real world; Pokaż więcej
Data publikacji:: 2018-03-26
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: From workflow design patterns to logical specifications
Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
Autorzy:: Klimek, R.
Tematy:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Towards leibnizian possibility. Formal frame of modal theory of individual concepts
Autorzy:: Świętorzecka, Kordula
Tematy:: formal ontology
Leibniz Gottfried Wilhelm
theory of concepts
possible worlds semantics
modal free logic
ontologia formalna
Leibniz Godfryd Wilhelm
teoria pojęć
semantyka światów możliwych
modalna logika wolna; Pokaż więcej
Data publikacji:: 2013
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Tematy:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika formalna" wg kryterium: Temat

Źródło danych

Dostawca treści

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język

Kolekcja