The purpose of this article is to develop an epistemology of scientific models in scientific research practices, and to show that disciplinary perspectives have crucial role in such an epistemology. A transcendental approach is taken, aimed at explanations of the kinds of questions relevant to the intended epistemology, such as “How is it possible that models provide knowledge about aspects of reality?” The approach is also pragmatic in the sense that the questions and explanations must be adequate and relevant to (...) concrete scientific practice. First it is explained why the idea of models as representations in terms of similarity or isomorphism between a model and its target is too limited as a basis for this epistemology. An important finding is that the target-phenomenon is usually not something that can be observed in a straightforward manner, but requires both characterization in terms of measurable variables and subsumption under concepts. The loss of this basis leads to a number of issues, such as: how can models be interpreted as representations if models also include conceptually meaningful linguistic content; how can researchers identify non-observable real-world target-phenomena that are then represented in the model; how do models enable inferential reasoning in performing epistemic tasks by researchers; and, how to justify scientific models. My proposal is to deal with these issues by analyzing how models are constructed, rather than by looking at ready-made models. Based on this analysis, I claim that the identification of phenomena and the construction of scientific models is guided and also confined by the disciplinary perspective within which researchers in a scientific discipline have learned to work. I propose a Kuhnian framework by which the disciplinary perspective can be systematically articulated. Finally, I argue that harmful forms of subjectivism, due to the loss of the belief that models objectively represent aspects of reality, can be overcome by making the disciplinary perspective in a research project explicit, thereby enabling its critical assessment, for which the proposed Kuhnian framework provides a tool. (shrink)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons of these methodological (...) difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)

This article outlines a philosophy of science in practice that focuses on the engineering sciences. A methodological issue is that these practices seem to be divided by two different styles of scientific reasoning, namely, causal-mechanistic and mathematical reasoning. These styles are philosophically characterized by what Kuhn called ?disciplinary matrices?. Due to distinct metaphysical background pictures and/or distinct ideas of what counts as intelligible, they entail distinct ideas of the character of phenomena and what counts as a scientific explanation. It is (...) argued that the two styles cannot be reduced to each other. At the same time, although they are incompatible, they must not be regarded as competing. Instead, they produce different kinds of epistemic results, which serve different kinds of epistemic functions. Moreover, some scientific breakthroughs essentially result from relating them. This view of complementary styles of scientific reasoning is supported by pluralism about metaphysical background pictures. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Adapting: A Chinese Philosophy of Action by Mercedes ValmisaMieke Matthyssen (bio)Adapting: A Chinese Philosophy of Action. By Mercedes Valmisa. New York: Oxford University Press, 2021. Pp. 220, Hardcover $97.00, isbn 978-0-19-757296-2.When Mercedes Valmisa's Adapting. A Chinese Philosophy of Action (hereafter Adapting) was released, I instantly recognized it as a theme I would have loved to delve into myself. But I never did, while Valmisa stepped up to this (...) challenging task with remarkable depth. By examining a variety of master texts from several schools within the Classical Chinese philosophical corpus--including the Zhuangzi 莊子, Huainanzi 淮南子, Guanzi 管子, Shenzi 慎子, Lüshi Chunqiu 呂氏春秋, Sunzi Bingfa 孫子兵法, and Mozi 墨子, to name just a few--Adapting digs into the complexities of what Valmisa describes as "a philosophy of action" as articulated by ancient Chinese thinkers. She provides a comprehensive textual and historical overview of the evolution of action theories in Chinese philosophy, highlighting adaptability or adaptive agency as a cornerstone of these theories.To set the stage for her nuanced exploration, Valmisa introduces the overarching concept of adapting as it is primarily expressed through the character yin 因. She then expands on how adapting is deeply intertwined with traditional Chinese ideas of relatedness and interdependence. Contrary to Western action models that emphasize autonomy and control, along with static, individualistic, and intention-driven approaches, Valmisa portrays the Chinese model of adaptivity as inherently relational and context-dependent. This model situates human agency within an extensive web of relationships that includes not only other individuals but also objects, the environment, and the broader cosmos-- essentially, all things under heaven.This relationality is foundational, suggesting that individuals are continually shaped by and shaping their interactions with the world. Valmisa focuses on how humans constantly adapt to their fluctuating material and immaterial environments, including the lashes of fate (ming 命) and various visible or invisible opportunities. Taking the Guanzi-Xinshu shang 心術上 ("The Art of the Heart" I) as a source, she characterizes adapting as "abandoning oneself and taking entities as standard" (p. 5), describing this as an "open-ended strategy of action" that aligns with the contingencies of a given situation (time, place, context). In essence, the situation itself sets the parameters for evaluating the appropriateness and efficacy of a course of action. [End Page 1]Chapter 1 elaborates extensively on the notion of adapting, demonstrating through a selection of texts that adaptive agency is a form of action responsive to the specific demands of the moment emphasizing flexibility and situational responsiveness. This distinctively Chinese approach to adapting to changing circumstances rather than adhering to fixed guidelines or imposing one's will, contrasts sharply with the more prescriptive, moral, and forceful models typical of Western thought. Throughout the book, Valmisa lucidly introduces and defines key terms such as "adaptive agency," "agent-situation fit," and "co-action paradigm," often beginning with anecdotal discussions between masters and disciples from various schools. Drawing on these diverse texts, she effectively argues that although the core practices and forms of adapting in the Chinese context are traceable across different texts, their objectives, and thus success, vary by philosophical school. In texts inspired by Confucian thought, the focus is on adapting to achieve social or societal harmony, while Daoist texts emphasize achieving cosmic harmony. Summarizing this, Valmisa, referring to a story in the Zhuangzi, states: "There is no standardized model to decide on the actions that will bring success to our endeavors. One must learn to live in the all-embracing uncertainty and openness represented by the dao" (p. 17). And this dao can be Confucian, Daoist, or of any other classical school.Valmisa also introduces a critical distinction between constitutive standards and structural goals. Constitutive standards are dependent on content that is considered conducive to a good life, whereas structural goals are content-neutral, achievable through various means. From the perspective of adaptive agency, constitutive standards dissolve within the situation as agents determine the most suitable course of action to achieve structural goals. This innovative approach to differentiating goals from standards is profoundly intriguing and has significant implications. The question remains how to educate and cultivate adaptability rooted in structural goals. In line with the above framework, Valmisa... (shrink)

