In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

This paper analyses the notion of ‘interpretation’, which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the proof-theoretic (...) one. This is done by making use of the hierarchy of ST-related logics. Finally, a localist conception of logic is defended as the natural view stemming from the model-theoretic approach. (shrink)

In this paper I examine Field’s account of the applicability of mathematics from a measurementtheoretic perspective. Within this context, I object to Field’s instrumentalism, arguing that it depends on an incomplete analysis of applicability. I show in particular that, once the missing piece of analysis is provided, the role played by numerical entities in basic empirical theories must be revised: such revision implies that instrumentalism should be rejected and mathematical entities be regarded not merely as useful tools but also as (...) conceptual schemata by means of which we can articulate our understanding of experience. (shrink)

Teachers as the most important elements of education constantly need professional development courses in order to improve their pedagogy and practice. Given this, many educational systems worldwide have paid special attention to designing courses by which the quality of teaching and learning raises considerably. This surge of interest has ended in different studies on PD programs in L2 education. However, the pertinent literature lacks a comprehensive review of the models, applications, and impacts of EFL/ESL teachers' PD and various aspects (...) influenced by this construct. To fill this gap and add fresh insights into this strand of research, the present study aimed to review the definitions, characteristics, models, goals, and uses of teacher professional development in L2 education. Moreover, several empirical studies were touched on to support the claims of TPD impact on teachers. Finally, the study presented different implications for L2 teachers, teacher trainers, researchers, and policy-makers who can realize the significance and impact of effective TPD courses on the whole process of teaching and learning. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this system are polynomial time computable. Finally, we (...) apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

The issue of the emergence of formal axiomatic logical systems due to the emergence of logical antinomies in formal axiomatic systems, specifically the issue of developing formal logical axiomatics in the calculus of considerations was investigated in the considered research. At the same time, in order to determine the characteristics of the implementation of the logical-methodological principles and provisions of the deductive reasoning obviously, conceptual-logical foundations of the calculus of considerations was studied and the main propositions of the calculus of (...) considerations and the analysis of the initial logical operations on them were given in the study. The basic laws of logic and the expression of one logical act with another one were also explained in the research work by giving the concepst of proportional form and tautology in the calculus of considerations. At the same time, main properties and the procedure of setting of the formal deductive theory in the calculus of considerations were studied in the article. In order to provide an adequate characterization of the conceptual and methodological bases of the calculus of considerations in the research work, the basic logical laws of the calculus of considerations developed by the German mathematician and thinker P. Hilbert were also given. In addition, the main principles and methodological provisions of the deductive method were investigated, and the rules of deriving new conclusions from the axioms were interpreted. At the end of the reviewed article, the main principles and methods of the formal axiomatic mathematical systems built on a deductive basis, specifically the calculus of considerations, were studied and a logical-methodological analysis of the calculus of considerations was carried out on this basis. In this framework, the syntactic and semantic analysis of formalized language in formal axiomatic logical systems was carried out separately, the constituent parts of those systems, including the construction scheme, were given. (shrink)

Limitations of antiarrhythmic drugs on cardiac sudden death prevention appeared since the early 80's. The "Cardiac Arrhythmia Suppression Trial"(CAST) showed more recently that mortality was significantly higher inpatients treated with some particular antiarrhythmic drugs than in non-treated patients. In this field, our group recently demonstrated that a bolus of a Class 1B antiarrhythmic drug was able to trigger a ventricular fibrillation due to transient blocks induction. The aim of the present work was to systematically study, by use of the van (...) Capelle and Durrer (VCD) model which allows to simulate ventricular activation wave propagation, the link between arrhythmogenic effects and the ability of transient blocks to possibly degenerate in severe arrhythmias. A fragment of the ventricular wall is represented by an array of 16384elements electrically coupled. Effects of induction of one or several transient blocks, as the effects of their size and duration on possible induction of reentries have been studied. Results obtained show that various combinations between these different parameters may trigger reentries, ventricular tachycardia and/or more complex patterns assimilable to ventricular fibrillation. These results clearly evidence the fact that possible induction of transient blocks may directly be related to risk factor associated to arrhythmogenic effects of antiarrhythmic drugs. (shrink)

