This paper employs structural topic modeling (STM), a text-mining technique, to describe the academic philosophy landscape in Brazil. Based on a public national database, a corpus consisting of 12,515 abstracts of monographs (theses and dissertations) defended in Philosophy Graduate Programs between 1991 and 2021 was compiled. The final STM model identified 74 meaningful research topics, clustered into 7 thematic categories. This study discusses the prevalence of the most significant topics and categories, their trends across three decades and (...) their (positive or negative) association with the supervisor’s gender. Results show the first empirical evidence that Brazilian philosophical research exhibits a greater focus on philosophers and their works, rather than on specific themes or problems, aligning with common sociological perceptions within the academic community. Moreover, by visualizing the variations in topic prevalence over time, it was possible to track the rise or decline of the major interest categories and topics. Finally, results also show how topics related to male philosophers garner greater attention throughout the corpus and which topics are more or less influenced by gender. (shrink)

Topic modeling—a text‐mining technique often used to uncover thematic structures in large collections of texts—has been increasingly frequently used in the context of the analysis of scholarly output. In this study, we construct a corpus of 19,488 texts published since 1971 in seven leading journals in the field of bioethics and philosophy of medicine, and we use a machine learning algorithm to identify almost 100 topics representing distinct themes of interest in the field. On the basis of intertopic (...) correlations, we group the content‐based topics into eight clusters, thus providing a novel, fine‐grained intellectual map of bioethics and philosophy of medicine. Moreover, we conduct a number of diachronic analyses, examining how the “prominence” of different topics has changed across time. In this way, we are able to observe the distinct patterns in which bioethics and philosophy of medicine have evolved and changed their focus over the past half a century. (shrink)

There are many different kinds of model and scientists do all kind of things with them. This diversity of model type and model use is a good thing for science. Indeed, it is crucial especially for the biological and cognitive sciences, which have to solve many different problems at many different scales, ranging from the most concrete of the structural details of a DNA molecule to the most abstract and generic principles of self-organization in networks. Getting a grip (or (...) more likely many separate grips) on this range of topics calls for a teeming forest of techniques, including many different modeling techniques. Barbara Webb’s target article strikes us as a proposal for clear-cutting the forest. We think clear-cutting here would be as good for science as it is for non-metaphorical forests. Our argument for this is primarily a recitation of a few of the ways that diversity has been useful. Recently, looking at the actual practice of artificial life modelers, one of us distinguished four uses of simulation models classified in terms of the position the models take up between theory and data (see Figure 1). The classification is not exhaustive, and the barriers between kinds are not absolute. Rather, the purpose of the taxonomy is to open up the view for an epistemic ecology of modeling practices. First, and closest to the empirical domain, there are mechanistic models, in which there is an almost one-to-one correspondence between variables in the model and observables in the target system and its environment. Webb’s.. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute to (...) experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key (...) research topics that span across 82 years. We also tracked their evolution and fluctuating significance over time in the journal articles. Our results concur with and document known and lesser-known episodes of the philosophy of science, including the rise and fall of logic and language-related topics, the relative stability of a metaphysical and ontological questioning (space and time, causation, natural kinds, realism), the significance of epistemological issues about the nature of scientific knowledge as well as the rise of a recent philosophy of biology and other trends. These analyses exemplify how computational text-mining methods can be used to provide an empirical large-scale and data-driven perspective on the history of philosophy of science that is complementary to other current historical approaches. (shrink)

Previous research has interlinked alcohol consumption (AC), mental stress (MS), psychotic experiences (PE), and academic performance (AP) of students and psychological behavior of the general population. The current study seems to be the first to consider the joint and partial mediation effects of MS and PE in linking AC to graduates’ job performance in specific areas such as teamwork (TW), communication competence (CC), customer service (CS), and job functions (JF). A virtual cross-section of 3,862 graduates with self-reported cases of having (...) taken alcohol in the past participated in the study. These participants responded to an electronic questionnaire that was mailed to them. The instrument used for data collection had acceptable psychometric properties. The study used the partial least squares structural equation modeling (PLS-SEM) to achieve its objectives. The inner and outer models were all evaluated for quality and goodness of fit. Results showed a significant negative effect of AC and MS on graduates’ job performance in terms of TW, CC, CS, and JF, respectively. AC had a significant positive effect on MS and PE. MS had a significant positive effect on PE. A significant joint mediation effect of MS and PE was found in linking AC to graduates’ TW, CC, and CS, excluding JF. MS partially mediated AC’s paths to all the graduates’ job performance indicators. PE was only a significant partial mediator of the connection between AC to JF, but not TW, CC, and CS. This study’s result can help improve graduates’ work effectiveness and has revealed some negative predictors. Therefore, it is recommended that graduates avoid alcohol or only consume mild quantities of it to enable them to discharge services effectively at the workplace. (shrink)

