Este artículo reúne los resultados de nuestra sistematización de las magnitudes físicas y de las expresiones matemáticas de los aparatos formales de la mecánica clásica, relativista y cuántica, revelando su estructura subyacente común. La sistematización se ha realizado ordenando en tablas algunas de las magnitudes físicas y expresiones matemáticas más conocidas según sus diferentes grados de derivación, abriendo paso, de este modo, a un criterio de fundamentalidad de las leyes, principios, postulados y ecuaciones de cada aparato formal.

The aim of this paper is to propose a particular conception and formulation of the concepts of formal derivation and axiomatic system, which, although not orthodox, remain part of classical first order logic. It is proposed, in particular, that the definition of formal derivation includes the pos..

La recepción de la Wissenschaft der Logik de G. W. F. Hegel en la filosofía argentina fue tardía y focal. A la casi nula atención al aspecto especulativo de la filosofía hegeliana durante el positivismo decimonónico, continuó un superficial interés en las primeras décadas del siglo XX que derivó en dos comentarios de la Wissenschaft der Logik: La Lógica de Hegel de M. A. Virasoro y Hegel y la dialéctica de C. Astrada. Para Virasoro la obra representaba un posicionamiento lógico (...) contrapuesto al formal con derivaciones gnoseológicas y metafísicas; para Astrada ella exponía la fundamentación del método dialéctico, el cual tenía relevancia ontológica y política. Ambos filósofos coincidieron en un interés crítico por la obra y en un privilegio exegético de la Doctrina del ser por sobre la Esencia y el Concepto. Las diferencias y las continuidades entre ambas interpretaciones conformaron la recepción inicial de la Wissenschaft der Logik en la filosofía argentina. (shrink)

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies (...) can be presented in a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing (...) the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

I raise skeptical doubts about the prospects of Bayesian formal epistemology for providing an adequate general normative model of epistemic rationality. The notion of credence, I argue, embodies a very dubious psychological myth, viz., that for virtually any proposition p that one can entertain and understand, one has some quantitatively precise, 0-to-1 ratio-scale, doxastic attitude toward p. The concept of credence faces further serious problems as well—different ones depending on whether credence 1 is construed as full belief (the limit (...) case of so-called partial belief) or instead is construed as absolute certainty. I argue that the notion of an “ideal Bayesian reasoner” cannot serve as a normative ideal that actual human agents should seek to emulate as closely as they can, because different such reasoners who all have the same evidence as oneself—no single one them being uniquely psychologically most similar to oneself—will differ from one another in their credences (e.g., because they commence from different prior credences). I argue that epistemic probability, properly understood, is quantitative degree of evidential support relative to one’s evidence, and that principled epistemic probabilities arise only under quite special evidential circumstances—which means that epistemic probability is ill suited to figure centrally within general norms of human epistemic rationality. (shrink)

In this article I tackle the question of how the hierarchical order of mechanisms can be represented within a causal graph framework. I illustrate an answer to this question proposed by Casini, Illari, Russo, and Williamson and provide an example that their formalism does not support two important features of nested mechanisms: (i) a mechanism’s submechanisms are typically causally interacting with other parts of said mechanism, and (ii) intervening in some of a mechanism’s parts should have some influence on the (...) phenomena the mechanism brings about. Finally, I sketch an alternative approach taking (i) and (ii) into account. (shrink)

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated (...) into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic. (shrink)

What is the relation between the intentionality of states and attitudes which can miss their mark, such as belief and desire, and the intentionality of acts, states and attitudes which cannot miss their mark, such as the different types of knowledge and simple seeing? Two theories of the first type of intentionality, the theory of correctness conditions and the theory of satisfaction conditions, are compared. It is argued that knowledge always involves knowledge of formal objects such as facts and (...) values, that emotions are reactions to (apparently) known values and that beliefs are reactions to known or apparently known facts or to the objects of relational states. (shrink)

