Wyniki wyszukiwania

301. Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Konkurs: OPUS 26, panel: HS1

302. Nietrafność epistemiczna -- co dalej?

Kierownik: dr hab. Leszek Jerzy Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 24, panel: HS1

303. Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: SONATA BIS 12, panel: HS1

304. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Kierownik: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Konkurs: PRELUDIUM 21, panel: HS1

305. Argumentacje transcendentalne. Modele i zastosowania

Kierownik: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: PRELUDIUM 21, panel: HS1

306. Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

Kierownik: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Konkurs: OPUS 22, panel: HS1

307. Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

Kierownik: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: PRELUDIUM 20, panel: HS1

308. Struktura pojęciowa liczb naturalnych. Modelowanie kognitywnych systemów przetwarzania informacji ilościowej, numeryczne…

Kierownik: dr Paula Dominika Quinon

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Konkurs: OPUS 21, panel: HS1

309. Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

Kierownik: dr Marcin Lech Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: SONATA 16, panel: HS1

310. Prawdopodobieństwo okresów warunkowych - model grafowy

Kierownik: dr hab. Anna Maria Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 20, panel: HS1

311. Czas, prawda i modalność

Kierownik: dr Jacek Marcin Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: SONATA 16, panel: HS1

312. W stronę kognitywnie wiarygodnego, kompozycyjnego modelu kwantyfikacji w języku naturalnym

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 18, panel: HS1

313. Nietrafność epistemiczna a podstawowe problemy epistemologii formalnej

Kierownik: dr hab. Leszek Jerzy Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: SONATA BIS 9, panel: HS1

314. Nieskończoność i nieskończenie małe

Kierownik: dr hab. Piotr Błaszczyk

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Konkurs: OPUS 16, panel: HS1

315. Semantyczne i epistemologiczne aspekty ostensji: od procedur wskazujących do eksploatacji okoliczności użycia wyrażeń

Kierownik: dr hab. Tadeusz Andrzej Ciecierski

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 15, panel: HS1

316. Pragmatyczna i epistemiczna wartość informacji. Aspekty teorio-decyzyjne, probabilistyczne oraz empiryczne

Kierownik: dr Patryk Dziurosz-Serafinowicz

Uniwersytet Gdański, Wydział Nauk Społecznych

Konkurs: SONATA 13, panel: HS1

317. Niestandardowe modele arytmetyki i formalne teorie prawdy

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: ETIUDA 5, panel: HS1

318. Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym

Kierownik: dr hab. Justyna Anna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 12, panel: HS1

319. Rozumowania hipotetyczne i okresy warunkowe

Kierownik: dr Maciej Dawid Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: FUGA 5, panel: HS1

320. Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

Kierownik: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Konkurs: PRELUDIUM 10, panel: HS1

321. Metateoria systemów tablicowych

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Konkurs: OPUS 10, panel: HS1

322. Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Konkurs: OPUS 9, panel: HS1

323. Nowe perspektywy Arystotelesa "Analityk pierwszych i wtórych". Nowy polski przekład "Analityk" ze wstępem, komentarzem i…

Kierownik: prof. Marian Wesoły

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Konkurs: OPUS 8, panel: HS1

324. Permissions, Information and Institutional Dynamics, Obligations, and Rights

Kierownik: dr hab. Piotr Wojciech Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Konkurs: BEETHOVEN 1, panel: HS1

325. Formalne teorie prawdy i niestandardowe modele arytmetyki

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: PRELUDIUM 7, panel: HS1

326. Structures of Dialogue in Debate and Financial Discourse: Modelling an 'Ore' for Argument Mining (Struktury dialogowe w …

Kierownik: Olena Yaskorska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Konkurs: ETIUDA 2, panel: HS1

327. Rozgałęziający się czas a semantyka zdań o przygodnej przyszłości

Kierownik: dr Jacek Marcin Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: PRELUDIUM 6, panel: HS1

328. Probabilizm Rudolfa Carnapa.

Kierownik: Paweł Szymon Pruski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: PRELUDIUM 5, panel: HS1

329. Deskrypcje nieokreślone. Dwuwymiarowy model znaczenia z typami

Kierownik: dr Justyna Grudzińska-Zawadowska

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 4, panel: HS1

330. Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 3, panel: HS1

331. Ontologia ekstensjonalna i logika filozoficzna

Kierownik: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Konkurs: OPUS 2, panel: HS1

332. Badanie strategii retorycznych w dialogu

Kierownik: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Konkurs: OPUS 2, panel: HS1

333. Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa…

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Konkurs: SONATA 1, panel: HS1

334. Płeć w języku w perspektywie filozoficznej - wyrażenia wskazujące na płeć poprzez rodzaj gramatyczny i konceptualny

Kierownik: Zuzanna Anna Jusińska

Uniwersytet Warszawski

Konkurs: PRELUDIUM 23, panel: HS1

335. Rola praw podmiotowych w pluralistycznym świecie. Znaczenie tezy o pluralizmie wartości dla mechanizmu ochrony praw podm…

Kierownik: Piotr Załęski

Uniwersytet Jagielloński

Konkurs: PRELUDIUM 24, panel: HS5

336. Is general relativity deterministic? Some case studies

Kierownik: Juliusz Doboszewski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: ETIUDA 5, panel: HS1

337. Fenomenologiczne mechanizmy prefabrykowania przestrzeni mentalnych

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

Konkurs: OPUS 11, panel: HS1

338. Zasady refleksji i ich epistemiczne uzasadnienie

Kierownik: prof. Cezary Wiesław Cieśliński

Uniwersytet Warszawski

Konkurs: OPUS 28 (LAP), panel: HS1

339. Racje formułowane przez innych: zastrzeżenia i kontrargumentacja w polilogach

Kierownik: dr hab. Marcin Jan Koszowy

Politechnika Warszawska

Konkurs: WEAVE-UNISONO, panel: HS1

340. Miary złożoności strukturalnej dla teorii podstaw matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Konkurs: WEAVE-UNISONO, panel: HS1

341. Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu

Kierownik: Jakub Róg

Uniwersytet Warszawski

Konkurs: PRELUDIUM 23, panel: HS1

342. Agenci w biologii ewolucyjnej. Case study: koncepcja Unity-of-Purpose

Kierownik: dr Adrian Krzysztof Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 26, panel: HS1

343. Fundamentalne prawa przyrody i ich role w metafizyce

Kierownik: dr Joanna Luc

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: SONATA 19, panel: HS1

344. Machiańskie ramy dla fizyki kwantowej

Kierownik: dr Antonio Vassallo

Politechnika Warszawska

Konkurs: OPUS 25, panel: HS1

345. Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Kierownik: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: PRELUDIUM 22, panel: HS1

346. Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Kierownik: prof. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 24 (LAP), panel: HS1

347. Równoważność w logikach podstrukturalnych

Kierownik: prof. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 23, panel: HS1

348. Stan kwantowy: informacja, wolny wybór, losowość

Kierownik: prof. Tomasz Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: OPUS 23, panel: HS1

349. Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Kierownik: prof. Tomasz Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 22, panel: HS1

350. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Kierownik: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 20, panel: HS1

Wyszukiwarka projektów