Projects search

• Keywords: filozofia nauki ×

Change search criteria ↓

Search results

1 010 projects found matching your search criteria:

301. 301. Relation based semantics: axiomatic and tableaux proof-calculi

     Principal investigator: dr hab. Tomasz Dariusz Jarmużek

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

     Call: OPUS 26, Panel: HS1

302. 302. Epistemic inaccuracy -- what's next?

     Principal investigator: dr hab. Leszek Jerzy Wroński

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: OPUS 24, Panel: HS1

303. 303. Logical and epistemological criteria of salience in the foundations of mathematics

     Principal investigator: dr Mateusz Zbigniew Łełyk

     Uniwersytet Warszawski, Wydział Filozofii

     Call: SONATA BIS 12, Panel: HS1

304. 304. Dynamic epistemic logic and the problem of logical omniscience

     Principal investigator: Arkadiusz Jerzy Wójcik

     Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

     Call: PRELUDIUM 21, Panel: HS1

305. 305. Transcendental Arguments. Models and Applications

     Principal investigator: Stanisław Jędrczak

     Uniwersytet Warszawski, Wydział Filozofii

     Call: PRELUDIUM 21, Panel: HS1

306. 306. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

     Principal investigator: prof. Andrzej Pietruszczak

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

     Call: OPUS 22, Panel: HS1

307. 307. Reinterpreting anaphora: towards ambiguity-first approach

     Principal investigator: Antonina Weronika Jamrozik

     Uniwersytet Warszawski, Wydział Filozofii

     Call: PRELUDIUM 20, Panel: HS1

308. 308. Conceptual structure of natural numbers. Modeling numerical cognition by conceptual spaces

     Principal investigator: dr Paula Dominika Quinon

     Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

     Call: OPUS 21, Panel: HS1

309. 309. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

     Principal investigator: dr Marcin Lech Trepczyński

     Uniwersytet Warszawski, Wydział Filozofii

     Call: SONATA 16, Panel: HS1

310. 310. Probability of conditionals - a stochastic graph model

     Principal investigator: dr hab. Anna Maria Wójtowicz

     Uniwersytet Warszawski, Wydział Filozofii

     Call: OPUS 20, Panel: HS1

311. 311. Time, Truth and modality

     Principal investigator: dr Jacek Marcin Wawer

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: SONATA 16, Panel: HS1

312. 312. Towards a cognitively plausible compositional model for natural language quantification

     Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

     Uniwersytet Warszawski, Wydział Filozofii

     Call: OPUS 18, Panel: HS1

313. 313. Epistemic inaccuracy and foundational issues in formal epistemology

     Principal investigator: dr hab. Leszek Jerzy Wroński

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: SONATA BIS 9, Panel: HS1

314. 314. Infinity and infinitesimals

     Principal investigator: dr hab. Piotr Błaszczyk

     Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

     Call: OPUS 16, Panel: HS1

315. 315. Semantic and epistemological aspects of ostension: from demonstrating procedures to exploitation of the context of utter…

     Principal investigator: dr hab. Tadeusz Andrzej Ciecierski

     Uniwersytet Warszawski, Wydział Filozofii

     Call: OPUS 15, Panel: HS1

316. 316. The pragmatic and epistemic value of information. Decision-theoretic, probabilistic, and empirical aspects

     Principal investigator: dr Patryk Dziurosz-Serafinowicz

     Uniwersytet Gdański, Wydział Nauk Społecznych

     Call: SONATA 13, Panel: HS1

317. 317. Niestandardowe modele arytmetyki i formalne teorie prawdy

     Principal investigator: Michał Tomasz Godziszewski

     Uniwersytet Warszawski, Wydział Filozofii

     Call: ETIUDA 5, Panel: HS1

318. 318. Semantics with continuations and dependent types: exploring mechanisms of natural language quantification

     Principal investigator: dr hab. Justyna Anna Grudzińska-Zawadowska

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: OPUS 12, Panel: HS1

319. 319. Rozumowania hipotetyczne i okresy warunkowe

     Principal investigator: dr Maciej Dawid Sendłak

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: FUGA 5, Panel: HS1

320. 320. Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

     Principal investigator: Mateusz Klonowski

     Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

     Call: PRELUDIUM 10, Panel: HS1

321. 321. Metatheory of Tableau Systems

     Principal investigator: dr hab. Tomasz Dariusz Jarmużek

     Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

     Call: OPUS 10, Panel: HS1

322. 322. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n…

     Principal investigator: dr hab. Piotr Łukowski

     Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

     Call: OPUS 9, Panel: HS1

323. 323. New Perspectives on Aristotle's "Prior and Posterior Analytics". A new Polish Translation of the "Analytics" with Introd…

     Principal investigator: prof. Marian Wesoły

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

     Call: OPUS 8, Panel: HS1

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

     Principal investigator: dr hab. Piotr Wojciech Kulicki

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

     Call: BEETHOVEN 1, Panel: HS1