The authors examined cultural preferences for formal versus intuitive reasoning among East Asian (Chinese and Korean), Asian American, and European American university students. We investigated categorization (Studies 1 and 2), conceptual structure (Study 3), and deductive reasoning (Studies 3 and 4). In each study a cognitive conflict was activated between formal and intuitive strategies of reasoning. European Americans, more than Chinese and Koreans, set aside intuition in favor of formal reasoning. Conversely, Chinese and Koreans relied on intuitive (...) strategies more than European Americans. Asian Americans' reasoning was either identical to that of European Americans, or intermediate. Differences emerged against a background of similar reasoning tendencies across cultures in the absence of conflict between formal and intuitive strategies. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed (...) formal concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

In formal semantics, structure is treated as the essential ingredient in the creation of sentence meaning from individual word meaning. This book introduces some of the foundational concepts, principles and techniques in the formal semantics of natural language and outlines the mathematical principles that underlie linguistics meaning. Using English examples, Yoad Winter presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn (...) to utilize these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning. (shrink)

The formal sciences, particularly mathematics, have had a profound influence on the development of linguistics. This insightful overview looks at techniques that were introduced in the fields of mathematics, logic and philosophy during the twentieth century, and explores their effect on the work of various linguists. In particular, it discusses the 'foundations crisis' that destabilised mathematics at the start of the twentieth century, the numerous related movements which sought to respond to this crisis, and how they influenced the development (...) of syntactic theory in the 1950s. The book concludes by discussing the resulting major consequences for syntactic theory, and provides a detailed reassessment of Chomsky's early work at the advent of Generative Grammar. Informative and revealing, this book will be invaluable to all those working in formal linguistics, in particular those interested in its history and development. (shrink)

This paper responds to Terry Horgan’s recent critique of Bayesian formal epistemology. I argue that each of Horgan’s criticisms misses its mark when Bayesianism is viewed as putting forward an inductive logic of confidences. Along the way, I explore the nature, scope, and limits of a defensible brand of Bayesianism.

In this article, after presenting the basic idea of causal accounts of implementation and the problems they are supposed to solve, I sketch the model of computation preferred by Chalmers and argue that it is too limited to do full justice to computational theories in cognitive science. I also argue that it does not suffice to replace Chalmers’ favorite model with a better abstract model of computation; it is necessary to acknowledge the causal structure of physical computers that is not (...) accommodated by the models used in computability theory. Additionally, an alternative mechanistic proposal is outlined. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

In his article “On Teaching Logic,” Peter Geach reminds us of a distinction that will prove convenient in the present context, despite the ambiguity on both sides of the distinction.

Solving numeric, logic and language puzzles and paradoxes is common within a wide community of high school and university students, fact witnessed by the increasing number of books published by mathematicians such as Martin Gardner, Douglas Hofstadter [in one of the best popular science books on paradoxes ], inspired by Gödel’s incompleteness theorems), Patrick Hughes and George Brecht and Raymond M. Smullyan, inter alia. Books by Smullyan are, however, much more involved, since they introduce learning trajectories and strategies across several (...) subjects of mathematical logic, as difficult as combinatorial logic, computability theory, and proof theory. These books provide solutions to their suggested exercises. Both statements and their solutions are written in the natural language, introducing some informal algorithms. As an exercise in Mathematics we wonder if an easy proof system could be devised to solve the amusing equations proposed by Smullyan in his books. Moreover, university students of logic could well train themselves in constructing deductive systems to solve puzzles instead of a non-uniform treatment one by one. In this paper, addressing students, we introduce one such formal systems, a tableaux approach able to provide the solutions to the puzzles involving either propositional logic, first order logic, or aspect logic. Let the reader amuse herself or himself! (shrink)

The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a (...) sort of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system. (shrink)

Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal relationism is (...) committed to epiphenomenalism about singular mental content. (shrink)

The problem of the right access and the formal indication. The phenomenological hermeneutics of facticity, Heidegger’s first philosophical program, cannot be understood from the usual idea that opposes hermeneutical ontology to the primacy of method; On the contrary, its fundamental problem is that of the “right access” to factical life. The importance of this problem contains a mutual implication between the subject (factical life) and the method. It is concerned with the determination of the original Gegebenheit of factical life (...) and with the modes of its apprehension. This paper aims at explaining the status and function of the specific phenomenological means required by this problem. (shrink)