There is a great deal of evidence that method bias is really sure influences item validities, measurement error, correlation and covariance between latent constructs and thus leading the researchers to erroneous conclusion due to inflation or deflation during hypothesis testing. To remedy this, the study provides a guideline to minimize the method bias in the context of structural equation modeling employing the covariance method (CB-SEM) using medical tourism model. A practical approach is illustrated for the identification of method (...) bias based on the new construct namely common latent factor. Using this latent construct, we managed to identify which item has potential to permeate more variance from common latent factor. Nevertheless, we figure out that the method bias is do not exist in our developed model. Therefore, this measurement model is appropriate for structural model in order to achieve the research hypotheses. We hope that this discussion will help the researchers anticipate which items are likely exposed on method bias before proceed to advance modeling. (shrink)

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection fit into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the field. (...) Moreover, we argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods (...) to the problem of identifying and extracting arguments about anthropomorphism during a critical period in the development of comparative psychology. We show how a combination of classification systems and mixed-membership models trained over large digital libraries can inform resource discovery in this domain. Through a novel approach of “drill-down” topic modeling—simultaneously reducing both the size of the corpus and the unit of analysis—we are able to reduce a large collection of fulltext volumes to a much smaller set of pages within six focal volumes containing arguments of interest to historians and philosophers of comparative psychology. The volumes identified in this way did not appear among the first ten results of the keyword search in the HathiTrust digital library and the pages bear the kind of “close reading” needed to generate original interpretations that is the heart of scholarly work in the humanities. Zooming back out, we provide a way to place the books onto a map of science originally constructed from very different data and for different purposes. The multilevel approach advances understanding of the intellectual and societal contexts in which writings are interpreted. (shrink)

Introduction to the topical collection "The Structure of Perceptual Objects"—with contributions by Mohan Matthen, EJ Green, Alisa Mandrigin, Blazej Skrzypulec, and Anna Drożdżowicz.

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for (...) building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

The classical (set-theoretic) concept of structure has become essential for every contemporary account of a scientific theory, but also for the metatheoretical accounts dealing with the adequacy of such theories and their methods. In the latter category of accounts, and in particular, the structural metamodels designed for the applicability of mathematics have struggled over the last decade to justify the use of mathematical models in sciences beyond their 'indispensability' in terms of either method or concepts/entities. In this paper, I (...) argue that these metamodels employ structures of different natures and epistemologies, and this diversity does pose a serious problem to the intended justification. (shrink)

Objective. Study of the validity and reliability of the discourse approach for the psycholinguistic understanding of the nature, structure, and features of the linguistic consciousness functioning. -/- Materials & Methods. This paper analyzes artificial neural network models built on the corpus of texts, which were obtained in the process of experimental research of the coronavirus quarantine concept as a new category of linguistic consciousness. The methodology of feedforward artificial neural networks (multilayer perceptron) was used in order to assess the possibility (...) of predicting the leading texts semantics based on the discourses ranks and their place in the respective linear sequence. Same baseline parameters were used to predict respondents' self-assessments of changes in their psychological well-being and in daily life routine during the quarantine, as well as to predict their preferences of the quarantine strategies. The study relied on basic ideas about discourse as a meaning constituted by the dispersion of other meanings (Foucault). The same dispersion mechanism realizes itself in interdiscourse interaction, forming a discursive formation at a higher level. The method of T-units (Hunt) was used to identify and count discourses in the texts. The ranking of discourses was provided based on the criterion of their semantic-syntactic autonomy. -/- Results. The conducted neural network modeling revealed a high accuracy in predicting the work of the linguistic consciousness functions associated with retrospective self-assessment and anticipatory imagination of the respondents. Another result of this modeling is a partial confirmation of the assumption concerning existence a relationship between the structural parameters of the discursive field (the rank of the discourses and their place in the respective linear sequence) and the leading semantics of the text. -/- Conclusions. A discourse approach to the study of linguistic consciousness, understanding of its structure and functioning features seems to be reasonably appropriate. The implementation of the approach presupposes the need to form a base of linguistic corpora with the inclusion in each text markup of such parameters as: the presence of specific discourses, their ranks, positions in the linear sequence of discourses. (shrink)

