Analiza semi-formalna opozycji formalność–informalność w duchu Szkoły Lwowsko-Warszawskiej

Jadacki, Jacek

dc.contributor.author	Jadacki, Jacek
dc.contributor.editor	Maciaszek, Janusz
dc.date.accessioned	2020-12-29T10:03:13Z
dc.date.available	2020-12-29T10:03:13Z
dc.date.issued	2020
dc.identifier.citation	Jadacki J., Analiza semi-formalna opozycji formalność–informalność w duchu Szkoły Lwowsko-Warszawskiej, [w:] Analiza, racjonalność, filozofia religii. Księga jubileuszowa dedykowana Profesorowi Ryszardowi Kleszczowi, Maciaszek J. (red.), Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2020, s. 37-50, doi: 10.18778/8220-034-8.03	pl_PL
dc.identifier.isbn	978-83-8220-034-8
dc.identifier.uri	http://hdl.handle.net/11089/32984
dc.description	Punktem wyjścia tego artykułu jest precyzacja pojęciowo-terminologiczna w klasie transformacji przeprowadzonych na formułach językowych. Wyróżnia się następujące typy transformacji: ekstendyzację, generalizację, ekstrapolację i wariabilizację, a także standaryzację, schematyzację i klaryfikację. Termin „formalizacja” jest czasami używany jako synonim „wariabilizacji”, „schematyzacji” (w sensie podstawowym) lub „aksjomatyzacji”. Każda teoria jest z natury teorią formalną (w sensie podstawowym); dlatego przeciwstawianie teorii formalnych teoriom informalnym, a w szczególności logiki formalnej logice informalnej, nie ma racji bytu – i zamiast o formalności vel informalności jakichś teorii, np. logiki, należałoby mówić o tym, że jedna teoria, w szczególności teoria logiczna, jest bardziej (lub mniej) formalna od innej. Motywem postulowania logiki informalnej jest zarzut nieadekwatności formułowany w stosunku do tradycyjnej logiki formalnej. W praktyce to, co uprawia się pod hasłem „logiki informalnej”, jest czasem wynikiem operacji, które zostały tutaj nazwane „klaryfikacją”, lub takim rozszerzeniem logiki klasycznej, które byłoby adekwatniejsze jako teoria argumentacji.	pl_PL
dc.language.iso	pl	pl_PL
dc.publisher	Wydawnictwo Uniwersytetu Łódzkiego	pl_PL
dc.relation.ispartof	Maciaszek J. (red.), Analiza, racjonalność, filozofia religii. Księga jubileuszowa dedykowana Profesorowi Ryszardowi Kleszczowi, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2020;
dc.relation.ispartofseries	Bibliotheca Philosophica;6
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Międzynarodowe	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	aksjomatyzacja	pl_PL
dc.subject	formalizacja	pl_PL
dc.subject	klaryfikacja	pl_PL
dc.subject	logika klasyczna	pl_PL
dc.subject	teoria informalna	pl_PL
dc.subject	teoria formalna	pl_PL
dc.subject	schematyzacja	pl_PL
dc.subject	teoria argumentacji	pl_PL
dc.subject	transformacja	pl_PL
dc.title	Analiza semi-formalna opozycji formalność–informalność w duchu Szkoły Lwowsko-Warszawskiej	pl_PL
dc.type	Book chapter	pl_PL
dc.page.number	37-50	pl_PL
dc.identifier.eisbn	978-83-8220-035-5
dc.references	Ajdukiewicz K. (1955), Klasyfikacja rozumowań, [w:] idem, Język i poznanie, t. 2, PWN, Warszawa, s. 206–225.	pl_PL
dc.references	Ajdukiewicz K. (1965a), Język i poznanie, t. 2, PWN, Warszawa.	pl_PL
dc.references	Ajdukiewicz K. (1965b), Logika pragmatyczna, PWN, Warszawa.	pl_PL
dc.references	Bocheński J.M. (1961), A History of Formal Logic, University of Notre Dame Press, Notre Dame (Indiana).	pl_PL
dc.references	Groarke L. (2017), Informal Logic, Stanford Encyclopedia of Philosophy, https://plato.stanford. edu/entries/logic-informal/ (dostęp: 18.04.2020).	pl_PL
dc.references	Jadacki J. (2002), Spór o granice języka, Wydawnictwo Naukowe Semper, Warszawa.	pl_PL
dc.references	Kotarbiński T. (1929), Elementy teorii poznania, logiki formalnej i metodologii nauk, Ossolineum, Wrocław.	pl_PL
dc.references	Łukasiewicz J. [1928] (1998), O metodę w filozofii, [w:] idem, Logika i metafizyka, WFiS UW, Warszawa.	pl_PL
dc.references	Newton I. [1687] (1739), Philosophiae naturalis principia mathematica, t. 1, Typis Barrillot & Filii Bibliop. & Typogr., Genevae.	pl_PL
dc.references	Twardowski K. (1917), Symbolizm logiczny a myślenie (ineditum).	pl_PL
dc.identifier.doi	10.18778/8220-034-8.03