All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

1 378 (0,144s) •

Project

Probabilistic reasoning in late scholastic logic (GA17-12408S)

in scholastic logic and late scholastic analysis of inductive reasoning. Historically reasoning, i.e., the type of arguments which are probabilistic (i.e., not necessarily are: late scholastic view of probability and proba...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 896 tis. Kč
    • •
  • 896 tis. Kč
    • •
  • GA ČR
Project

Logical models of reasoning and argumentation in natural language (GA17-15645S)

and reasoning and their logical analyses and models; and thus to contributeThe main goal of the project is the reconsideration of the relevance of logical scholarly journals offer an abundance of systems which are supposed...

AA - Filosofie a náboženství

  • 2017 - 2019
    • •
  • 4 381 tis. Kč
    • •
  • 4 381 tis. Kč
    • •
  • GA ČR
Project

Representations of algebraic semantics for substructural logics (GF24-14386L)

reasoning or in artificial intelligence systems. This makes substructural logics useful (intuitionistic logic), approximate reasoning (many-valued logics), content-respecting reasoning (relevant ...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Project

Non-classical logical models of information dynamics (GJ18-19162Y)

Reasoning about modifications of information available to cognitive agents. A better understanding of mechanisms of such reasoning is important both from the practical viewpoint and in the context of epistemology. The project studie...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2022
    • •
  • 4 005 tis. Kč
    • •
  • 4 005 tis. Kč
    • •
  • GA ČR
Project

Metamathematics of substructural modal logics (GA22-01137S)

Classical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning about the modes of truth, such...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
Project

Approximate reasoning and generalized quantifiers (GA201/04/1033)

classes ofthem, which are specific for fuzzy logic. 3. Study of approximate reasoning of approximate reasoning and to extend it by generalized quantifiers. The grant is focused on solution of the following problems: 1. Ext...

BA - Obecná matematika

  • 2004 - 2006
    • •
  • 1 180 tis. Kč
    • •
  • 1 180 tis. Kč
    • •
  • GA ČR
Project

Reasoning with graded properties (GA18-00113S)

. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should. We aim at developing a logical framework for reasoning with graded properties that, by employing formal tools from mathematical f...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2023
    • •
  • 5 549 tis. Kč
    • •
  • 4 381 tis. Kč
    • •
  • GA ČR
Project

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing with language and reasoning. We will build on our previous r...

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 tis. Kč
    • •
  • GA ČR
Project

Logical foundations of semantics and knowledge representation (GD401/03/H047)

. That is the reason why we will also compare different approaches in logic as well as in philosophy learned so far. Critical investigations of logical foundations of reasoningIn this project we will study logi...

AA - Filosofie a náboženství

  • 2003 - 2007
    • •
  • 8 523 tis. Kč
    • •
  • 8 523 tis. Kč
    • •
  • GA ČR
Project

School of doctoral studies in archaeology (GD404/03/H046)

. That is the reason why we will also compare different approaches in logic as well as in philosophy learned so far. Critical investigations of logical foundations of reasoningIn this project we will study logi...

AC - Archeologie, antropologie, etnologie

  • 2003 - 2007
    • •
  • 8 993 tis. Kč
    • •
  • 8 993 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 378