The topics of modeling and information come together in at least two ways. Computational modeling and simulation play an increasingly important role in science, across disciplines from mathematics through physics to economics and political science. The philosophical questions at issue are questions as to what modeling and simulation are adding, altering, or amplifying in terms of scientific information. What changes with regard to information acquisition, theoretical development, or empirical confirmation with contemporary tools of computational modeling? In (...) this sense the title of this article is read in the following way: What kind of information is modeling information? What kind of information does modeling give us? (shrink)

Topicality of the research topic. As a result of the COVID-19 pandemic, there is an increase in the instability of the structure of ecosocial systems. Technological innovations have led to a sharp deterioration in natural social ecodynamics. The aim of the research is the conceptual modeling of the proliferation of biopolitics from the social sphere to the field of international relations with the subsequent transformation into a systemic factor of the global evolutionary process. Research methods and results. The (...) model is based on our previously proposed concept of a three-module stable evolutionary strategy of technogenic civilization. In relation to the triple spiral of anthropo-socio-technogenesis, i.e., the historical development of the cultural-ecological niche of Homo sapiens, constructed by him, this means the following. Periods of stable progressive growth of evolutionary and civilizational success are replaced by periods of various scales crisis, up to civilizational or even biological-evolutionary singularity. During the crisis, the importance of the political factor increases sharply, and over the past 50 years, this primarily relates to the field of biopolitics. The regional differentiation of the biopolitical sphere reconstruction during the fight against the pandemic will inevitably complicate international relations not only between regions that belong to different cultural and civilizational types. Probably less so, the same problems will affect the reconciliation of differences caused by geopolitical, interethnic, religious and even economic (competition) reasons. The first phase of the adaptive civilizational response is to reduce the degree of connection between the individual socio-cultural elements of modern civilization, i.e., slowing down the globalization process and intensifying interregional conflicts of various contents. In particular, such contradictions will be most acute in the post-Soviet geopolitical space, where the conditions of the civilizational rift are imposed on the conflicts of the transition period. Due to the specifics of modern high technologies, the process will enter the phase of global socio-techno-ecological self-developing systems reconstruction, which includes man as its element. And the obvious conclusion will be the transition of the development of biopolitical issues to a new, no longer international, but global-evolutionary level. In our understanding, transbiopolitics is a political issue related to the rationalization of the global evolutionary process. The latter will become a bearing element of the global process of evolution of the noosphere with the subsequent complication and increase of cohesion between separate sociocultural types which are a part of system of the modern globalizing civilization. (shrink)

The objective of the study was to develop a structural model that explores the relationship between Mathematics Performance and students’ self-regulated learning skills, grit, and expectancy-value towards science, technology, engineering and mathematics (STEM). The research collected survey data from 664 senior high school students from 17 STEM high schools, and conducted a covariance-based structural equation modeling (SEM) analysis. The results of the SEM analysis indicate that the Re-specified Self-Regulated Learning Skill – Expectancy-Value towards STEM – Grit – (...) Mathematics Performance (Re-specified SRL-EV-GR-MP) model is the most parsimonious fit, offering the best empirical support for the theoretical model of the study. The research findings suggest that the mathematics performance of senior high school students in STEM curriculum is attributed to their high expectancies for success and perceived values of the STEM tasks, high grit, and high self-regulated learning skills. Moreover, the research also observed evidence of mediating and moderating grit effects in the concurrent effects of expectancy-values towards STEM and self-regulated learning skills towards students’ mathematics performance. (shrink)