We describe and examine a view of knowledge application in schooling developed from aspects of contemporary learning theory. To situate our perspective in contemporary practice, we establish the significance of the issue of knowledge application as an educational challenge. We then review some enduring theoretical conceptions of the problem and their educational ramifications following which we introduce some developments in educational learning theory and consider their implications for teaching knowledge application.

We trace two logical ideas further back than they have previously been traced. One is the idea of using diagrams to prove that certain logical premises do—or don’t—have certain logical consequences. This idea is usually credited to Venn, and before him Euler, and before him Leibniz. We find the idea correctly and vigorously used by Abū al-Barakāt in 12th century Baghdad. The second is the idea that in formal logic, P logically entails Q if and only if every model of (...) P is a model of Q. This idea is usually credited to Tarski, and before him Bolzano. But again we find Abū al-Barakāt already exploiting the idea for logical calculations. Abū al-Barakāt’s work follows on from related but inchoate research of Ibn Sīnā in eleventh century Persia. We briefly trace the notion of model-theoretical consequence back through Paul the Persian and in some form back to Aristotle himself. (shrink)

No other cluster of medical issues affects the genders as differently as those related to procreationcontraception, sterilization, abortion, artificial insemination, in-vitro fertilization, surrogate motherhood, and genetic screening. Rosemarie Tong s approach to feminist bioethics serves as a catalyst to bring together different feminist voices in hope of actually doing something to make gender equity a present reality rather than a mere future possibility.".

This article pays special attention to some issues of justice erased by extending constitutional and political problems to a more generally rank. Controversies generated by the principle of justice are multiplicated in their formulation in different social spaces and time relocation. In this article we test the applicability of the theoretical model of intergenerational justice in changing political orders, emphasizing its particularities and limitations. Solving past political problems in different political regimes induces many theoretical disscutions. In spite of (...) all dificulties, new debates in intergenerational justice appears like a possibility in approaching controversial political matters. We’ll try also to formulate some proposals concerning the possibility of applications of some constrains of the theoretical model of intergenerational justice to changing political order issues. (shrink)

It is a matter of contention whether or not a general explanatory framework for the biological sciences would be of scientific value, or whether it is even achievable. In this paper we suggest that both are the case, and we outline proposals for a framework capable of generating new scientific questions. Starting with one clear characteristic of biological systems – that they all have the potential to make mistakes - we aim to describe the nature of this potential and the (...) common processes that lie behind it. Given that under most circumstances biological systems function effectively, an examination of different kinds of mistake-making provides pointers to mechanisms that must exist to make failure uncommon. This in turn informs a framework for systematic enquiry, which in this paper we apply to the haemostatic system, but which we believe could be applied to any system across biology. (shrink)

The Suslin operator is a type-2 functional testing for the well-foundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoretic strength has been analyzed in Jäger and Strahm [18]. This article provides a more direct approach to the computation of the upper bounds in question. Several theories featuring the Suslin operator are embedded into ordinal theories tailored for dealing with non-monotone inductive definitions that enable a smooth definition of the application relation.

Hunt and Vitell''s General Theory (1992) is used in a cross-cultural comparison of U.S. and Taiwanese business practitioners. Results indicate that Taiwanese practitioners exhibit lower perceptions of an ethical issue in a scenario based on bribery, as well as milder deontological evaluations and ethical judgments relative to their U.S. counterparts. In addition, Taiwan respondents showed higher likelihood of making the payment. Several of the paths between variables in the theory are confirmed in both U.S. and Taiwan samples, with summary data (...) suggesting the Hunt and Vitell theory performs well in both U.S. and Taiwan. Some unanticipated linkages within the model were uncovered in the samples. Results and implications are discussed. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality (...) of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

We define a property of substructures of models of arithmetic, that of being length-initial, and show that sharply bounded formulae are absolute between a model and its length-initial submodels. We use this to prove independence results for some weak fragments of bounded arithmetic by constructing appropriate models as length-initial submodels of some given model.