The complex societal challenges of the twenty-first Century require scientific researchers and academically educated professionals capable of conducting scientific research in complex problem contexts. Our central claim is that educational approaches inspired by a traditional empiricist epistemology insufficiently foster the required deep conceptual understanding and higher-order thinking skills necessary for epistemic tasks in scientific research. Conversely, we argue that constructivist epistemologies provide better guidance to educational approaches to promote research skills. We also argue that teachers adopting a constructivist learning theory (...) do not necessarily embrace a constructivist epistemology. On the contrary, in educational practice, novel educational approaches that adopt constructivist learning theories often maintain traditional empiricist epistemologies. Philosophers of science can help develop educational designs focused on learning to conduct scientific research, combining constructivist learning theory with constructivist epistemology. We illustrate this by an example from a bachelor’s program in Biomedical Engineering, where we introduce conceptual models and modeling as an alternative to the traditional focus on hypothesis testing in conducting scientific research. This educational approach includes the so-called B&K method for constructing scientific models to scaffold teaching and learning conceptual modeling. (shrink)

In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.

Unlike basic sciences, scientific research in advanced technologies aims to explain, predict, and (mathematically) describe not phenomena in nature, but phenomena in technological artefacts, thereby producing knowledge that is utilized in technological design. This article first explains why the covering-law view of applying science is inadequate for characterizing this research practice. Instead, the covering-law approach and causal explanation are integrated in this practice. Ludwig Prandtl's approach to concrete fluid flows is used as an example of scientific research in the engineering (...) sciences. A methodology of distinguishing between regions in space and/or phases in time that show distinct physical behaviours is specific to this research practice. Accordingly, two types of models specific to the engineering sciences are introduced. The diagrammatic model represents the causal explanation of physical behaviour in distinct spatial regions or time phases; the nomo-mathematical model represents the phenomenon in terms of a set of mathematically formulated laws. (shrink)