325. 325. Formal theories of truth and nonstandard models of arithmetic

     Principal investigator: Michał Tomasz Godziszewski

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: PRELUDIUM 7, Panel: HS1

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

     Principal investigator: Olena Yaskorska

     Instytut Filozofii i Socjologii Polskiej Akademii Nauk

     Call: ETIUDA 2, Panel: HS1

327. 327. Branching time and the semantics of future contingents

     Principal investigator: dr Jacek Marcin Wawer

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: PRELUDIUM 6, Panel: HS1

328. 328. Probabilism of Rudolf Carnap.

     Principal investigator: Paweł Szymon Pruski

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: PRELUDIUM 5, Panel: HS1

329. 329. Indefinites. Two-dimensional system with types

     Principal investigator: dr Justyna Grudzińska-Zawadowska

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: OPUS 4, Panel: HS1

330. 330. The methods of formalization and criteria for the rationality of reasoning

     Principal investigator: dr hab. Anna Wójtowicz

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: OPUS 3, Panel: HS1

331. 331. Extensional Ontology and Philosophical Logic

     Principal investigator: dr hab. Andrzej Paweł Biłat

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

     Call: OPUS 2, Panel: HS1

332. 332. Exploring rhetorical strategies in a dialogue

     Principal investigator: dr hab. Katarzyna Budzyńska

     Instytut Filozofii i Socjologii Polskiej Akademii Nauk

     Call: OPUS 2, Panel: HS1

333. 333. Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical …

     Principal investigator: dr Robert Trypuz

     TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

     Call: SONATA 1, Panel: HS1

334. 334. Gendered language from a philosophical perspective - indicating the gender of the referent via grammatical and conceptua…

     Principal investigator: Zuzanna Anna Jusińska

     Uniwersytet Warszawski

     Call: PRELUDIUM 23, Panel: HS1

335. 335. Rights in a Pluralist World: Value Pluralism and Its Implications for Rights Protection and Constitutional Systems

     Principal investigator: Piotr Załęski

     Uniwersytet Jagielloński

     Call: PRELUDIUM 24, Panel: HS5

336. 336. Is general relativity deterministic? Some case studies

     Principal investigator: Juliusz Doboszewski

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: ETIUDA 5, Panel: HS1

337. 337. Phenomenological mechanisms of prefabricating mental spaces

     Principal investigator: dr hab. Wojciech Sławomir Krysztofiak

     Uniwersytet Szczeciński, Instytut Filozofii i Kognitywistyki

     Call: OPUS 11, Panel: HS1

338. 338. Reflection principles and their epistemic warrant

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

     Uniwersytet Warszawski

     Call: OPUS 28 (LAP), Panel: HS1

339. 339. Reasons of the others: concession and counterargument in polylogues

     Principal investigator: dr hab. Marcin Jan Koszowy

     Politechnika Warszawska

     Call: WEAVE-UNISONO, Panel: HS1

340. 340. Structural complexity measures for foundational theories

     Principal investigator: dr Mateusz Zbigniew Łełyk

     Uniwersytet Warszawski

     Call: WEAVE-UNISONO, Panel: HS1

341. 341. Time in Quantum Mechanics: Comparing Interpretations of Quantum Mechanics through the Problem of Time

     Principal investigator: Jakub Róg

     Uniwersytet Warszawski

     Call: PRELUDIUM 23, Panel: HS1

342. 342. Agents in Evolutionary Biology. Case study: the concept of Unity-of-Purpose

     Principal investigator: dr Adrian Krzysztof Stencel

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: OPUS 26, Panel: HS1

343. 343. Fundamental laws of nature and their roles in metaphysics

     Principal investigator: dr Joanna Luc

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: SONATA 19, Panel: HS1

344. 344. A Machian framework for quantum physics

     Principal investigator: dr Antonio Vassallo

     Politechnika Warszawska

     Call: OPUS 25, Panel: HS1

345. 345. Post completeness vs neighborhood completeness in classical modal logics

     Principal investigator: Krzysztof Aleksander Krawczyk

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: PRELUDIUM 22, Panel: HS1

346. 346. Representations of algebraic semantics for substructural logics

     Principal investigator: prof. Tomasz Stanisław Kowalski

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: OPUS 24 (LAP), Panel: HS1

347. 347. Equivalence in Substructural Logics

     Principal investigator: prof. Tomasz Stanisław Kowalski

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: OPUS 23, Panel: HS1

348. 348. Quantum State: Information, Free Choice, Randomness

     Principal investigator: prof. Tomasz Grzegorz Placek

     Uniwersytet Jagielloński, Wydział Filozoficzny

     Call: OPUS 23, Panel: HS1

349. 349. The categories of qualitativeness and individuality in logic, ontology and physics

     Principal investigator: prof. Tomasz Franciszek Bigaj

     Uniwersytet Warszawski, Wydział Filozofii

     Call: OPUS 22, Panel: HS1

350. 350. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

     Principal investigator: dr Jeffrey John Ketland

     Uniwersytet Warszawski, Wydział Filozofii

     Call: OPUS 20, Panel: HS1