Fueled by ever-growing amounts of (digital) data and advances in artificial intelligence, decision-making in contemporary societies is increasingly delegated to automated processes. Drawing from social science theories and from the emerging body of research about algorithmic appreciation and algorithmic perceptions, the current study explores the extent to which personal characteristics can be linked to perceptions of automated decision-making by AI, and the boundary conditions of these perceptions, namely the extent to which such perceptions differ across media, (public) health, and judicial (...) contexts. Data from a scenario-based survey experiment with a national sample (N = 958) show that people are by and large concerned about risks and have mixed opinions about fairness and usefulness of automated decision-making at a societal level, with general attitudes influenced by individual characteristics. Interestingly, decisions taken automatically by AI were often evaluated on par or even better than human experts for specific decisions. Theoretical and societal implications about these findings are discussed. (shrink)

This monograph presents new ideas in nomic truth approximation. It features original and revised papers from a philosopher of science who has studied the concept for more than 35 years. Over the course of time, the author's initial ideas evolved. He discovered a way to generalize his first theory of nomic truth approximation, viz. by dropping an unnecessarily strong assumption. In particular, he first believed to have to assume that theories were maximally specific in the sense that they did not (...) only exclude certain conceptual possibilities, but also that all non-excluded possibilities were in fact claimed to be nomically possible. Now, he argues that the exclusion claim alone, or for that matter the inclusion claim alone, is sufficient to motivate the formal definition of being closer to the nomic truth. The papers collected here detail this generalized view of nomic truthlikeness or verisimilitude. Besides this, the book presents, in adapted form, the relation with several other topics, such as, domain revision, aesthetic progress, abduction, inference to the best explanation, pragmatic aspects, probabilistic methods, belief revision and epistemological positions, notably constructive realism. Overall, the volume presents profound insight into nomic truth approximation. This idea seeks to determine how one theory can be closer to, or more similar to, the truth about what is nomically, e.g. physically, chemically, biologically, possible than another theory. As a result, it represents the ultimate goal of theory oriented empirical science. Theo Kuipers is the author of Studies in Inductive Probability and Rational Expectation, From Instrumentalism to Constructive Realism and Structures in Science. He is the volume-editor of the Handbook on General Philosophy of Science. In 2005 there appeared two volumes of Essays in Debate with Theo Kuipers, entitled Confirmation, Empirical Progress, and Truth Approximation and Cognitive Structures in Scientific Inquiry. (shrink)

Theo Verbeek provides the first book-length examination of the initial reception of Descartes’s written works. Drawing on his research of primary materials written in Dutch and Latin and found in libraries all over Europe, even including the Soviet Union, Theo Verbeek opens a period of Descartes’s life and of the development of Cartesian philosophy that has been virtually closed since Descartes’s death. Verbeek’s aim is to provide as complete a picture as possible of the discussions that accompanied the (...) introduction of Descartes’s philosophy into Dutch universities, especially those in Utrecht and Leiden, and to analyze some of the major problems that philosophy raised in the eyes of Aristotelian philosophers and orthodox theologians. The period covered extends from 1637, the year in which Descartes published his _Discours de la Méthode, _until his death in 1650. Verbeek demonstrates how Cartesian philosophy moved successfully into the schools and universities of Holland and how this resulted in a real evolution of Descartes’s thought beyond the somewhat dogmatic position of Descartes himself. Verbeek further argues that this progression was an essential step in the universal propagation of Cartesian philosophy throughout Europe during the second half of the seventeenth century. As he details the disputes between Cartesians and anti-Cartesians in Holland, Verbeek shows how the questions raised were related on the one hand to religious conflicts between the Remonstrants and the Orthodox Calvinists and on the other hand to political conflicts between more liberal factions fighting for the union of church and state to enhance religious control of society in general. Contending that Descartes and Cartesian philosophy were central to the development of the modern Dutch state, Verbeek illuminates the role they played in Dutch political, religious, and intellectual life. (shrink)