Fundamental Science is undergoing an acute conceptual-paradigmatic crisis of philosophical foundations, manifested as a crisis of understanding, crisis of interpretation and representation, “loss of certainty”, “trouble with physics”, and a methodological crisis. Fundamental Science rested in the "first-beginning", "first-structure", in "cogito ergo sum". The modern crisis is not only a crisis of the philosophical foundations of Fundamental Science, but there is a comprehensive crisis of knowledge, transforming by the beginning of the 21st century into a planetary existential crisis, which has (...) exacerbated the question of the existence of Humanity and life on Earth. Due to the unsolved problem of justification of Mathematics, paradigm problems in Computational mathematics have arisen. It's time to return ↔ Into Dialectics. The solution to the problem of the foundations of Mathematics, and therefore knowledge in general, is the solution to the problem of modeling (constructing) the ontological basis of knowledge - the ontological model of the primordial generating process. The idea and model of the primordial generating process, its ontological structure directs thinking to the need for the introduction of superconcept → ontological (cosmic, structural) memory, concept-attractor, supercategory, substantial semantic core of the scientific picture of the world of the nuclear-ecological-information age. Model of basic Ideality→ “Space-MatterMemory-Time” [S-MM-T]. (shrink)

Fundamental Science is undergoing an acute conceptual-paradigmatic crisis of philosophical foundations, manifested as a crisis of understanding, crisis of interpretation and representation, “loss of certainty”, “trouble with physics”, and a methodological crisis. Fundamental Science rested in the "first-beginning", "first-structure", in "cogito ergo sum". The modern crisis is not only a crisis of the philosophical foundations of Fundamental Science, but there is a comprehensive crisis of knowledge, transforming by the beginning of the 21st century into a planetary existential crisis, which has (...) exacerbated the question of the existence of Humanity and life on Earth. Due to the unsolved problem of justification of Mathematics, paradigm problems in Computational mathematics have arisen. It's time to return ↔ Into Dialectics. The solution to the problem of the foundations of Mathematics, and therefore knowledge in general, is the solution to the problem of modeling (constructing) the ontological basis of knowledge - the ontological model of the primordial generating process. The idea and model of the primordial generating process, its ontological structure directs thinking to the need for the introduction of superconcept → ontological (cosmic, structural) memory, concept-attractor, supercategory, substantial semantic core of the scientific picture of the world of the nuclear-ecological-information age. Model of basic Ideality→ “Space-MatterMemory-Time” [S-MM-T]. (shrink)

This year’s topic is “Genomics and Philosophy of Race.” Different researchers might work on distinct subsets of the six thematic clusters below, which are neither mutually exclusive nor collectively exhaustive: (1) Concepts of ‘Race’; (2) Mathematical Modeling of Human History and Population Structure; (3) Data and Technologies of Human Genomics; (4) Biological Reality of Race; (5) Racialized Selves in a Global Context; (6) Pragmatic Consequences of ‘Race Talk’ among Biologists.

This paper examines the adequacy of causal graph theory as a tool for modeling biological phenomena and formalizing biological explanations. I point out that the causal graph approach reaches it limits when it comes to modeling biological phenomena that involve complex spatial and structural relations. Using a case study from molecular biology, DNA-binding and -recognition of proteins, I argue that causal graph models fail to adequately represent and explain causal phenomena in this field. The inadequacy of these (...) models is due to their failure to include relevant spatial and structural information in a way that does not render the model non-explanatory, unmanageable, or inconsistent with basic assumptions of causal graph theory. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for (...) example, consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

This paper brings together Thompson's naive action explanation with interventionist modeling of causal structure to show how they work together to produce causal models that go beyond current modeling capabilities, when applied to specifically selected systems. By deploying well-justified assumptions about rationalization, we can strengthen existing causal modeling techniques' inferential power in cases where we take ourselves to be modeling causal systems that also involve actions. The internal connection between means and end exhibited in naive action (...) explanation has a modal strength like that of distinctively mathematical explanation, rather than that of causal explanation. Because it is stronger than causation, it can be treated as if it were merely causal in a causal model without thereby overextending the justification it can provide for inferences. This chapter introduces and demonstrate the usage of the Rationalization condition in causal modeling, where it is apt for the system(s) being modeled, and to provide the basics for incorporating R variables into systems of variables and R arrows into DAGs. Use of the Rationalization condition supplements causal analysis with action analysis where it is apt. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

