Opis projektu
Odkrywanie znaczeń poprzez logikę intensjonalności
Pojęcia intensjonalne, takie jak własność, dowód, możliwość i konieczność, kształtują nasz światopogląd, ale rodzą paradoksy, które nigdy nie zostały rozwiązane. Stanowią one wyzwanie dla teorii znaczenia, które leżą u podstaw filozofii i językoznawstwa. Finansowany przez ERBN projekt GOOD INTENSIONS ma na celu rozwiązanie paradoksów intensjonalnych poprzez przyjęcie podejścia do logiki i języka skoncentrowanego na dowodach. Mówiąc dokładniej, projekt stawia sobie za cel stworzenie dobrze umotywowanych i spójnych teorii własności, dowodu, możliwości i konieczności. Teorie te zostaną następnie przetestowane, a rezultaty badań powinny utorować drogę do lepszego zrozumienia intensjonalności.
Cel
Intensional notions such as those of property, content, proof, possibility and necessity are central to philosophy, logic, mathematics and linguistics. However, these notions are threatened by paradoxes reminiscent of those that plagued the foundations of mathematics at the beginning of the XX century. And while a consensus has emerged over which shape a foundation of mathematics should take, the intensional paradoxes are still awaiting solution. Indeed, the intensional paradoxes affect the major theories of content that in recent years have brought about what has been hailed as a hyperintensional revolution, with many applications in philosophy and linguistics.
The GOOD INTENSIONS project aims to provide new philosophical, semantical and logical foundations for intensional notions, which will deliver a comprehensive and uniform solution to the intensional paradoxes. To achieve this, GOOD INTENSIONS will develop a fundamentally new approach to intensionality based on three ground-breaking ideas: a general, function-first approach to intensional talk, focused on its expressive role; a new, proof-theoretic approach to the semantics of intensional vocabulary; an original approach to the intensional paradoxes based on the use of intensional vocabulary in hypothetical contexts.
The resulting new approach to intensionality will be used to develop new theories and logics of properties, content, proof and modality which are philosophically and linguistically motivated, paradox-free and logically strong. As a proof of concept for the new approach to intensionality, the new theories and logics will be applied to central philosophical questions, such as the question of whether the mind is a machine and the question of realism about properties.
Based at the ILLC and advised by an international board of researchers, GOOD INTENSIONS will use an interdisciplinary methodology to revolutionize the study of intensionality.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki humanistyczne jękoznawstwo i literaturoznawstwo językoznawstwo
- nauki społeczne nauki polityczne przemiany polityczne rewolucje
- nauki humanistyczne filozofia, etyka i religia filozofia
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Słowa kluczowe
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
-
HORIZON.1.1 - European Research Council (ERC)
GŁÓWNY PROGRAM
Wyświetl wszystkie projekty finansowane w ramach tego programu
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
HORIZON-ERC - HORIZON ERC Grants
Wyświetl wszystkie projekty finansowane w ramach tego programu finansowania
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
(odnośnik otworzy się w nowym oknie) ERC-2024-ADG
Wyświetl wszystkie projekty finansowane w ramach tego zaproszeniaInstytucja przyjmująca
Kwota netto dofinansowania ze środków Unii Europejskiej. Suma środków otrzymanych przez uczestnika, pomniejszona o kwotę unijnego dofinansowania przekazanego powiązanym podmiotom zewnętrznym. Uwzględnia podział unijnego dofinansowania pomiędzy bezpośrednich beneficjentów projektu i pozostałych uczestników, w tym podmioty zewnętrzne.
1012WX Amsterdam
Niderlandy
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.