A prevailing focus of global value chain (GVC) analysis has been on the dominance of highly consolidated Northern retailers over suppliers in the global South. The rise of regional and domestic value chains (RVCs/DVCs) within the Global South which intersect with GVCs, has been found to involve private governance by Southern lead firms. However, we have limited insight into the implications of this changing value chain context for the role of public governance, or different groups of workers. South African fruit (...) provides a rich example of rapid shifts in RVCs/DVCs governed by different private and public actors. The following two questions are addressed: How is the public–private governance of labour standards evolving in the context of RVCs and DVCs that intersect with GVCs? What are the implications for workers operating across different value chains? Conceptually, the paper draws on GVC analysis of governance and power, to examine the governance of labour standards across intersecting value chains. Our analysis highlights the intentional and unintentional mechanisms through which power and standard-setting are diffused away from Northern lead firms to a wider array of public and private actors operating across RVCs/DVCs. While existing analysis of governance and power focuses on singular GVCs, our study highlights diffusion of power across intersecting value chains, with significant and uneven implications for the public–private governance of labour standards. Our findings carry significant ethical implications for the governance of labour standards, as end-markets continue to shift South. (shrink)

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

This article presents an overview of discussions in the philosophy of technology on epistemological relations between science and technology, illustrating that often several mutually entangled issues are at stake. The focus is on conceptual and ideological issues concerning the relationship between scientific and technological knowledge. It argues that a widely accepted hierarchy between science and technology, which echoes classic conceptions of epistêmê and technê, engendered the need of emancipating technology from science, thus shifting focus to epistemic aspects of engineering design (...) and design methodology at the cost of in-depth philosophical analysis of the role of scientific research in the engineering sciences. Consequently, the majority of current literature on this topic in the philosophy of technology presents technology as almost completely divided from and independent of science, thereby losing sight of the epistemic relations between contemporary scientific practices and technology. (shrink)

This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

There is a “Pragmatist turn” visible in the field of organization science today, resulting from a renewed interest in the work of Pragmatist philosophers like Dewey, Mead, Peirce, James and others, and in its implications for the study of organizations. Following Wicks and Freeman, in the past decade Pragmatism has also entered the field of business ethics, which, however, has not been uniformly applauded in that field. Some scholars fear that Pragmatism may enhance already existing positivist and managerialist tendencies in (...) current business ethics, while others see more emancipatory potential in Pragmatism, arguing that it complements and supports stakeholder theory. In this paper, a comparison of the philosophical underpinnings of Pragmatist and Critical conceptions of business ethics is offered, concentrating on the Pragmatism of John Dewey and the Critical theory of the Frankfurt School, in particular of Axel Honneth. It is argued that these two developed along two converging lines. Along the first line, Dewey was far more skeptical and critical of capitalism than is often thought. Along the second line, the reactions to Pragmatism of Frankfurt School Critical theorists developed over time from generally hostile, to partially inclusive, to more fully integrative. At the crossroads of these converging lines a Pragmatist Critical perspective is developed and exemplified, and its implications for business ethics are outlined. (shrink)

A Kripke model ? is a submodel of another Kripke model ℳ if ? is obtained by restricting the set of nodes of ℳ. In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models is precisely the class of semipositive formulas. This result is an analogue of the Łoś-Tarski theorem for the Classical Predicate Calculus.In Appendix A we prove that for theories with decidable identity we can take (...) as the embeddings between domains in Kripke models of the theory, the identical embeddings. This is a well known fact, but we know of no correct proof in the literature. In Appendix B we answer, negatively, a question posed by Sam Buss: whether there is a classical theory T, such that ℋT is HA. Here ℋT is the theory of all Kripke models ℳ such that the structures assigned to the nodes of ℳ all satisfy T in the sense of classical model theory. (shrink)

The European Union, a pioneer in gender equality policies, is moving from predominantly attending to gender inequality, towards policies that address multiple inequalities. This article argues that there are tendencies at EU level to assume an unquestioned similarity of inequalities, to fail to address the structural level and to fuel the political competition between inequalities. Based upon a comparison of specific sets of inequalities, this article explores where and how structural and political intersectionality might be relevant. It argues that a (...) ‘one size fits all’ approach to addressing multiple discrimination is based on an incorrect assumption of sameness or equivalence of the social categories connected to inequalities and of the mechanisms and processes that constitute them. Focusing on similarities ignores the differentiated character and dynamics of inequalities. It also overlooks the political dimension of equality goals. Moreover, it has become clear that attention to structural mechanisms and to the role of the state and the private sphere in reproducing inequalities is much needed. The final part of the article presents constructive ideas for a more comprehensive way of addressing multiple inequalities. (shrink)