What structure of scientific communication and cooperation, between what kinds of investigators, is best positioned to lead us to the truth? Against an outline of standard philosophical characteristics and a recent turn to social epistemology, this paper surveys highlights within two strands of computational philosophy of science that attempt to work toward an answer to this question. Both strands emerge from abstract rational choice theory and the analytic tradition in philosophy of science rather than postmodern sociology of science. The first (...) strand of computational research models the effect of communicative networks within groups, with conclusions regarding the potential benefit of limited communication. The second strand models the potential benefits of cognitive diversity within groups. Examples from each strand of research are used in analyzing what makes modeling of this sort both promising and distinctly philosophical, but are also used to emphasize possibilities for failure and inherent limitations as well. (shrink)

Many in philosophy understand truth in terms of precise semantic values, true propositions. Following Braun and Sider, I say that in this sense almost nothing we say is, literally, true. I take the stand that this account of truth nonetheless constitutes a vitally useful idealization in understanding many features of the structure of language. The Fregean problem discussed by Braun and Sider concerns issues about application of language to the world. In understanding these issues I propose an alternative modeling (...) tool summarized in the idea that inaccuracy of statements can be accommodated by their imprecision. This yields a pragmatist account of truth, but one not subject to the usual counterexamples. The account can also be viewed as an elaborated error theory. The paper addresses some prima facie objections and concludes with implications for how we address certain problems in philosophy. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep (...) disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

In the last few decades the role played by models and modeling activities has become a central topic in the scientific enterprise. In particular, it has been highlighted both that the development of models constitutes a crucial step for understanding the world and that the developed models operate as mediators between theories and the world. Such perspective is exploited here to cope with the issue as to whether error-based and uncertainty-based modeling of measurement are incompatible, and thus (...) alternative with one another, as sometimes claimed nowadays. The crucial problem is whether assuming this standpoint implies definitely renouncing to maintain a role for truth and the related concepts, particularly accuracy, in measurement. It is argued here that the well known objections against true values in measurement, which would lead to refuse the concept of accuracy as non-operational, or to maintain it as only qualitative, derive from a not clear distinction between three distinct processes: the metrological characterization of measuring systems, their calibration, and finally measurement. Under the hypotheses that (1) the concept of true value is related to the model of a measurement process, (2) the concept of uncertainty is related to the connection between such model and the world, and (3) accuracy is a property of measuring systems (and not of measurement results) and uncertainty is a property of measurement results (and not of measuring systems), not only the compatibility but actually the conjoint need of error-based and uncertainty-based modeling emerges. (shrink)

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent (...) exchange between two groups of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

The study's general objective is to determine the students' stance on the most appropriate model of writing skills, using Structural Equation Modeling (SEM) as a basic design in the relationship of self-regulated learning strategies, communicative learning strategies, learning grammatical strategies, and writing skills. This study used a mixed-method sequential explanatory design, in which quantitative design is more widely used than qualitative Creswell, J., & Creswell, D. (2017). The researcher used the stratified random sampling technique for selecting respondents and, (...) by using the Raosoft sample size calculator, identified 390 respondents using a four-part questionnaire to collect data. Purposive sampling is the method for determining participants in a qualitative design using a guided questionnaire to obtain data from In-Depth Interviews and Focus Group Discussions. Model 5 was the best-fitting model for writing skills, showing significant correlations with the exogenous variables: self-regulated learning strategies, communicative learning strategies, learning grammatical strategies, and writing skills as endogenous variables. Both the exogenous and endogenous variables obtained a high level of overall description, meaning that students often practiced strategies to cultivate writing skills. The participants' stance on the most appropriate model is essential for tertiary students to have different strategies for developing writing skills. It is necessary to reach the full description of the highest level by using different strategies to build writing skills. (shrink)

Contemporary action theory is generally concerned with giving theories of action ontology. In this paper, we make the novel proposal that the standard view in action theory—the Causal Theory of Action—should be recast as a “model”, akin to the models constructed and investigated by scientists. Such models often consist in fictional, hypothetical, or idealized structures, which are used to represent a target system indirectly via some resemblance relation. We argue that recasting the Causal Theory as a model can not only (...) accomplish the goals of causal theorists, but also give the theory greater flexibility in responding to common objections. (shrink)

A framework is developed for understanding what is “taken for granted” both in philosophy and in life generally, which may serve to orient philosophical inquiry and make it more effective. The framework takes in language and its development, as well as mathematics, logic, and the empirical sphere with particular reference to the exigencies of life. It is evaluated through consideration of seven philosophical issues concerned with such topics as solipsism, sense data as the route to knowledge, the possible reduction of (...) geometry to logic, and the existence and status of human rights. Various dichotomies and the notion of continuity are evidently highly strategic. (shrink)

