Results for 'Formal sciences'

1000+ found
Order:
See also
  1. The Formal Sciences Discover the Philosophers' Stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.
    The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  10
    Linguistics and the Formal Sciences: The Origins of Generative Grammar.Marcus Tomalin - 2006 - Cambridge University Press.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Foundations of the Formal Sciences VII, Studies in Logic.Karen François, Benedikt Löwe, Thomas Müller & Bart van Kerkhove (eds.) - forthcoming - College Publications.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  46
    The Formal Sciences: Their Scope, Their Foundations, and Their Unity.Benedikt Löwe - 2002 - Synthese 133 (1-2):5 - 11.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  1
    Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics.Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Springer Verlag.
    "Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  1
    Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10–13, 2000. [REVIEW]Benedikt Löwe, Wolfgang Malzkom & Thoralf Räsch (eds.) - 2003 - Dordrecht, Netherland: Springer.
    "Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Phenomenology and the Formal Sciences.Thomas M. Seebohm, Dagfinn Føllesdal, J. N. Mohanty & Jitendra Nath Mohanty (eds.) - 1991 - Dordrecht, Netherland: Springer.
    Thomas A. Fay Heidegger and the Formalization of Thought 1 Dagfinn F011esdal The Justification of Logic and Mathematics in Husserl's Phenomenology 25 Guillermo E. Rosado Haddock On Husserl's Distinction between State of Affairs and Situation of Affairs.... 35 David Woodruff Smith On Situations and States of Affairs 49 Charles W. Harvey, Jaakko Hintikka Modalization and Modalities................... 59 Gilbert T. Null Remarks on Modalization and Modalities 79 J. N. Mohanty Husserl's Formalism 93 Carl J. Posy Mathematics as a Transcendental Science 107 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Medieval Logic as a Formal Science. A Survey.Christoph Kann - 2006 - In Benedikt Löwe, Boris Piwinger & Thoralf Räsch (eds.), Foundations of the Formal Sciences Iv. The History of the Concept of the Formal Sciences. pp. 103--123.
    The paper discusses in how far medieval logic can appropriately be characterized as a formal science. In this respect, the special mediecal approach to logic as a scientia sermocinalis is examined as well as its main doctrines, namely the theories of supposition and of consequences, and the famous characterization of logic as an ars artium or scientia scientiarum. It is pointed out that medieval logic is not devoted to the setting up of formal systems or any metalogical analysis (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Structure and Domain-Independence in the Formal Sciences.James Franklin - 1999 - Studies in History and Philosophy of Science Part A 30:721-723.
    Replies to Kevin de Laplante’s ‘Certainty and Domain-Independence in the Sciences of Complexity’ (de Laplante, 1999), defending the thesis of J. Franklin, ‘The formal sciences discover the philosophers’ stone’, Studies in History and Philosophy of Science, 25 (1994), 513-33, that the sciences of complexity can combine certain knowledge with direct applicability to reality.
     
    Export citation  
     
    Bookmark   4 citations  
  10. Foundations of the Formal Sciences Vi: Probabilistic Reasoning and Reasoning With Probabilities. Studies in Logic.Benedikt Löwe, Eric Pacuit & Jan-Willem Romeijn (eds.) - 2008 - College Publication.
  11. Certainty and Domain-Independence in the Sciences of Complexity: A Critique of James Franklin's Account of Formal Science.Kevin de Laplante - 1999 - Studies in History and Philosophy of Science Part A 30 (4):699-720.
    James Franklin has argued that the formal, mathematical sciences of complexity — network theory, information theory, game theory, control theory, etc. — have a methodology that is different from the methodology of the natural sciences, and which can result in a knowledge of physical systems that has the epistemic character of deductive mathematical knowledge. I evaluate Franklin’s arguments in light of realistic examples of mathematical modelling and conclude that, in general, the formal sciences are no (...)
     
    Export citation  
     
    Bookmark   3 citations  
  12.  17
    A Structured Argumentation Framework for Modeling Debates in the Formal Sciences.Marcos Cramer & Jérémie Dauphin - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):219-241.
    Scientific research in the formal sciences comes in multiple degrees of formality: fully formal work; rigorous proofs that practitioners know to be formalizable in principle; and informal work like rough proof sketches and considerations about the advantages and disadvantages of various formal systems. This informal work includes informal and semi-formal debates between formal scientists, e.g. about the acceptability of foundational principles and proposed axiomatizations. In this paper, we propose to use the methodology of structured (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  31
    How Are Formal Sciences Possible?: On the Sources of Intuitivity of Mathematical Knowledge According to Husserl and Kant.Dieter Lohmar - 2006 - New Yearbook for Phenomenology and Phenomenological Philosophy 6:109-126.
  14. Foundations of the Formal Sciences VI: Probabilistic Reasoning and Reasoning with Probabilitie.Benedikt Löwe, Eric Pacuit & Jan-Willem Romeijn (eds.) - 2009
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  15. Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic].Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Kluwer Academic Publishers.
  16. Foundations of the Formal Sciences IV.Benedikt Löwe, Volker Peckhaus & T. Rasch (eds.) - 2006 - College Publications.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Towards the Formal Study of Models in the Non-Formal Sciences.Leo Apostel - 1960 - Synthese 12 (2-3):125 - 161.
    I. The function of models in the empirical sciencesII. Structure and purpose: conditions of a structural nature which models should satisfy in order to accomplish their function.III. Generalisation and specialisation of the classical definition of model, in view of the above requirements:the algebraic model conceptthe semantic model conceptthe syntactical model conceptIV. Attempt towards reunification: the concept of model on a pragmatic basis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  18.  7
    Phenomenology and the Formal Sciences.Jairo José Da Silva - 2002 - Veritas – Revista de Filosofia da Pucrs 47 (1):61.
    Este artigo procura mostrar que as idéias filosóficas de Husserl não apenas influenciaram o trabalho de alguns dos maiores matemáticos do século XX, mas foram decisivas para aproximarem uma epistemologia das ciências formais de uma fenomenologia do significado.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Foundations of the Formal Sciences Iv. The History of the Concept of the Formal Sciences.Benedikt Löwe, Boris Piwinger & Thoralf Räsch (eds.) - 2006
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  20.  35
    Elements of Logic and Formal Science.John J. Wellmuth - 1941 - Thought: Fordham University Quarterly 16 (3):557-559.
  21.  24
    How Are Formal Sciences Possible? On the Sources of Intuitivity of Mathematical Knowledge According to Husserl and Kant.Dieter Lohmar - 2011 - The New Yearbook for Phenomenology and Phenomenological Philosophy 6 (1):109-126.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Elements of Logic and Formal Science.J. B. - 1942 - Philosophical Review 51:235.
  23.  16
    Foundations of the Formal Sciences I.Andreas Weiermann - 2002 - Synthese 133 (1-2):463-464.
    We survey a selection of results about majorization hierarchies. The main focus is on classical and recent results about the comparison between the slow and fast growing hierarchies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  15
    Toward a Universal Formal Science.Richard Cole - 1976 - Southwestern Journal of Philosophy 7 (1):129-135.
  25.  11
    Phenomenology and the Formal Sciences.Phenomenology of Natural Science.E. Marya Bower, Thomas M. Seebohm, Dagfinn Follesdal, Jitendra Nath Mohanty, Lee Hardy & Lester Embree - 1993 - Philosophical Quarterly 43 (173):574.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Elements of Logic and Formal Science. [REVIEW]B. J. - 1941 - Journal of Philosophy 38 (5):136-137.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  2
    Phenomenology and the Formal Sciences. T. Seebohm, D. Føllesdal and J.N. Mohanty.Richard Tieszen - 1993 - Journal of the British Society for Phenomenology 24 (3):289-290.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    Elements of Logic and Formal Science.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  3
    Elements of Logic and Formal Science. [REVIEW]J. B. - 1941 - Journal of Philosophy 38 (5):136.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  1
    The Future of Post-Human Formal Science: A Preface to a New Theory of Abstraction and Application.Peter Baofu - 2010 - Cambridge Scholars Press.
    What exactly is so appealing in formal science, such that its influence can be seen in numerous disciplines? This contemporary addiction to practical convenience in formal science has turned a blind eye to its other side. This book provides a way to understand the nature of formal science, in relation to systems theory for practical convenience.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Existential Quantifier, Logic and the Christian Trinitarian Monotheism: An Investigation of a Relationship Between Formal Sciences and Philosophy of Religion.Paulo Júnio de Oliveira - 2017 - Revista Brasileira de Filosofia da Religião 4 (2):134-151.
    This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Sources of Domain-Independence in the Formal Sciences.Kevin de Laplante - unknown
    Any discussion of the concept of “formal science” must acknowledge that the term is used in different ways, for different purposes, by different people. For some, the formal sciences are defined by the exclusive use of deductive methods for discovering, or reasoning about, the properties of formal, abstract systems. On this view, the formal sciences are synonymous with mathematics, formal logic, and certain branches of linguistics and computer science that emphasize the study of (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Husserl’s Foundation of the Formal Sciences in His “Logical Investigations”.Henning Peucker - 2012 - Axiomathes 22 (1):135-146.
    This article is composed of three sections that investigate the epistemological foundations of Husserl’s idea of logic from the Logical Investigations . First, it shows the general structure of this logic. Husserl conceives of logic as a comprehensive, multi-layered theory of possible theories that has its most fundamental level in a doctrine of meaning. This doctrine aims to determine the elementary categories that constitute every possible meaning (meaning-categories). The second section presents the main idea of Husserl’s search for an epistemological (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  44
    Formalization and the Meaning of “Theory” in the Inexact Biological Sciences.James Griesemer - 2013 - Biological Theory 7 (4):298-310.
    Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  35.  25
    Evaluating Formal Models of Science.Michael Thicke - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):315-335.
    This paper presents an account of how to evaluate formal models of science: models and simulations in social epistemology designed to draw normative conclusions about the social structure of scientific research. I argue that such models should be evaluated according to their representational and predictive accuracy. Using these criteria and comparisons with familiar models from science, I argue that most formal models of science are incapable of supporting normative conclusions.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  36. Introduction to Concepts Relevant to Formal Sciences.Prabal Kumar Sen - 2006 - In Pranab Kumar Sen & Prabal Kumar Sen (eds.), Philosophical Concepts Relevant to Sciences in Indian Tradition. Motilal Banarsidass. pp. 349.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  4
    Objects and Structures in the Formal Sciences.Emily Grosholz - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:251 - 260.
    Mathematics, and mechanics conceived as a formal science, have their own proper subject matters, their own proper unities, which ground the characteristic way of constituting problems and solutions in each domain, the discoveries that expand and integrate domains with each other, and so in particular allow them, in the end, to be connected in a partial way with empirical fact. Criticizing both empiricist and structuralist accounts of mathematics, I argue that only an account of the formal sciences (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  19
    Carnielli, Walter (ed.). Logic and Philosophy of the Formal Sciences: A Festscrift for Itala M. Loffredo D´ Ottaviano. São Paulo: Centro de Lógica, Epistemología e Historia da Ciência, UNICAMP (Número especial de Manuscrito, Revista Internacional de Filosofia, vol. 28, n. 2, jul-dez.) pp. 191-591.(2005). [REVIEW]Tomás Barrero - 2006 - Ideas Y Valores 55 (132):124-126.
  39. Formal Ontology, Common Sense, and Cognitive Science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):641–667.
    Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  40.  45
    B. Buldt, B. Löwe and T. Müller (Eds.), Special Issue Towards a New Epistemology of Mathematics; B. Löwe and T. Müller (Eds.), PhiMSAMP: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice; K. François, B. Löwe, T. Müller and B. Van Kerkhove (Eds.), Foundations of the Formal Sciences VII: Bringing Together Philosophy and Sociology of Science. [REVIEW]Robert Thomas - 2012 - Philosophia Mathematica 20 (2):258-260.
  41.  43
    History and Philosophy of Infinity: Selected Papers From the Conference “Foundations of the Formal Sciences VIII” Held at Corpus Christi College, Cambridge, England, 20–23 September 2013.Brendan P. Larvor, Benedikt Löwe & Dirk Schlimm - 2015 - Synthese 192 (8):2339-2344.
  42. Semantic Intuitions: Conflict Resolution in the Formal Sciences.John Woods - 1996 - In J. F. A. K. van Benthem (ed.), Logic and Argumentation. North-Holland. pp. 170--179.
     
    Export citation  
     
    Bookmark  
  43.  34
    Churchman C. West. Elements of Logic and Formal Science. J. B. Lippincott Company, Chicago, Philadelphia, New York, 1940, Ix + 337 Pp. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
  44.  7
    Bernt P. Stigum. Toward a Formal Science of Economics. The Axiomatic Method in Economics and Econometrics. The MIT Press, Cambridge, Mass., and London, 1990, Xiv + 1033 Pp. [REVIEW]David Booth - 1991 - Journal of Symbolic Logic 56 (3):1102-1103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  22
    Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
    I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  9
    Review: C. West Churchman, Elements of Logic and Formal Science. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
  47. Formal Methods in the Philosophy of Science.Leon Horsten & Igor Douven - 2008 - Studia Logica 89 (2):151-162.
    In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48. On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  49. Formal Thought and the Sciences of Man.G. G. Granger - 1983 - Springer.
    system reflected in Saussure's linguistic theory, and so influential in the great progress linguistic theory has made in this century. Indeed, Granger sees linguistic theory as expressing a paradigm for scientific theorizing, which research in other social sciences should adopt. But 'structuralism' as a method in science does not, in Granger's view, begin with Saussure and the linguists. It is nothing less than the strategy of all the sciences, both natural and social, since their beginnings. Now, 'structuralism' is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  70
    Formal Models of the Scientific Community and the Value-Ladenness of Science.Vincenzo Politi - 2021 - European Journal for Philosophy of Science 11 (4):1-23.
    In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These models share with Kuhn (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000