INTRODUCTION When Karl Popper published in' his definition of closer-to-the- truth this was an important intellectual event, but not a shocking one. ...

David Theo Goldberg engages Achille Mbembe in a wide-ranging conversation on the key lines of analysis of Mbembe’s book, The Critique of Black Reason. The discussion ranges across a broad swath of key themes: the constitutive feature of racisms in the making of modernity and modern capitalism as conceived through the global black experience; the African and French archives in constituting, resisting, and refashioning ‘black reason’ and its multiple registers; the centrality of slavery to this constitution and resistance; thinghood (...) and humanity; liberalism as the basis for racial pessimism. The discussion closes with Mbembe’s plea for a shared being and an exchange about repair and reparation. (shrink)

The naive structuralist definition of truthlikeness is an idealization in the sense that it assumes that all mistaken models of a theory are equally bad. The natural concretization is a refined definition based on an underlying notion of structurelikeness.In Section 1 the naive definition of truthlikeness of theories is presented, using a new conceptual justification, in terms of instantial and explanatory mistakes.

In this article I give a naturalistic-cum-formal analysis of the relation between beauty, empirical success, and truth. The analysis is based on the one hand on a hypothetical variant of the so-called 'mere-exposure effect' which has been more or less established in experimental psychology regarding exposure-affect relationships in general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989; (Ye 2000). On the other hand it is based on the formal theory of truthlikeness and truth approximation as presented in (...) my From Instrumentalism to Constructive Realism (2000). The analysis supports the findings of James McAllister in his beautiful Beauty and Revolutiorl in Science (1996), by explaining and justifying them. First, scientists are essentially right in regarding aesthetic criteria useful for empirical progress and even for truth approximation, provided they conceive of them as less hard than empirical criteria. Second, the aesthetic criteria of the time, the 'aesthetic canon', may well be based on 'aesthetic induction' regarding nonempirical features of paradigms of successful theories which scientists have come to appreciate as beautiful. Third, aesthetic criteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, 'revolutionary' scientists. (shrink)

Design research programs attempt to bring together the properties of available materials and the demands derived from intended applications. The logic of problem states and state transitions in such programs, including assessment criteria and heuristic principles, is described in settheoretic terms, starting with a naive model comprising an intended profile and the operational profile of a prototype. In a first concretization the useful distinction between structural and functional properties is built into the model. In two further concretizations the inclusion of (...) potential applications is motivated and described for the case of drug research as well as the inclusion of potential realizations for the case of complex products. Next, another line of concretization of the naive model, the incorporation of potentially relevant properties, is sketched. Then the partial analogy between product- and truth-approximation is indicated. We conclude with some remarks about the usefulness of our models for products reaching the market in comparison to the the so-called social construction of technology approach. (shrink)

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

In this article I give a naturalistic-cum-formal analysis of therelation between beauty, empirical success, and truth. The analysis is based on the onehand on a hypothetical variant of the so-called `mere-exposure effect'' which has been more orless established in experimental psychology regarding exposure-affect relationshipsin general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989;Ye 2000). On the other hand it is based on the formal theory of truthlikeness andtruth approximation as presented in my From Instrumentalism to Constructive Realism (...) (2000).The analysis supports the findings of James McAllister in his beautifulBeauty and Revolution in Science (1996), by explaining and justifying them.First, scientists are essentially right in regarding aesthetic criteria useful for empiricalprogress and even for truth approximation, provided they conceive of them as less hard thanempirical criteria. Second, the aesthetic criteria of the time, the `aesthetic canon'', maywell be based on `aesthetic induction'' regarding nonempirical features of paradigms of successfultheories which scientists have come to appreciate as beautiful. Third, aestheticcriteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, `revolutionary'' scientists. We may find totallyopposite things beautiful: a simplemathematical principle as well as a series of unrepeatable complex contingencies. It is a matter of psychology.(Stephen Jay Gould, translated passage from (Kayzer 2000, 30)). (shrink)

