In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

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)

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

This work explores the hypothesis that subjectively attributed meaning constitutes the phenomenal content of conscious experience. That is, phenomenal content is semantic. This form of subjective meaning manifests as an intrinsic and non-representational character of qualia. Empirically, subjective meaning is ubiquitous in conscious experiences. We point to phenomenological studies that lend evidence to support this. Furthermore, this notion of meaning closely relates to what Frege refers to as "sense", in metaphysics and philosophy of language. It also aligns with Peirce's "interpretant", (...) in semiotics. We discuss how Frege's sense can also be extended to the raw feels of consciousness. Sense and reference both play a role in phenomenal experience. Moreover, within the context of the mind-matter relation, we provide a formalization of subjective meaning associated to one's mental representations. Identifying the precise maps between the physical and mental domains, we argue that syntactic and semantic structures transcend language, and are realized within each of these domains. Formally, meaning is a relational attribute, realized via a map that interprets syntactic structures of a formal system within an appropriate semantic space. The image of this map within the mental domain is what is relevant for experience, and thus comprises the phenomenal content of qualia. We conclude with possible implications this may have for experience-based theories of consciousness. (shrink)

الكيمياء علمٌ تجريبي بطبيعته، يشتغل معمليًا بالجواهر تحليلاً وتركيبًا، ويُقيم بناءاته النسقية استرشادًا بقواعد محددة تحكم إجراءات البحث التجريبي ونتائجه. وكشأن أي نشاط علمي آخر، تستلزم الممارسة الكيميائية لغة جزئية خاصة تصف بناءاتها التجريبية وتُنمّط أشكالها. وما دام التحليل والتركيب – كإجراءين تجريبيين – هما عمادا البحث الكيميائي وجوهره، فمن الضروري أن تحوي لغة الكيمياء تمثيلات صورية توصف بدورها بأنها صيغٌ أو عبارات تحليلية وتركيبية. يمكننا إذن الزعم بأن ثمة علاقة اعتماد متبادلة بين لغة الكيمياء وممارساتها المعملية؛ فاللغة تؤثر مباشرة (...) – وبأكثر من طريقة – على مجرى البحث الكيميائي وتطوره, ومن خلالها يمكن تحديد مدى قوته أو ضعفه ... تقدمه أو تخلفه ... شرعية تنبؤاته أو افتقادها لسمة الشرعية المنطقية؛ كما أن سُبل البحث المعملي للكيمياء تنعكس بالضرورة على قواعد الصياغة الصورية لهذه اللغة ومدى إمكانية تطويرها وتنقيتها من شوائب اللغة العادية التي اشتُقت منها. ويعني ذلك – بعبارة أخرى – أن اللغة والتجريب شقان مُكملان لبعضهما البعض؛ وجهان لعملة واحدة تحمل اسم الممارسة العلمية. فهل تختلف اللغة الكيميائية عن غيرها من لغات العلم الخاصة؟ وكيف يستخدم الكيميائيون لغتهم؟ ما هي القواعد الحاكمة لهذه اللغة؟, وما هي نتائج استخدامها بالنسبة للكيمياء ككل؟. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...) QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...) for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building (...) blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.

This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, (...) intentional production of entities, (state of) capacity, capacity to play a role in actions of a given type, function and functional object. These primitives enable artefacts in general to be characterized as intentionally and successfully produced entities, and isolate an important subclass of “technical” artefacts to which a function is ascribed. Lastly, we emphasize the novelty of this ontology by comparing it with other works with similar objectives. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, (...) but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for (...) such formalizations, and finally iv) the choice of the underlying logic. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article. (shrink)

The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity (...) and contact. These basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of (...) in each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond (...) the level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...) symbolic computational model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