The purpose of this study was to extend the knowledge about why procedural justice has behavioral implications within organizations. Since prior studies show that PJ leads to legitimacy, the author suggests that, when formal regulations are unfairly implemented, they lose their validity or efficacy. This “rule deactivation,” in turn, leads to two proposed destructive work behaviors, namely, workplace deviance and decreased citizenship behaviors. The results support this mediating role of RD, thus suggesting that it forms part of the generative (...) mechanism through which unfair procedures influence ethical behavior within organizations. The author ends the article by discussing behavioral ethics and managerial implications as well as suggestions for future research. (shrink)

The General Formal Ontology is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set (...) theory into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. (shrink)

In this essay, I discuss the relationship between Garfinkel’s Studies in Ethnomethodology and subsequent developments in ethnomethodology and conversation analysis. I argue that a point of continuity in ethnomethodology and CA, which marks both as radically different from long-standing traditions in Western philosophy and social science, is the claim that social order is evidently produced in ongoing activities, and that no specialized theory or methodology is necessary for making such order observable and accountable. In the half-century following the publication of (...) Studies, Garfinkel explicitly aimed to radicalize ethnomethodology’s stance toward what he called “formal” or “classical” treatments of social order, while much of CA pursued the path of an empirical social science that became increasingly integrated with other branches of social science. Nevertheless, I argue, Garfinkel’s radical initiatives are not completely out of play in ethnomethodological conversational analysis, and the potential remains for further elucidating, exemplifying, and developing them. (shrink)

I defend moderate formalism about the aesthetics of nature. I argue that anti-formalists cannot account for the incongruousness of much natural beauty. This shows that some natural beauty is not kind-dependent. I then tackle several anti-formalist arguments that can be found in the writings of Ronald Hepburn, Allen Carlson, and Malcolm Budd.

Computational dialectics is concerned with the formal representation of argument and dispute. The field emerged from developments in philosophy, artificial intelligence and legal theory. Its goal is to suggestalgorithms, procedures and protocols to investigate the tenability of logical claims, on the basis of information in the form of rules and cases. Currently, the field slowlyconverges to the opinion that dispute is the most fair and effective way to investigate claims. The basic assumption of this field is that dispute is (...) the most fair and effective way to investigate claims. The definition of a formal dispute varies throughout the literature, butis considered not to vary within one and the same logical system. In this paper it is shown that parts of the definition of a dispute may change within one logical system.To this end, the notion of partial protocol specification (PPS) is introduced. A PPS is a part of the definition of the protocol. A modification to the protocol, in the form of a PPS, can be put forward, disputed, established and incorporated as aneffective `point of order. The paper demonstrates the existence of self-undermining PPSs, it discusses the relevance of PPSs for dialectical models of legal argument and concludes with a description of how PPSs can be built into existing argumentation systems. (shrink)

This paper discusses Carnap’s attempts in the late 1920s to provide a formal reconstruction of modern axiomatics.1 One interpretive theme addressed in recent scholarly literature concerns Carnap’s underlying logicism in his philosophy of mathematics from that time, more specifically, his attempt to “reconcile” the logicist approach of reducing mathematics to logic with the formal axiomatic method. For instance, Awodey & Carus characterize Carnap’s manuscript Untersuchungen zur allgemeinen Axiomatik from 1928 as a “large-scale project to reconcile axiomatic definitions with (...) logicism, and transform implicit into explicit definitions.” It is argued that Carnap’s central idea was to balance a Fregean foundational stance with the modern model-theoretic viewpoint introduced in Hilbert’s Grundlagen der Geometrie ). It was also shown in recent literature that Carnap’s attempt to provide a logicist reconstruction of axiomatics is limited in several ways.2 No closer attention, however, has so far been dedicated to some of the details of his proposed reconciliation. (shrink)