Since the first chapter of this book presents an intro duction to the present state of game-theoretical semantics (GTS), there is no point in giving a briefer survey here. Instead, it may be helpful to indicate what this volume attempts to do. The first chapter gives a short intro duction to GTS and a survey of what is has accomplished. Chapter 2 puts the enterprise of GTS into new philo sophical perspective by relating its basic ideas to Kant's phi (...) losophy of mathematics, space, and time. Chapters 3-6 are samples of GTS's accomplishments in understanding different kinds of semantical phenomena, mostly in natural languages. Beyond presenting results, some of these chapters also have other aims. Chapter 3 relates GTS to an interesting line of logical and foundational studies - the so-called functional interpretations - while chapter 4 leads to certain important methodological theses. Chapter 7 marks an application of GTS in a more philo sophical direction by criticizing the Frege-Russell thesis that words like "is" are multiply ambiguous. This leads in turn to a criticism of recent logical languages (logical notation), which since Frege have been based on the ambi guity thesis, and also to certain methodological sug gestions. In chapter 8, GTS is shown to have important implications for our understanding of Aristotle's doctrine of categories, while chapter 9 continues my earlier criticism of Chomsky's generative approach to linguistic theorizing. (shrink)

I n order to appreciate properly what we are doing in this book it is necessary to realize that our approach to linguistic theorizing differs from the prevailing views. Our approach can be described by indicating what distinguishes it from the methodological ideas current in theoretical linguistics, which I consider seriously misguided. Linguists typically construe their task in these days as that of making exceptionless generalizations from particular examples. This explanatory strategy is wrong in several different ways. It presupposes (...) that we can have "intuitions" about particular examples, usually examples invented by the linguist himself or herself, reliable and sharp enough to serve as a basis of sharp generalizations. It also presupposes that we cannot have equally reliable direct access to general linguistic regularities. Both assumptions appear to me extremely dubious, and the first of them has in effect been challenged by linguists like Dwight Bol inger. There is also some evidence that the degree of unanimity among linguists is fairly low when it comes to less clear cases, even in connection with such relatively simple questions as grammaticality (acceptability). For this reason we have tried to rely more on quotations from contemporary fiction, newspapers and magazines than on linguists' and philosophers' ad hoc examples. I also find it strange that some of the same linguists as believe that we all possess innate ideas about general characteristics of humanly possible grammars assume that we can have access to them only via their particular consequences. (shrink)

A review and discussion of C. A. Hooker, J. J. Leach, and E. F. McClennen's edited volumes, Foundations and Applications of Decision Theory. Volume 1: Theoretical Foundations. Volume 2: Epistemic and Social Applications.

This article introduces a novel theoretical framework for addressing epistemic injustice—a phenomenon where certain groups or individuals are systematically excluded from knowledge creation and dissemination processes—by employing ontological relativity and conceptual analysis. “Ontological relativity” refers to a philosophical perspective that posits our understanding of reality as being shaped by our toolbox of concepts, categories, language, and social practices; “conceptual analysis” is a method of inquiry that involves the rigorous examination and deconstruction of a particular concept or set of concepts (...) in order to uncover their constituent elements, relationships, and underlying assumptions. To exemplify the effectiveness of the ontology‐based approach, two paradigmatic applications are explored: (a) educational practices and (b) clinical practice and access to health care. Through the presentation of these applications and the step‐by‐step illustration of the applied methodology, the aim of the article is to showcase the efficacy of ontology in tackling epistemic injustices, suggesting innovative paths for future research in this domain. (shrink)

What does it take for a scientific model to represent? Scientific models have received a great deal of attention in recent philosophical literature. Following Morgan and Morrison’s account of “Models as Mediators”, analysis of how models represent has changed from questioning what properties of models can be said to correlate with the world to asking how models are used to relate to an intended target-system. This turn to a practice-oriented approach of understanding models was a response to a general philosophical (...) problem that attends the empirical application of scientific representations such as models. This problem is twofold. Models, on the one hand, are often said to make false claims about the world.. (shrink)

We prove the following algebraic characterization of elementary equivalence: $\equiv$ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of the familiar model theoretical notion. We apply this result to Friedman's fourth problem by proving that if L = L ωω (Q i ) i ∈ ω 1 is an (ω (...) 1 , ω)-compact logic satisfying both the Robinson consistency theorem on countable structures of finite type and the Löwenheim-Skolem theorem for some $\lambda for theories having ω 1 many sentences, then $\equiv_L = \equiv$ on such structures. (shrink)

