Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School
The starting point of this paper is conceptual-terminological specifica[1]tion within the class of transformations performed on language formulas. The following types of transformations are distinguished: enlargement, generalization, extrapolation and variabilization – as well as standardization, sc...
Saved in:
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | Polish |
| Published: |
Wydawnictwo Uniwersytetu Łódzkiego
2025
|
| Online Access: | ONIX_20250307_9788382200355_778 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869518996610482176 |
|---|---|
| author | Jadacki, Jacek |
| author_browse | Jadacki, Jacek |
| author_facet | Jadacki, Jacek |
| author_sort | Jadacki, Jacek |
| collection | Directory of Open Access Books |
| description | The starting point of this paper is conceptual-terminological specifica[1]tion within the class of transformations performed on language formulas. The following types of transformations are distinguished: enlargement, generalization, extrapolation and variabilization – as well as standardization, schematization and clarification. The term “formalization” is sometimes used as a synonym for “variabilization”, “schematization” (that is, in the basic sense basic sense), or “axiomatization.” Each theory is inherently a formal theory (in the basic sense); therefore, the opposition of formal theories to informal theories, and in particular of formal logic to informal logic, has no reason for existence; instead of the formality vel informality of some theories, e.g. logic, one should say that one theory, in particular a logical theory, is more (or less) formal than another. The motive for postulating informal logic is the charge of inadequacy against traditional formal logic. In fact, what is practiced under the banner of “informal logic” is sometimes the result of operations that have been called “clarification” here, or such an extension of classical logic that would be a theory of argumentation more adequate than the latter. Tekst powstał w ramach projektu 2015/18/E/HS1/00478 „Filozofia z metodologicznego punktu widzenia. Kondycja i perspektywy dyscyplin filozoficznych w świetle paradygmatu Szkoły Lwowsko-Warszawskiej” finansowanego przez Narodowe Centrum Nauki. |
| format | Online |
| id | doab-20.500.12854ir-155353 |
| institution | Directory of Open Access Books |
| language | pol |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Wydawnictwo Uniwersytetu Łódzkiego |
| publisherStr | Wydawnictwo Uniwersytetu Łódzkiego |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1553532025-03-07T14:09:49Z Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School Jadacki, Jacek The starting point of this paper is conceptual-terminological specifica[1]tion within the class of transformations performed on language formulas. The following types of transformations are distinguished: enlargement, generalization, extrapolation and variabilization – as well as standardization, schematization and clarification. The term “formalization” is sometimes used as a synonym for “variabilization”, “schematization” (that is, in the basic sense basic sense), or “axiomatization.” Each theory is inherently a formal theory (in the basic sense); therefore, the opposition of formal theories to informal theories, and in particular of formal logic to informal logic, has no reason for existence; instead of the formality vel informality of some theories, e.g. logic, one should say that one theory, in particular a logical theory, is more (or less) formal than another. The motive for postulating informal logic is the charge of inadequacy against traditional formal logic. In fact, what is practiced under the banner of “informal logic” is sometimes the result of operations that have been called “clarification” here, or such an extension of classical logic that would be a theory of argumentation more adequate than the latter. Tekst powstał w ramach projektu 2015/18/E/HS1/00478 „Filozofia z metodologicznego punktu widzenia. Kondycja i perspektywy dyscyplin filozoficznych w świetle paradygmatu Szkoły Lwowsko-Warszawskiej” finansowanego przez Narodowe Centrum Nauki. 2025-03-07T14:09:48Z 2025-03-07T14:09:48Z 2020 chapter ONIX_20250307_9788382200355_778 9788382200355 9788382200348 https://directory.doabooks.org/handle/20.500.12854/155353 pol image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.press.uni.lodz.pl/index.php/wul/catalog/book/213 Wydawnictwo Uniwersytetu Łódzkiego 10.18778/8220-034-8.03 The starting point of this paper is conceptual-terminological specifica[1]tion within the class of transformations performed on language formulas. The following types of transformations are distinguished: enlargement, generalization, extrapolation and variabilization – as well as standardization, schematization and clarification. The term “formalization” is sometimes used as a synonym for “variabilization”, “schematization” (that is, in the basic sense basic sense), or “axiomatization.” Each theory is inherently a formal theory (in the basic sense); therefore, the opposition of formal theories to informal theories, and in particular of formal logic to informal logic, has no reason for existence; instead of the formality vel informality of some theories, e.g. logic, one should say that one theory, in particular a logical theory, is more (or less) formal than another. The motive for postulating informal logic is the charge of inadequacy against traditional formal logic. In fact, what is practiced under the banner of “informal logic” is sometimes the result of operations that have been called “clarification” here, or such an extension of classical logic that would be a theory of argumentation more adequate than the latter. Tekst powstał w ramach projektu 2015/18/E/HS1/00478 „Filozofia z metodologicznego punktu widzenia. Kondycja i perspektywy dyscyplin filozoficznych w świetle paradygmatu Szkoły Lwowsko-Warszawskiej” finansowanego przez Narodowe Centrum Nauki. 10.18778/8220-034-8.03 83bfe9c9-323d-4283-b087-d859fd9af314 9788382200355 9788382200348 37-50 open access |
| spellingShingle | Jadacki, Jacek Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title | Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title_full | Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title_fullStr | Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title_full_unstemmed | Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title_short | Chapter Semi-formal Analysis of the Formality-Informality Opposition in the Spirit of the Lvov-Warsaw School |
| title_sort | chapter semi formal analysis of the formality informality opposition in the spirit of the lvov warsaw school |
| url | ONIX_20250307_9788382200355_778 |
| work_keys_str_mv | AT jadackijacek chaptersemiformalanalysisoftheformalityinformalityoppositioninthespiritofthelvovwarsawschool |