We investigate the formal cause of diagrams, initially realizing that diagrams have no obvious form. It is argued their form is to mimic expert perspectives. This perspective provides a organizational structure that represents the relations important in understanding the worldly situation. We then shift to a study of how we are to understand an expert perspective. Using the distinction between intuitive and formal logic, logica utens versus logica docens, we identify games of habituation: games of focus and (...) distraction. The skills required for games of focus and distraction are phenomenological in regulating the way we see, i.e., how we approach and analyze different situations. This unique phenomenological skill is characteristic of diagrammatic reasoning. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces (...) naturally a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

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 (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim (...) that propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order (...) logic, namely what is known as geometric logic. (shrink)

This article presents formal correspondences between the ontological and logical structures of Deleuze’s theory of sense-events in the Logic of Sense as a “post-Cantorian orientation of thought” (Livingston 2012), grappling with an essential incompleteness or inconsistency at the heart of both Being and thought, one which Deleuze champions positively under the equation Ungrounding = Becoming. Through it, Deleuze’s sometimes slippery use of the concept of singularity (and its relation to the virtual) is elaborated, elucidating a post-Cantorian metaphysics of events, (...) distinct from and preceding Badiou’s, that concretely defines the role of the singular in Deleuze’s early major works. (shrink)

We present a formal mechanical analysis using sweeping net methods to approximate surfacing singularities of saddle maps. By constructing densified sweeping subnets for individual vertices and integrating them, we create a comprehensive approximation of singularities. This approach utilizes geometric concepts, analytical methods, and theorems that demonstrate the robustness and stability of the nets under perturbations. Through detailed proofs and visualizations, we provide a new perspective on singularities and their approximations in analytic geometry.

I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type (...) of human thought and the underlying mechanisms in virtue of which this thought is made possible. (shrink)

What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists (...) sought to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which explains both paradoxical (...) and paradox-free reasoning. The different structure between cyclic graphs and acyclic graphs is the key to understanding paradoxes. By explaining the immanent between logic, paradox, and cellular automata, it also illustrates dialectical logic as ontology. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal (...) semantics from an ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account (...) a problem regarding Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical (...) properties. From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, (...) and physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

Structural idealism uses formal and computational techniques to describe an idealist ontology composed of God and a set of finite minds. A finite mind is a system of private intentional worlds. An intentional world is a connectionist hierarchy of intentional objects (propositions, concepts, sensible things, sensations). Intentional objects, similar to Leibnizian monads, are computing machines. To escape the egocentric predicament, Leibnizian relations of (in)compossibility exist between finite minds, linking them together into a constraint-satisfaction network, thereby coordinating their private intentional (...) worlds. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers, and its form is something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks (...) and timbers best conceived as a part of the house, or is it related to the house in some non‐mereological fashion? Kathrin Koslicki argues that substances have formal parts and that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non‐mereological construal of forms. (shrink)

In this paper, we argue that formal ontological relations avoid Bradley's reductio of relations, including his famous relation regress.

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The conclusion that the hypothesis is correct (...) emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not (...) epistemic). The paper also claims that political theory and social sciences had some influence in legitimizing certain ideas and stereotypes that are exacerbated in conspiracy beliefs, while other te(le)ological conceptions, such as finalism and providence, may be an important source of ideas that turn out to be widely spread in contemporary criticism towards those same beliefs. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical (...) approaches of this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of (...) the paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...) that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand (...) biological knowledge at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

The goal of this paper is to show that the information carried by a structural representation can be decomposed into the information carried by its component parts. In particular, the relations between the components of a structural representation carry quantifiable information about the relations between components of their signifieds. It follows that the information carried by cognitive structural representations, including cognitive maps, can in principle be quantified and decomposed. This is perhaps surprising given that the formal tools of communication (...) theory have typically only been applied to simpler representation-like states without significant structure, such as detectors or indicators. In the final section I consider using computational complexity theory to capture the processing advantages afforded by structural representation. (shrink)

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and adjusting (...) the constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

The purpose of the work is to form the net structure of management of the system of administrative services provision on the basis of implementation of subject-to-subject interactions between state sector and civil society. Methodology. The methodology basis for the investigation is the abstract-logical analysis of theoretical and methodological backgrounds for management of relations and interactions. For the theoretical generalization and formation of net structure, there are used scientific recommendations of Ukrainian scientists regarding the necessity to implement subject-to-subject (...) relations in the system of administrative services provision. Results. The investigations allowed confirming that the hierarchical structure of the state governance system does not give an opportunity to implement equal interaction between a subject of provision and a subject of an appeal as these relations have one – way communication and the feedback channel has a formal character. Moreover, the civil society is not considered by state sector to be a source of methods and ways to develop the system of state governance, in particular, the management system of administrative services provision. Practical meaning. The net structure of management will allow implementing the subject-subject relations in the system, under which the actions of the subject of provision – that means state sector – will be directed to the realization of rights and interests of the subjects of appeal. In their turn, apart from the performance of all legislative responsibilities that they should perform, they can carry out activities directed to the development of management activity in the system of administrative services provision and the whole system of state governance as an integral system of management. Meaning/Distinction. The provided model of the net structure will allow involving citizens in the processes of state governance and increasing the impact of the civil sector during the making of state and management decisions and, as a result, to confirm subject-to-subject positions in the relations. (shrink)