In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.

3 in philosophy, and therefore in metaphilosophy, cannot be based on rules that avoid spending time on pseudo-problems. Of course, this implies that, if one succeeds in demonstrating convincingly the pseudo-character of a problem by giving its 'solution', the time spent on it need not be seen as wasted. We conclude this section with a brief statement of the criteria for concept explication as they have been formulated in several places by Carnap, Hempel and Stegmiiller. Hempel's account is still very (...) adequate for a detailed introduction. The process of explication starts with the identification of one or more vague and, perhaps, ambiguous concepts, the so-called explicanda. Next, one tries to disentangle the ambiguities. This, however, need not be possible at once. Ultimately the explicanda are to be replaced by certain counterparts, the so-called explicata, which have to conform to four requirements. They have to be as precise as possible and as simple as possible. In addition, they have to be useful in the sense that they give rise to the formulation of theories and the solution of problems. The three requirements of preciseness, simplicity and usefulness. have of course to be pursued in all concept formation. (shrink)

This book presents the first accessible analysis of Spinoza's Tractatus Theologico-politicus, situating the work in the context of Spinoza’s general philosophy and its 17th-century historical background. According to Spinoza it is impossible for a being to be infinitely perfect and to have a legislative will. This idea, demonstrated in the Ethics, is presupposed and further elaborated in the Tractatus Theologico-politicus. It implies not only that on the level of truth all revealed religion is false, but also that all authority is (...) of human origin and that all obedience is rooted in a political structure. The consequences for authority as it is used in a religious context are explored: the authority of Scripture, the authority of particular interpretations of Scripture, and the authority of the Church. Verbeek also explores the work of two other philosophers of the period - Hobbes and Descartes - to highlight certain peculiarities of Spinoza's position, and to show the contrasts between their theories. (shrink)

Introduction and Overview Content Type Journal Article Category Introduction Pages 151-163 DOI 10.1007/s10670-011-9288-9 Authors Theo Kuipers, Faculty of Philosophy, University of Groningen, Groningen, The Netherlands Gerhard Schurz, Department of Philosophy, University of Duesseldorf, Universitaetsstrasse 1, Geb. 23.21, 40225 Duesseldorf, Germany Journal Erkenntnis Online ISSN 1572-8420 Print ISSN 0165-0106 Journal Volume Volume 75 Journal Issue Volume 75, Number 2.

