Tha nature of logical forms and modern logic
Project goals
Logical forms have been in the centre of attention of modern logic since the pioneering works of Russell. However, the views of their nature are widely divergent among logicians. Some scholars situate them into a Platonist heaven, some into the human mind, and others into the real world; moreover, some logicians see them as part of the subject matter of logic, whereas others rather see them as its tool. This state is symptomatic of the somewhat intricate situation of the present day logic, which abounds with theories that vary as to their principles, methods and aims (rather significantly, the differing views of logical forms are often only implicit in the works of the logicians rather than being openly articulated). Our project will deal with the role of logical forms and, more generally, with the point of their scrutinizing. Our main hypothesis is that theories working with formal languages establish their status of logical theories by complying with specific methodological standards. Getting a grasp on these standards may help to locate the place of logic among other sciences.
Keywords
philosophy of logiclogical formanti-exceptionalismreflective equilibrium
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202000001
Main participants
Filosofický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
20-18675S
Alternative language
Project name in Czech
Povaha logických forem a moderní logika
Annotation in Czech
Logické formy se nacházejí v centru pozornosti logiky od času průkopnických prací B. Russella. V chápání jejich povahy se nicméně různí logikové poměrně zásadně liší. Někteří je situují do říše platónských entit, jiní do lidské mysli a další do reálného světa; navíc někteří logikové je pojímají jako předmět logických zkoumání, zatímco jiní je chápou jako nástroj těchto zkoumání. Tento stav je příznačný pro poněkud nepřehlednou situaci soudobé logiky, která překypuje teoriemi, jež se liší co do svých východisek, metod a cílů (je signifikantní, že rozdílnost názorů na povahu logických forem lze mnohdy spíše nepřímo vyčíst z prací jednotlivých logiků než nalézt v otevřeně formulované podobě). Náš projekt se bude zabývat rolí logických forem a obecně smyslem bádání zaměřeného na logické formy. Naše hlavní hypotéza je, že teorie, které pracují s formálními jazyky, získávají status logických teorií, pokud vyhoví specifickým metodologickým standardům. Jejich pochopení nám může pomoci určit místo logiky mezi dalšími vědami.
Scientific branches
Solution timeline
Realization period - beginning
Jan 1, 2020
Realization period - end
Dec 31, 2022
Project status
—
Latest support payment
Apr 8, 2022
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP23-GA0-GA-R
Data delivery date
Jun 26, 2023
Finance
Total approved costs
4,306 thou. CZK
Public financial support
4,306 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 306 CZK thou.
Public support
4 306 CZK thou.
100%
Provider
Czech Science Foundation
OECD FORD
Philosophy, History and Philosophy of science and technology
Solution period
01. 01. 2020 - 31. 12. 2022