In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...) explanatory domain. I argue that this notion of genericity is too narrow, excluding properties characteristic for kinds that go unrecognized in such explanatory domains. In particular, Nickel’s theory excludes some characteristic properties of anthropic kinds, such as lilies and cedars, members of which have properties that may be similarly exploited in various human practices despite having divergent geneses. I argue for a generalization of Nickel’s view of genericity where explicability of presence is only one sort of genericity, with others, such as practicability, being possible too. (shrink)

In this paper I give a characterization of the closed fragment of the provability logic of $I \triangle_0 + \mathrm{EXP}$ with a propositional constant for $\mathrm{EXP}$. In three appendices many details on arithmetization are provided.

In science policy, it is generally acknowledged that science-based problem-solving requires interdisciplinary research. For example, policy makers invest in funding programs such as Horizon 2020 that aim to stimulate interdisciplinary research. Yet the epistemological processes that lead to effective interdisciplinary research are poorly understood. This article aims at an epistemology for interdisciplinary research, in particular, IDR for solving ‘real-world’ problems. Focus is on the question why researchers experience cognitive and epistemic difficulties in conducting IDR. Based on a study of educational (...) literature it is concluded that higher-education is missing clear ideas on the epistemology of IDR, and as a consequence, on how to teach it. It is conjectured that the lack of philosophical interest in the epistemology of IDR is due to a philosophical paradigm of science, which prevents recognizing severe epistemological challenges of IDR, both in the philosophy of science as well as in science education and research. The proposed alternative philosophical paradigm entails alternative philosophical presuppositions regarding aspects such as the aim of science, the character of knowledge, the epistemic and pragmatic criteria for accepting knowledge, and the role of technological instruments. This alternative philosophical paradigm assume the production of knowledge for epistemic functions as the aim of science, and interprets ‘knowledge’ as epistemic tools that must allow for conducting epistemic tasks by epistemic agents, rather than interpreting knowledge as representations that objectively represent aspects of the world independent of the way in which it was constructed. The engineering paradigm of science involves that knowledge is indelibly shaped by how it is constructed. Additionally, the way in which scientific disciplines construct knowledge is guided by the specificities of the discipline, which can be analyzed in terms of disciplinary perspectives. This implies that knowledge and the epistemic uses of knowledge cannot be understood without at least some understanding of how the knowledge is constructed. Accordingly, scientific researchers need so-called metacognitive scaffolds to assist in analyzing and reconstructing how ‘knowledge’ is constructed and how different disciplines do this differently. In an engineering paradigm of science, these metacognitive scaffolds can also be interpreted as epistemic tools, but in this case as tools that guide, enable and constrain analyzing and articulating how knowledge is produced. In interdisciplinary research, metacognitive scaffolds assist interdisciplinary communication aiming to analyze and articulate how the discipline constructs knowledge. (shrink)

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

Attempting to explain, in a short film, a theoretical concept that underlies our the feature film Madame B (Bal & Williams Gamaker, 2014), I discovered that narrativity and description, always in tension, merge into more clarity as the film gets shorter.