The philosophy of science has lost its self-confidence, witness the lack of advanced textbooks in contrast to the abundance of elementary textbooks. Structures in Science is an advanced textbook that explicates, updates, accommodates, and integrates the best insights of logical-empiricism and its main critics. This `neo-classical approach' aims at providing heuristic patterns for research. The book introduces four ideal types of research programs and reanimates the distinction between observational laws and proper theories. It explicates various patterns of explanation by subsumption (...) and specification as well as structures in reductive and other types of interlevel research. Its analysis of theory evaluation leads to new characterizations of confirmation, empirical progress, and pseudoscience. Partial analogies between progress in nomological research and progress in explicative and design research emerge. Finally, special chapters are devoted to design research programs, computational philosophy of science, the structuralist approach to theories, and research ethics. (shrink)

In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Furthermore it is shownthat the logic has several remarkable properties (e.g.,renaming of bound variables is not allowed). An alternativesemantics is proposed which formalizes intuitions aboutindependence.

Straightforward theory revision, taking into account as effectively as possible the established nomic possibilities and, on their basis induced empirical laws, is conducive for (unstratified) nomic truth approximation. The question this paper asks is: is it possible to reconstruct the relevant theory revision steps, on the basis of incoming evidence, in AGM-terms? A positive answer will be given in two rounds, first for the case in which the initial theory is compatible with the established empirical laws, then for the case (...) in which it is incompatible with at least one such a law. (shrink)

So far, the most prominent measure for actual truthlikeness, i.e. the likeness of a theory to the actual truth, is Ilkka Niiniluoto’s minsum definition, which is purely based on distances. A competing definition is the average distance measure proposed by Pavel Tichy and Graham Oddie. We will define three related, distance and size based, measures for actual truthlikeness and compare them with the two well-known options. However, we will start, Sect. 2, from a trio of such measures for nomic truthlikeness. (...) The nomic truth, or the true theory, here refers to what is nomically, e.g. physically, possible. In a nomic (and factual) context there are two basic kinds of theories, viz. either based on an exclusion claim or on an inclusion claim. Two-sided theories combine these claims, with the maximal claim as extreme special case. We will base truthlikeness measures for exclusion, inclusion, two-sided, and hence maximal, nomic theories on two similarity measures, one in terms of distances between conceptual possibilities and the other in terms of sizes of sets of such possibilities. In Sect. 3 we will treat actual truthlikeness as extreme special case of nomic truthlikeness, viz. assuming that there is just one nomic possibility, the actual one. Next we will compare the resulting measures mutually and with the above mentioned measures of Niiniluoto and Tichy & Oddie. Finally, in Sect. 4, we will sum up the results and explore five questions for further research. (shrink)

While the special volumes of the series of Handbooks of the Philosophy of Science address topics relative to a specific discipline, this general volume deals ...

Attempts to use Big Data to transform car insurance pricing in France have failed. Why? Three possible explanations are discussed: organisational and cognitive inertia, normative preventions, and deliberate strategy. This article finds that moral or political reluctance has played only a secondary role in the failure of telematics devices. More important has been the deployment of an experimental strategy that has resulted in the conclusion that in the short and medium term at least, the use of big data to rate (...) car insurance is not profitable. There are too many organisational and cognitive barriers to the smooth adoption of innovation. All insurers note they all arrived at this conclusion. An implicit consensus therefore remains to retain the old business model. (shrink)

The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to exclude nomic impossibilities (...) and the models claim to represent nomic possibilities. Revising theories becomes then a matter of adding or revising models and/or postulates in the light of increasing evidence, captured by a special kind of theories, viz. ‘data-theories’. Under the assumption that the data-theory is true, achieving empirical progress in this way provides good reasons for the abductive conclusion that truth approximation has been achieved as well. Here, the notions of truth approximation and empirical progress are formally direct generalizations of the earlier ones. However, truth approximation is now explicitly defined in terms of increasing truth-content and decreasing falsity-content of theories, whereas empirical progress is defined in terms of lasting increased accepted and decreased rejected content in the light of increasing evidence. These definitions are strongly inspired by a paper of Gustavo Cevolani, Vincenzo Crupi and Roberto Festa, viz., “Verisimilitude and belief change for conjunctive theories” :183–222, 2011). (shrink)

An interesting consequence of the structuralist theory of truth approximation, as developed in my From Instrumentalism to Constructive Realism, henceforth ICR, concerns so-called ‘inference to the best explanation’. It will be argued that this popular rule among scientific realists can better be replaced by, various kinds of, ‘inference to the best theory’.

We examine an article of Paul Ricoeur on autonomy and vulnerability. Ricoeur presents the two notions in the field of justice as intricately woven into each other. He analyzes their interdependence on three levels of human agency. Ricoeur’s exposition has a focus on judicial judgment. After presenting Ricoeur’s argument and an analysis of his main points, the author argues that Ricoeur’s reflection lines up with some essential intentions of care ethics. Ricoeur’s contribution to care ethics is given in a delicate (...) balance of autonomy and its vulnerability. (shrink)

The brain adapts to changes that take place in the body. Deprivation of input results in size reduction of cortical representations, whereas an increase in input results in an increase of representational space. Amputation forms one of the most dramatic disturbances of the integrity of the body. The brain adapts in many ways to this breakdown of the afferent–efferent equilibrium. However, almost all studies focus on the sensorimotor consequences. It is not known whether adaptation takes place also at other “levels” (...) in the system. The present study addresses the question whether amputees dream about their intact body, as before the amputation, or about the body after the amputation and whether the dream content was a function of time since the amputation and type of amputation. The results show that the majority of the dreamers reported dreams about their intact body although the mean time that elapsed since the amputation was twelve years. There is no clear relation with the type of amputation. The results give modest evidence for the existence of a basic neural representation of the body that is, at least, partly genetically determined and by this relatively insensitive for changes in the sensory input. (shrink)

Examples of hypotheses about the number of planets are frequently used to introduce the topic of (actual) truthlikeness but never analyzed in detail. In this paper we first deal with the truthlikeness of singular quantity hypotheses, with reference to several ‘the number of planets’ examples, such as ‘The number of planets is 10 _versus_ 10 billion (instead of 8).’ For the relevant ratio scale of quantities we will propose two, strongly related, normalized metrics, the proportional metric and the (simplest and (...) hence favorite) fractional metric, to express e.g. the distance from a hypothetical number to the true number of planets, i.e. the distance between quantities. We argue that they are, in view of the examples and plausible conditions of adequacy, much more appropriate, than the standardly suggested, normalized absolute difference, metric. Next we deal with disjunctive hypotheses, such as ‘The number of planets is between 7 and 10 inclusive is much more truthlike than between 1 and 10 billion inclusive.’ We compare three (clusters of) general ways of dealing with such hypotheses, one from Ilkka Niiniluoto, one from Pavel Tichý and Graham Oddie, and a trio of ways from Theo Kuipers. Using primarily the fractional metric, we conclude that all five measures can be used for expressing the distance of disjunctive hypotheses from the actual truth, that all of them have their strong and weak points, but that (the combined) one of the trio is, in view of principle and practical considerations, the most plausible measure. (shrink)

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)

The Knowledge-Based Bio-Economy has gained prominence as an agricultural R&D agenda of the European Union. Specific research policies are justified as necessary to create a KBBE for societal progress. Playing the role of a master narrative, the KBBE attracts rival visions; each favours a different diagnosis of unsustainable agriculture and its remedies in agro-food innovation. Each vision links a technoscientific paradigm with a quality paradigm: the dominant life sciences vision combines converging technologies with decomposability, while a marginal one combines agro-ecology (...) with integral product integrity. From these divergent visions, rival stakeholder networks contend for influence over research policies and priorities, especially within the Framework Programme 7 on Food, Agriculture, Fisheries and Biotechnology, which has aimed to promote a Knowledge-Based Bio-Economy. Although the FAFB programme has favoured a life sciences vision, agro-ecological approaches have gained a presence, thus overcoming their general lock-out from agricultural research agendas. In their own way, each rival paradigm emphasises the need for collective systems to gather information for linking producers with users, as a rationale for the public sector to fund distinctive research priorities. (shrink)

This collection of 21 essays explores the creative interaction among the cognitive neurosciences, philosophy, and theology. It is the result of an international research conference co-sponsored by the Vatican Observatory, Rome, and the Center for Theology and the Natural Sciences, Berkeley.

Theo C. Meyering, in “Mind Matters: Physicalism and the Autonomy of the Person,” takes yet a third approach to the issue of reduction. He states that “if (true, downward) mental causation implies nonreducibility [as Stoeger and Murphy argue] and physicalism implies the converse, it is hard to see how these two views could be compatible.” Meyering distinguishes three versions of reductionism: radical (industrial strength) physicalism; ideal (regular strength) physicalism, and mild or token physicalism. Radical physicalism asserts that all special (...) sciences are reducible to physics in the sense that their laws can be deduced via bridge laws from those of physics. Ideal physicalism asserts that while it is practically impossible to reduce the special sciences, such reduction would be possible were there an ideally complete physics" (Note: This distinction parallels Stoeger’s recognition that epistemological reducibility is relative to the meaning of “laws of nature). Token physicalism is ontologically reductionist: there are no events that are not “token-identical” with some physical event or other (Note: See above, sec. 3.3). However, there are no identities between higher-level and lower- level types of events; consequently some events described by the special sciences have no physical explanation at all. -/- All of these reductionist positions are to be contrasted with compositional (milder than mild) physicalism, which asserts that some higher-level events are not even token-identical with physical events because the higher-level event (say, a crash in the stock market) is constituted by innumerable physical particulars in all sorts of states and interactions. -/- Meyering then surveys some of the existing arguments for the nonreducibility of the special sciences. One of the most important is the argument from multiple realizability. The claim is that economics, for example, is not reducible to physics because economic concepts (for example, monetary exchange) are “wildly multiply realizable” (for example, using coins, strings of wampum, signing a check). Thus, there can be no bridge laws and no reduction. Such an argument, however, only cuts against radical physicalism, not the weaker (and a priori more plausible) ideal physicalism. -/- A stronger argument for the indispensability of special-science explanations is based on the role of functional explanations. For example, the functional description of aspirin as an analgesic is in some instances a more useful explanation of its causal role (relieving a headache) than is its description as the chemical level. -/- Meyering’s own contribution focuses neither on multiple realizability of supervenient properties nor on multiple “fillers” of functional roles, but on “multiple supervenience.” In particular, a single subvenient state of affairs (for example, a cloud of free electrons permeating the metal of which a ladder is constructed) may realize a variety of supervenient dispositional properties (in this case, electrical conductivity, thermal conductivity, opacity). An explanation (say, of the cause of a deadly accident) requires reference to the dispositional property (electrical conductivity), not merely to the subvenient property. Meyering argues that it is this possibility of multiple supervenience, not multiple realizability, that gives arguments against reduction based on functional properties their real force. Downward causation, then, can be understood in terms of selective activation of one of several dispositional properties of a lower-level state, and thus can be assigned a stable place in our picture of how the world is organized without upsetting our conception of physics as constituting a closed and complete system of physical events. (shrink)

This paper supplies a structuralist reconstruction of the Modigliani-Miller theory and shows that the economic literature following their results reports on research with an implicit strategy to come "closer-to-the-truth" in the modern technical sense in philosophy of science.

Standard accounts of the micro-reduction of phenomenological to kinetic thermostatics, based on the postulate relating empirical absolute temperature to mean kinetic energy ū=(3/2)kT, face two problems. The standard postulate also allows 'reduction' in the other direction and it can be criticized from the point of view that reduction postulates need to be ontological identities. This paper presents a detailed account of the reduction, based on the postulate that thermal equilibrium is ontologically identical to having equal mean kinetic energy. In particular, (...) it is shown that this postulate enables reduction only in the appropriate direction, but leaves room for 'evidence transport' in the other. Moreover, it makes possible the derivation (explanation) of the standard postulate, using the existential kinetic hypothesis and phenomenological laws with which it turns out to be laden. (shrink)

The ideas of contextuality and of compositionality were discussed at the beginnings of the nineteenth century in Germany, but the contextuality was the significant one. In 1880, Wundt published a work called Logik, comprising two volumes, which evolved to the German standard text on logic. Gottlob Frege, a German mathematician, logician, and philosopher, presented contextuality as his basic principle; his solution of the foundational problems is based upon it, he meant the principle literally, and would have rejected compositionality. He introduced (...) the distinction between sense and reference in his paper, “Über Sinn und Bedeutung” in 1892. He did not accept the notion the reference of an expression; instead, his approach is based upon the notion the reference of an expression in a given sentence. In the period before Tarski, logics were regarded as deductive theories. Tarski made an important step with his paper on “Truth in formalized languages,” in which he characterized the notion of a true sentence in a purely semantic way. (shrink)