The work done in the philosophy of modeling by Vaihinger (1876), Craik (1943), Rosenblueth and Wiener (1945), Apostel (1960), Minsky (1965), Klaus (1966) and Stachowiak (1973) is still almost completely neglected in the mainstream literature. However, this work seems to contain original ideas worth to be discussed. For example, the idea that diverse functions of models can be better structured as follows: in fact, models perform only a single function – they are replacing their target systems, but for different (...) purposes. Another example: the idea that all of cognition is cognition in models or by means of models. Even perception, reflexes and instincts (animal and human) can be best analyzed as modeling. The paper presents an analysis of the above-mentioned work. (shrink)

Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.

Information was a frequently used concept in many fields of investigation. However, this concept is still not really understood, when it is referred for instance to consciousness and its informational structure. In this paper it is followed the concept of information from philosophical to physics perspective, showing especially how this concept could be extended to matter in general and to the living in particular, as a result of the intimate interaction between matter and information, the human body appearing as a (...) bipolar informed-matter structure. It is detailed on this way how this concept could be referred to consciousness, and an informational modeling of consciousness as an informational system of the human body is presented. Based on the anatomic architecture of the organism and on the inference of the specific information concepts, it is shown that the informational system of the human body could be described by seven informational subsystems, which are reflected in consciousness as corresponding cognitive centers. These results are able to explain the main properties of consciousness, both the cognitive and extra-cognitive properties of the mind, like that observed during the near-death experiences and other similar phenomena. Moreover, the results of such a modeling are compared with the existing empirical concepts and models on the energetic architecture of the organism, showing their relevance for the understanding of consciousness. (shrink)

While structural equations modeling is increasingly used in philosophical theorizing about causation, it remains unclear what it takes for a particular structural equations model to be correct. To the extent that this issue has been addressed, the consensus appears to be that it takes a certain family of causal counterfactuals being true. I argue that this account faces difficulties in securing the independent manipulability of the structural determination relations represented in a correct structural equations model. (...) I then offer an alternate understanding of structural determination, and I demonstrate that this theory guarantees that structural determination relations are independently manipulable. The account provides a straightforward way of understanding hypothetical interventions, as well as a criterion for distinguishing hypothetical changes in the values of variables which constitute interventions from those which do not. It additionally affords a semantics for causal counterfactual conditionals which is able to yield a clean solution to a problem case for the standard ‘closest possible world’ semantics. (shrink)

Across various fields it is argued that the self in part consists of an autobiographical self-narrative and that the self-narrative has an impact on agential behavior. Similarly, within action theory, it is claimed that the intentional structure of coherent long-term action is divided into a hierarchy of distal, proximal, and motor intentions. However, the concrete mechanisms for how narratives and distal intentions are generated and impact action is rarely fleshed out concretely. We here demonstrate how narratives and distal intentions can (...) be generated within cognitive agents and how they can impact agential behavior over long time scales. We integrate narratives and distal intentions into the LIDA model,and demonstrate how they can guide agential action in a manner that is consistent with the Global Workspace Theory of consciousness. This paper serves both as an addition to the LIDA cognitive architecture and an elucidation of how narratives and distal intention emerge and play their role in cognition and action. (shrink)

If we consider modeling not as a heap of contingent structures, but (where possible) as evolving coordinated systems of models, then we can reasonably explain as "direct representations" even some very complicated model-based cognitive situations. Scientific modeling is not as indirect as it may seem. "Direct theorizing" comes later, as the result of a successful model evolution.

Research on interdisciplinarity has been concentrated on the methodological and educational aspects of this complex phenomenon and less on its theoretical nature. Within a theoretical framework specific to the philosophy of science, I propose a structural scheme of how interdisciplinary processes go, focusing on the concepts of availability of the methods, concept linking, and theoretical modeling. In this model, the challenges interdisciplinarity is claimed to pose to its practitioners are of the same nature as the challenges scientists encounter (...) within the evolution of their own disciplines. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