In lieu of an abstract, here is a brief excerpt of the content:Looking at Love an Ethics of VisionMieke Bal (bio)Kaja Silverman. The Threshold Of The Visible World. New York: Routledge, 1996.“The eye can confer the active gift of love upon bodies which have long been accustomed to neglect and disdain,” writes Kaja Silverman in her most recent book, The Threshold of the Visible World. The sentence neatly summarizes her project. “The active gift of love” is the central concept of (...) this book and indicative of the utopian dimension of the theory of love she develops.With Lacan as her primary interlocutor, she sets out to answer a question of one of her students: “does psychoanalysis have a theory of love?” Strange as it might seem, psychoanalysis, so often associated with an excessive interest in sexuality, has not seemed to believe in love. Within the rigorous framework of a discipline that has no use for love and theorizes a bleak view of human nature, Silverman sets out to think through the questions that every parent is at a loss, yet needs, to address: what is love, how can choices in love be culturally encouraged, reoriented, or discouraged? Lacan’s texts on the imaginary order and the visual field, and the imaginary’s stubborn presence within the symbolic order, remain a key resource for those who, like Silverman, wish to understand and analyze, critique and refocus contemporary culture with an eye open to contradictions and complexities. 1The ground for love, the ability to love, is idealization, Silverman claims. Without idealization life would be unbearable, but idealizing is influenced by cultural norms and values that we internalize from early childhood on. Silverman’s project—”to articulate the psychic and aesthetic conditions under which we might be carried away from both ideality and the self, and situated in an identificatory relation to [culturally] despised bodies” [2]—is an attempt to put pressure on two elements of this interaction, “idealization” and “self,” but as she does so she acknowledges the force of the transhistorical, heavy, thick structure of the psyche that is hard, if not impossible, to change.This project, the development of an “ethics of vision,” forms a key part within the larger framework of Silverman’s work. In her first book, The Subject of Semiotics, she argues for and explains the semiotic status of psychoanalysis and the indispensable contribution of psychoanalysis to semiotics. The book remains a valuable handbook for an understanding of the importance of such divergent theorists as De Saussure and Benveniste, Kristeva and Peirce, Freud and Lacan, and the theorists of suture for a coherent and comprehensive theory of culture. One example that will speak to many a cultural analyst is the way Silverman disentangles, and then connects again, the often conflated conceptual pairs of metaphor and metonymy, condensation and displacement, and paradigm and syntagma, showing that the first pair is situated on the level of interactions between the signifier and [End Page 59] the signified, the second on the level of the signified, and the third on the level of the structuration of the signifier. 2With this book, then, Silverman lays the foundation for a psychoanalytical semiotic that is nevertheless radically cultural in orientation: no conflation or confusion of psyche and culture, no flattening of the one through the other, but an integration that demonstrates convincingly that what happens within a psyche is irrevocably cultural and that every cultural expression entertains a relationship with one or more psyches. The structural similarities and interactions between the two then seem self-evident. But how these interactions work is explained in a manner that renders them analyzable.Silverman is in the habit of raising questions that remain unanswered, and devoting her next book to them. The Subject devoted much attention and analytical energy to filmic images, notably through suture theory, in which the technique of “shot-reverse shot” is central. This technique consists of successive images: first of a character looking at something, and then of what that character presumably sees. This would be the cinematic equivalent of what narratology calls transitions of focalization, likewise a technique used to “suture” image to diegetic character in order to stimulate identification. As in narratology, the question then arises: what exactly... (shrink)

Abstract:The three short pieces below are the third set of vignettes in an alphabetically ordered series of entries, which, together, will constitute a non-subject-centered autobiography. Professional memories are merged with personal ones. I call them “vignettes” to underline the fragmentary nature of memory.

The three short pieces below are part of an alphabetically ordered series of entries, which, together, will constitute a non-subject-centered autobiography. Professional memories are merged with personal ones. To underline the fragmentary nature of memory, I call them "vignettes.".

The central result of this paper is the small‐is‐very‐small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a definable property has a small witness, i.e., a witness in a sufficiently small definable cut, then it shows that the property has a very small witness: i.e., a witness below a given standard number. Which cuts are sufficiently small will depend on the complexity of the formula defining the property. We draw various consequences from (...) the central result. E.g., roughly speaking, (i) every restricted, recursively enumerable sequential theory has a finitely axiomatized extension that is conservative with respect to formulas of complexity ; (ii) every sequential model has, for any n, an extension that is elementary for formulas of complexity, in which the intersection of all definable cuts is the natural numbers; (iii) we have reflection for ‐sentences with sufficiently small witness in any consistent restricted theory U; (iv) suppose U is recursively enumerable and sequential. Suppose further that every recursively enumerable and sequential V that locally inteprets U, globally interprets U. Then, U is mutually globally interpretable with a finitely axiomatized sequential theory. The paper contains some careful groundwork developing partial satisfaction predicates in sequential theories for the complexity measure depth of quantifier alternations. (shrink)

This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.