Metalogical properties, being logical and being formal

Bibliographic description

title:	Metalogical properties, being logical and being formal
author:	Woleński Jan
journal title:	Logic and Logical Philosophy
volume:	10
date of publication :	2002
pages:	212-221
ISSN:	1425-3305
eISSN:	2300-9802
DOI:	10.12775/LLP.2002.013
URL:	https://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2002.013/2719
date accessed:	2020-01-09
notes:	Bibliogr. s. 220-221
language:	English
journal language:	English
abstract in English:	The predicate 'being logical' has at least four applications. We can apply it to concepts, propositions, sets of propositions (systems, theories) and methods. The concepts of quantifier or disjunction are logical but those of horse or water are not. Some propositions, for instance, the principle of excluded middle, are logical, others, for instance the law of gravity, are not. Propositional calculus is a logical theory (belongs to logic), but the theory of evolution is not. In a sense, the problem of logical propositions reduces itself to the question of logical systems, because we can say that A is logical if and only if it belongs to a logical systems (however, see below). Finally, deduction is a logical method of justification, but observation is not.
keywords in Polish:	logika
keywords in English:	logic
affiliation:	Wydział Filozoficzny : Instytut Filozofii
type:	journal article
subtype:	academic paper