In the first part of this article we survey general similarities and differences between biological and social macroevolution. In the second (and main) part, we consider a concrete mathematical model capable of describing important features of both biological and social macroevolution. In mathematical models of historical macrodynamics, a hyperbolic pattern of world population growth arises from non-linear, second-order positive feedback between demographic growth and technological development. Based on diverse paleontological data and an analogy with macrosociological models, we suggest that the (...) hyperbolic character of biodiversity growth can be similarly accounted for by non-linear, second-order positive feedback between diversity growth and the complexity of community structure. We discuss how such positive feedback mechanisms can be modelled mathematically. (shrink)

In the first part of this article we survey general similarities and differences between biological and social macroevolution. In the second (and main) part, we consider a concrete mathematical model capable of describing important features of both biological and social macroevolution. In mathematical models of historical macrodynamics, a hyperbolic pattern of world population growth arises from non-linear, second-order positive feedback between demographic growth and technological development. Based on diverse paleontological data and an analogy with macrosociological models, we suggest that the (...) hyperbolic character of biodiversity growth can be similarly accounted for by non-linear, second-order positive feedback between diversity growth and the complexity of community structure. We discuss how such positive feedback mechanisms can be modelled mathematically. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, algorithms, (...) etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

Abstract - Evolutionary, ecological and ethical studies are, at the same time, specific scientific disciplines and, from an historical point of view, structurally linked domains of research. In a context of environmental crisis, the need is increasingly emerging for a connecting epistemological framework able to express a common or convergent tendency of thought and practice aimed at building, among other things, an environmental policy management respectful of the planet’s biodiversity and its evolutionary potential. -/- Evolutionary biology, ecology and ethics: at (...) first glance, three different objects of research, three different worldviews and three different scientific communities. In reality, there are both structural and historical links between these disciplines. First, some topics are obviously common across the board. Second, the emerging need for environmental policy management has gradually but radically changed the relationship between these disciplines. Over the last decades in particular, there has emerged a need for an interconnecting meta-paradigm that integrates more strictly evolutionary studies, biodiversity studies and the ethical frameworks that are most appropriate for allowing a lasting co-evolution between natural and social systems. Today such a need is more than a mere luxury, it is an epistemological and practical necessity. -/- In short, the authors of this volume address some of the foundational themes that interconnect evolutionary studies, ecology and ethics. Here they have chosen to analyze a topic using one of these specific disciplines as a kind of epistemological platform with specific links to topics from one or both of the remaining disciplines. Michael Ruse’s chapter, for instance, elucidates some of the structural links between Darwinismand ethics. Ruse analyzes the Evolutionism vs. Creationism debate, emphasizing the risks run by scientists when they ideologize the scientific content of their studies. In the case of the contributions of Jean Gayon and Jean-Marc Drouin, which respectively deal with the disciplines of evolutionary biology and ecology, some central connections have been developed between these two disciplines, while reserving the option to consider in detail their topic in order to discover essential features ormeanings. Gayon analyzes the multilayered meanings of “chance” in evolutionary studies and the methodological implications that accompany such disparatemeanings. Froma similar analytical perspective, Drouin’s contribution focuses on the identification and critical evaluation of the different conceptions of time in ecology. Chance and time, factors of evolution in species and ecological systems, play a very important function in both disciplines, and these chapters help to capture their polysemous structure and development. Bryan Norton’s chapter, on adaptive environmental management, is set within an epistemological context where the Darwinian paradigm, ecological knowledge and ethical frameworks meet to give rise to practical, conservationist policies. In his contribution, Patrick Blandin pleads for the necessity of an eco-evolutionary ethics capable of fully encompassing humanity’s responsibility in the future determination of the biosphere’s evolutionary paths. Our value systems must recognize the predominant place that humanity has taken in the evolutionary history of the planet, and integrate the ethical ramifications of scientific advances in evolutionary and ecological studies. The chapter by J. Baird Callicott introduces us to a metaphorical ecological reversion with direct consequences for our moral conduct. If ecology showed that ecosystems are not organisms, recognizing organisms as a kind of ecosystem could be the basis for a new post-modern ecological ethics that lays the foundation for a better moral integration of humans with the environment. The contributions of Robin Attfield and Tom Regan delve into some of the classical issues in environmental ethics, situating them within a broader ecological and evolutionary context. Attfield’s chapter tackles the confrontation between individualistic and ecologically holistic perspectives, their different approaches to the issue of intrinsic value, and their tangled relation to monism and pluralism. Regan’s contribution ponders the criteria that allow individual beings, human and non-human, to own moral rights, the role of the struggle for existence in the relationship between species, and the logical difficulties involved in attributing intrinsic value to collective entities (species, ecosystems). Catherine Larrère’s chapter discusses the opposition between two environmental and ethical worldviews with very different philosophical centers of gravity: nature and technology. These opposing perspectives have direct consequences not only for the perception of the problems at hand and for what entities are deemed morally significant, but also for the proposed solutions. -/- To set out some foundational events in the history of evolutionary biology, ecology and environmental ethics is a first necessary step towards a clarification of their major epistemological orientations. On the basis of this inevitably nonexhaustive history, it will be possible to better position the work of the different contributors, and to build a meta-paradigm, i.e. a connecting epistemological framework resulting from one common or convergent tendency of thought and practice shared by different disciplines. (shrink)

