Lukáš Bielik

Explikácia patrí medzi kľúčové metódy analytickej filozofie. V tejto práci predstavujem návrh explicitného odlíšenia metódy explikácie od jej výsledku. V nadväznosti na prácu Rudolfa Carnapa sa snažím jeho explikačný projekt rozvinúť. Poukazujem na otvorené problémy Carnapovych kritérií adekvátnej explikácie; ukazujem, v čom sa explikácie od definícií líšia, aká je ich logická forma a ktoré explicitné kroky sú typické pre metódu explikácie. Napokon, približujem dôvody, pre ktoré je možné explikáciu chápať ako reláciu nahradenia medzi významovou charakterizáciou a definíciou určitého druhu.

The paper focuses on the problem of identification of laws of nature and their demarcation from other kinds of regularities. The problem is approached from the viewpoint of several metaphysical, epistemological, logical and methodological criteria. Firstly, several dominant approaches to the problem are introduced. Secondly, the logical and semantic explicatory framework – Transparent Intensional Logic – is presented for the sake of clarification of logical forms of sentences that are supposed to express the laws of nature. Finally, a complementary strategy to the demarcation problem is proposed, including reconsideration of relevant metaphysical, epistemological, logical and methodological requirements and principles behind the former conceptions

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically.

The paper presents a two-level approach to an assessment of meaning theories. To begin with, language is distinguished from lan guage-model and, analogously, meaning is discerned from a model of meaning. The first level of a theory assessment is presented as dealing with the relation of a model of meaning to intra-theoretical aims and assumptions of a theory with specific language-model. The second level of assessment concerns ontological, epistemological, logical and other assumptions underlying the respective language-model. Finally, several questions are set forth as methodological directives for elucidating hidden assumptions behind the theories of meaning

Carnap’s analysis of the language of science had presupposed too close a connection between the semantics and testability. The core problem of the logical empiricist tradition was to show how to provide the interpretation of theoretical terms and hence the explanation of their application to observable entities by means of observation terms. It is argued that the utilization of a much more expressive semantic theory which identifies meanings with hyperintensional entities leads to a clarification of the competencies of semantics and methodology. It is claimed that the observability or unobservability of term’s referents does not determine the meaning of the term. Carnap’s reduction sentences are therefore conceived only as methodological devices for the determination of unobservables via the theory-presupposed observable aspects

The paper presents the logical milieu of the Paradox of ravens, identified by Hempel in his Studies in the Logic of Confirmation. It deals with Hempel’s interpretations of Nicod’s criterion of confirmation as well as with its inadmissible consequences. I, subsequently, suggest an epistemological and semantic specification of empirical properties, i.e., of their identity; then I formulate a criterion of the test of properties expressed by empirical hypothesis. Finally, I propose a procedural conception of confirmation by means of the testing procedure schema. The confirmation is, therefore, conceived as an attribute which can be ascribed to a hypothesis through the process of its testing. The methods of testing are central to the hypothesis’s qualifica-tion as confirmed

The so-called „Covering Law Model“ of explanation proposed by C. Hempel and R. Oppenheim was claimed to have been applied as an explanatory model in natural sciences as well as in humanities. Several objections were raised against this explanatory model during the second half of 20th century. This article considers the proposed criteria of adequacy of scientific explanation and, in particular, the possibilities and limitations connected with the idea of its applicability in the process of logical reconstruction of historical explanations. In the final part of the paper I introduce some remarks concerning the „methodological“ relation of dependence between the explanandum and the explanans which could also illuminate the proper role of this explanatory model in history

The paper deals with some logical, semantic and methodological aspects of defining and definitions. First of all, basic features of the background semantic theory are specified. Next, three different kinds of definitions are distinguished: codifying definitions, objectual analytic definitions and meaning analytic definitions. It is shown that the relationships between the definiendum and the definiens in a given definition differ with respect to these different kinds of definition. Furthermore, it is argued that definitions and defining are intrinsically connected with so called conceptual systems. Finally, definitions are distinguished from explications

The paper deals with the New Riddle of Induction set forth by N. Goodman in his Fact, Fiction, and Forecast. The problem is introduced through the definition of grue-predicate. The relation between the grue-hypothesis and empirical evidence is examined. Goodman’s underlying thesis about the neutrality of empirical evidence is undermined. The intelligibility of the idea that disjunctive properties such as Grue can be observed and seen is questioned. A solution of Goodman’s riddle is outlined by means of the definition of the identity of empirical properties and further deve- loped through postulating of the necessary condition of induction executability which prohibits the inference from “Some a, b, c, d emeralds are green” to the hypothesis “All emeralds are grue”