The naive idea of a mimesis between theory and experiments, a concept still lasing in many epistemologies, is here substituted by a more sophisticated mathematical methexis where theoretical physics is a system of production of formal structures under strong mathematical constraints, such as global and local symmetries. Instead of an ultimate “everything theory”, the image of physical theories here proposed is a totality of interconnected structures establishing the very conditions of its “thinkability” and the relations with the experimental domain.

The objective of this article is to analyse definitions of culture gathered by Alfred L. Kroeber and Clyde Kluckhohn and published in Culture. A Critical Review of Concepts and Definitions in 1952. This article emphasizes a possibility of re-analysing the material collected by these researchers (Kroeber–Kluckhohn Culture Classification, hereinafter referred to as KKCC). The article shows that the KKCC material constitutes a coherent conceptual and theoretical paradigm. This paradigm was subject to contextual, frequential and conceptual (Formal Conceptual Analysis, hereinafter (...) referred to as FCA) analyses. The obtained research results enabled the author to develop a formal concept of culture of KKCC, which could be used as a model for further analysis. The final conclusions are as follows: (1) the notion of "culture" is definable only within the frameworks of a conceptually coherent paradigm; (2) determination of a paradigm requires material repository (resp. text corpus); (3) contextual and frequential analyses enable one to index that kind of repository in order to determine general categories which will be used to develop a formal concept; (4) the formal concept of culture of KKCC constitutes the framework of all possible theoretical analyses concerning the meaning of the notion of "culture" in anthropology; (5) KKCC constitutes a representation of one theory of culture. (shrink)

The present paper 1departs from the discussion on the foundation of morality in Discourse Ethics (DE) and the criticism raised against it, coming to reconstruct in a somewhat different way the foundational process. A first section is dedicated to analysing the difficulties of Habermas distinction between morality and ethics and the criticism raised against it, questioning a) the possibility to set the difference in the distinction between norms and values and b) the presumed neutrality of DE regarding ethical evaluations. A (...) second section revisits the foundational proposal of DE. First of all, it provi- des an interpretation of the Kantian proposal that makes the universalization of norms subservient to the idea of human beings as ends in themselves. It then considers a) the subsistence of Kantian moral reasoning in its architectonic and b) suggests a formal structure in practical thinking that integrates in hierarchical modus Kantian, discursive and contextually determined evaluative conceptions. (shrink)

In this text I propose a formal framework for the study of phenomenal objectness - the distinction in an a priori undifferenciated experience of the phenomenal field of certain 'objects'. The purpose of this framework is to represent (even partially) the reality of phenomenal experience in its structure (which participates conceptually to consciousness as such) and at the same time to allow the production of a tractable formalism in order to search for a mathematical explanation for the fundamental (...) phenomenon of objectness. The constitution of this framework is based on intuitions from consciousness literature as well as the recent integrated information theory. Before coming to the framework's definition, I analyse this theory from the point of view of the discourse, through concepts that I introduce here (statical and dynamical phases of the discourse), and explain some severe epistemic difficulties it encounters. The definition of a general combination criterion for the inter-discourse between philosophy and mathematics (which is necessary for the project of explaining consciousness scientifically) in these terms leads in this text to disentangle this theory into the proposed framework. (shrink)

This article provides a comprehensive conceptual analysis of information. It begins with a folk notion that information is a tripartite phenomenon: information is something carried by signals about something for some use. This suggests that information has three main aspects: structural, referential, and normative. I analyze the individually necessary and jointly sufficient conditions for defining these aspects of information and consider formal theories relating to each aspect as well. The analysis reveals that structural, referential, and normative aspects of information (...) are hierarchically nested and that the normative depends on the referential, which in turn depends on the structural. (shrink)