The VIA Classification of Strengths and Virtues is the most commonly used model of positive personality. In this study, we used two methods of model modification to develop models for two measures of the character strengths, the VIA Inventory of Strengths-Revised and the Global Assessment of Character Strengths. The first method consisted of freeing residual covariances based on modification indices until good fit was achieved. The second was residual network modeling (RNM), which frees residual partial correlations while minimizing a (...) function that penalizes more complex models. Models based on both strategies were developed for the two questionnaires. The resulting structural models were then applied to four other samples. Though both modification procedures achieved good fit in the sample used to develop the models, only RNM resulted in adequate model fit for both measures in all cross-validation samples. This finding suggests RNM is more robust against overfitting than traditional practices. Moreover, the result supports the validity of the three-factor model of character strengths with replicability. (shrink)

Interreligious dialogue is a constant on the agendas of the meetings of the organizations around the world, either religious or secular structures. Although in the past there were situations where its role and importance were contested bringing as arguments doctrinal or other reasons, interreligious dialogue is possible because, in essence, any dialogue involves people, so it is a human act. Man is fulfilled through dialogue, knowing better both himself and those around him. In interreligious dialogue, the need and importance of (...) discussions on human rights are related to the fact that people live in a multi-religious world in which representatives of different spiritual traditions live together in the same territories. Anthropological issues are often addressed to solve current issues, having in center the importance of establishing peace on earth and respecting globally the equality between people. Hence, they seek practical and concrete solutions to solve social, economic and even political matters that are troubling the today world more than ever. Finally, questions about the man and the rights he has are of great interest nowadays, regardless of religious tradition to which he belongs. (shrink)

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to (...) scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

There is broad agreement among social researchers and social ontologists that the project of dividing humans into social kinds should be guided by at least two methodological commitments. First, a commitment to what best serves moral and political interests, and second, a commitment to describing accurately the causal structures of social reality. However, researchers have not sufficiently analyzed how these two commitments interact and constrain one another. In the absence of that analysis, several confusions have set in, threatening to undermine (...) shared goals for the responsible modeling of social kinds of humans. This essay first explains the source and substance of these confusions. Then, by distinguishing different value-laden investigative questions into the classification of social kinds of humans, it sets out specific relations of dependence and constraint between empirically-driven investigations and value-driven investigations into social kinds of humans. The result is a more detailed and fruitful framework for thinking about the classification of social kinds that respects both normative interests and mind-independent causal regularities. (shrink)

This study assessed quality assurance practices and students’ performance evaluation in universities of South-South Nigeria using an SEM approach. Three null hypotheses guided the study. Based on factorial research design, and using a stratified random sampling technique, a sample of 878 academic staff were drawn from a sampling frame of 15 universities in South-South Nigeria. Quality Assurance Practices Students’ Performance Evaluation Scale (QAPSPES) with split-half reliability estimates ranging from .86–.92, was used as the instruments for data collection. Multiple regression and (...) Confirmatory Factor Analyses (CFA) were used for the analysis of data, model building, and testing of the hypotheses at .05 alpha level. Findings showed a significant composite and relative influence (F=48.19, P<.05) of school management, staff, and students’ quality assurance practices on students’ performance evaluation. The results also indicated that there were positive and significant covariances between the four variables of this study, with the CFI, RMSEA, TLI, and SRMR values indicating a good model fit. It was recommended, based on the findings of this study that, each school should organize quality assurance orientation campaigns for new students and set up quality assurance committees at the school, faculty and departmental levels for optimal performance in schools. (shrink)