How do words mean? What is the nature of meaning? How can we grasp a word's meaning? The frame-semantic approach developed in this book offers some well-founded answers to such long-standing, but still controversial issues. Following Charles Fillmore's definition of frames as both organizers of experience and tools for understanding, the monograph attempts to examine one of the most important concepts of Cognitive Linguistics in more detail. The point of departure is Fillmore's conception of "frames of understanding" - an approach (...) to (cognitive) semantics that Fillmore developed from 1975 to 1985. The envisaged Understanding Semantics ("U-Semantics") is a semantic theory sui generis whose significance for linguistic research cannot be overestimated. In addition to its crucial role in the development of the theoretical foundations of U-semantics, corpus-based frame semantics can be applied fruitfully in the investigation of knowledge-building processes in text and discourse. (shrink)

It is shown that the criteria of T-theoreticity proposed by Balzer and Gähde lead to strongly counterintuitive and in this sense paradoxical results: most of the obviously empirical or at least nontheoretical terms come out as theoretical. This is demonstrated for a lot of theories in different areas. On the way, some improved and some new structuralist theory-reconstructions are given. The conclusion is drawn that the T-theoreticity of a term cannot possibly be proved on the basis of the mathematical (...) structure of theory T alone (as Gähde and Balzer suggest). Rather, an independent notion of pre-T-theoreticity and-more importantly-of empiricity is needed; i.e., not empirical and not pre-T-theoretical are independent, necessary but not sufficient conditions for T-theoretical (this is also a necessary complement of Sneed's original criterion). Finally it is asked whether the structuralist criterion of T-theoreticity complemented by such independent conditions would be a satisfactory answer to Putnam's challenge, and the answer again is negative: the criterion is not able to distinguish between empirically contentful and completely contentless (superfluous) theoretical terms. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

How do words mean? What is the nature of meaning? How can we grasp a word's meaning? The frame-semantic approach developed in this book offers some well-founded answers to such long-standing, but still controversial issues. Following Charles Fillmore's definition of frames as both organizers of experience and tools for understanding, the monograph attempts to examine one of the most important concepts of Cognitive Linguistics in more detail. The point of departure is Fillmore's conception of "frames of understanding" - an approach (...) to (cognitive) semantics that Fillmore developed from 1975 to 1985. The envisaged Understanding Semantics ("U-Semantics") is a semantic theory sui generis whose significance for linguistic research cannot be overestimated. In addition to its crucial role in the development of the theoretical foundations of U-semantics, corpus-based frame semantics can be applied fruitfully in the investigation of knowledge-building processes in text and discourse. (shrink)

The paper presents a novel view of social norms that reflects the importance of different agent types, their specific motivations and roles. How one identifies with a role and behavioral options available to the agent is crucial for the sustainability of the social norms. The analysis of a simple case of social norm is suggested as a default model for analysis, and then the classification of subjects, enforcers, and audience is introduced. This triangular typology of agents is extended by introducing (...) a network of interlocking patterns underlying social behavior. Lastly, the paper describes two categories of transgressions based on misidentification. (shrink)

This book offers insights on the study of natural language as a complex adaptive system. It discusses a new way to tackle the problem of language modeling, and provides clues on how the close relation between natural language and some biological structures can be very fruitful for science. The book examines the theoretical framework and then applies its main principles to various areas of linguistics. It discusses applications in language contact, language change, diachronic linguistics, and the potential enhancement (...) of classical approaches to historical linguistics by means of new methodologies used in physics, biology, and agent systems theory. It shows how studying language evolution and change using computational simulations enables to integrate social structures in the evolution of language, and how this can give rise to a new way to approach sociolinguistics. Finally, it explores applications for discourse analysis, semantics and cognition. (shrink)

Abstract.Klaus Günther's (1988) book developed the distinction between two kinds of discourse, the foundation discourse and the application discourse. In an article (Günther 1989a) following the publication of the book, he used this basic distinction as the starting point for a criticism of the special case‐thesis as defended by Robert Alexy (1978, 32ff., 263ff.; Alexy 1989, 16ff., 213ff.). The aim of this article is to criticize this criticism in its turn and to show that the special case‐thesis does not need (...) the reformulation which Günther proposes. It should be clear from the outset that this concerns an internal discussion in the field of discourse theory; certain discourse‐theoretical premises are taken for granted. In order to understand Giinther's criticism I will first give a brief account of the distinction he has made. (shrink)

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)