Results for 'Formalisation'

724 found
Order:
  1.  92
    Formalisation of Damasio’s theory of emotion, feeling and core consciousness.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2008 - Consciousness and Cognition 17 (1):94-113.
    This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  73
    The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (logic LCG).Kordula Świętorzecka - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:113-120.
    The intention of the presented paper is to establish within a certain modal semantic based on the situational ontology a description of the phenomenon of substantial change, which originally had been formulated within Aristotelian metaphysics – a theory based in reistic ontology. We understand substantial changesto be such changes whose subjects are primary substances (πρωται ουσι αι ) conceived as actually existing individual essences. The analysed changeability is of an existential character - it pertains to the existence of those substances. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  35
    On isomorphic formalisations.Routen Tom - 1996 - Artificial Intelligence and Law 4 (2):113-132.
    Previous research into the formalisation of statute law identified a number of uses of language which posed problems for formalisation. A previous paper argued that these uses establish the requirement that a formalisation be isomorphic, but noted that this has odd consequences. This paper expands on what these consequences are and argues that they undermine the very idea of formalisation. Therefore, the whole argument constitutes a reductio ad absurdum of the idea of formalising statute law. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. La formalisation de la dialectique de Hegel. Bilan de quelques tentatives.Jean-Michel Counet - 2012 - Logique Et Analyse 55 (218):205-227.
    Les tentatives de Michael Kosok, Dominique Dubarle,Clark Butler et Gotthard Günther de formaliser la logique dialectique de Hegel sont résumées et critiquées.
     
    Export citation  
     
    Bookmark   2 citations  
  5. Formalised cut admissibility for display logic.Rajeev Gore - manuscript
    We use a deep embedding of the display calculus for relation algebras RA in the logical framework Isabelle/HOL to formalise a machine-checked proof of cut-admissibility for RA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle/HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.
     
    Export citation  
     
    Bookmark  
  6.  14
    Formalisations et théorèmes critiques.R. P. Dubarle - 1957 - Dialectica 11 (1‐2):88-120.
    RésuméL'objet du présent article est de dégager la signification philosophique des différents théoriémes de métamathématique relatifs à la puissance des formalisations. Ces théorèmes représentent la partie de l'épistémologie qui peut être exposée dans la forme technique de la science elle‐même et rassemblant les éléments d'une réflexion autocritique de la pensée mathématique sur elle‐même. Au‐delà, ils invitent à comprendre l'acte de la pensée mathématique comme déploiement d'un projet pensant supposant à la fois une initiative volontaire de la pensée, un champ intuitif (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Implication, formalisation et logique naturelle.E. W. Beth, J. Grize, R. Martin, B. Matalon, A. Naess & J. Piaget - 1963 - Les Etudes Philosophiques 18 (1):80-81.
     
    Export citation  
     
    Bookmark  
  8.  34
    Formalising formalism: Weinrib, Aristotle, and the nature of private law.Michael Da Silva - 2018 - Jurisprudence 9 (3):486-503.
    ABSTRACTErnest Weinrib claims that the purpose of private law is to correct injustices between private parties and the use of private laws for consequentialist ends is a distortion. Weinrib’s primary argument highlights the distinctiveness of corrective justice and distributive justice. Weinrib claims to have an Aristotelian proof for their distinctiveness, but formalisation of and commentary on this aspect of his argument are lacking. This piece fills that gap in the literature. It provides purposely and strategically simple formal models of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  95
    Formalising ordinary legal disputes: A case study. [REVIEW]Henry Prakken - 2008 - Artificial Intelligence and Law 16 (4):333-359.
    This paper presents a formal reconstruction of a Dutch civil legal case in Prakken’s formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken’s model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10. Formalised Cut Admissibility for Display Logic.Jeremy E. Dawson - unknown
    We use a deep embedding of the display calculus for relation algebras ÆRA in the logical framework Isabelle /HOL to formalise a machine-checked proof of cut-admissibility for ÆRA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle /HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.
     
    Export citation  
     
    Bookmark  
  11.  36
    Formalisation sémiotique de la traduction : Le modèle transformationnel d’Alexandre Ljudskanov.Irena Kristeva - 2019 - Semiotica 2019 (230):341-355.
    Résumé Cet article examine la formalisation sémiotique de la traduction, proposée par Alexandre Ljudskanov, à travers la confrontation de son modèle avec celui de l’École de Leipzig. Alors que les allemands Kade et Neubert ne quittent pas le champ de la Translationslinguistik, le traductologue bulgare s’applique à mettre en œuvre une sémiotique du processus traductif. En partant de la prémisse que toute information n’existe que sous forme de code, il définit la traduction comme un échange communicatif entre deux systèmes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Formalisations of evolutionary biology.Paul Thompson - 2004 - In Christopher Stephens & Mohan Matthen (eds.), Elsevier Handbook in Philosophy of Biology. Elsevier. pp. 485--523.
     
    Export citation  
     
    Bookmark   10 citations  
  13.  29
    A formalisation and prototype implementation of argumentation for statistical model selection.Isabel Sassoon, Sebastian Zillessen, Jeroen Keppens & Peter McBurney - 2018 - Argument and Computation 10 (1):83-103.
  14.  11
    Formalisation, violence et érotisme.Jean Brun - 1968 - Les Etudes Philosophiques 23 (1):11.
  15.  34
    Une formalisation de la logique traditionnelle des propositions générales, due à M. Menne.Joseph Dopp - 1955 - Revue Philosophique De Louvain 53 (40):566-596.
  16.  51
    The formalising tendency in philosophy and experimental psychology.Brendan Larvor - 2003 - Phenomenology and the Cognitive Sciences 2 (4):337-352.
    This paper is an exercise in the phenomenology of science. It examines the tendency to prefer formal accounts in a familiar body of experimental psychology. It will argue that, because of this tendency, psychologists of this school neglect those forms of human cognition typical of the humanities disciplines. This is not a criticism of psychology, however. Such neglect is compatible with scientific rigour, provided it does not go unnoticed. Indeed, reflection on the case in hand allows us to refine the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  79
    An exercise in formalising teleological case-based reasoning.Henry Prakken - 2002 - Artificial Intelligence and Law 10 (1-3):113-133.
    This paper takes up Berman and Hafner's (1993) challenge to model legal case-based reasoning not just in terms of factual similarities and differences but also in terms of the values that are at stake. The formal framework of Prakken and Sartor (1998) is applied to examples of case-based reasoning involving values, and a method for formalising such examples is proposed. The method makes it possible to express that a case should be decided in a certain way because that advances certain (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  18.  79
    Two approaches to the formalisation of defeasible deontic reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
    This paper compares two ways of formalising defeasible deontic reasoning, both based on the view that the issues of conflicting obligations and moral dilemmas should be dealt with from the perspective of nonmonotonic reasoning. The first way is developing a special nonmonotonic logic for deontic statements. This method turns out to have some limitations, for which reason another approach is recommended, viz. combining an already existing nonmonotonic logic with a deontic logic. As an example of this method the language of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  19.  12
    (1 other version)Formalisations of Certain Propositional Calculi with Partially Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (2):177-180.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  32
    The formalisation of set theory: A reply to mr. Swanson.John Tucker - 1969 - Mind 78 (309):142.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Derrida and Formal Logic: Formalising the Undecidable.Paul Livingston - 2010 - Derrida Today 3 (2):221-239.
    Derrida's key concepts or pseudo-concepts of différance, the trace, and the undecidable suggest analogies to some of the most significant results of formal, symbolic logic and metalogic. As early as 1970, Derrida himself pointed out an analogy between his use of ‘undecidable’ and Gödel's incompleteness theorems, which demonstrate the existence, in any sufficiently complex and consistent system, of propositions which cannot be proven or disproven (i.e., decided) within that system itself. More recently, Graham Priest has interpreted différance as an instance (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  63
    Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.David Fuenmayor & Christoph Benzmüller - unknown
    An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  52
    Formaliser le vivant : lois, théories, modèles.Franck Varenne - 2010 - Paris, France: Hermann.
    Peut-on formaliser le vivant ? Peut-on réduire une plante à une simple formule mathématique ? Goethe ne l’aurait pas admis. Pour beaucoup encore, cette question ne se pose même pas tant elle peut sembler provocante et contre-nature. Dans une perspective à la fois historique et épistémologique, ce livre rend compte de travaux contemporains qui ont pourtant tous tenté de braver cet interdit. C’est en grande partie sur ce terrain, hautement problématique, que, dans les premières décennies du XXe siècle, on voit (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Formalising trade-offs beyond algorithmic fairness: lessons from ethical philosophy and welfare economics.Michelle Seng Ah Lee, Luciano Floridi & Jatinder Singh - 2021 - AI and Ethics 3.
    There is growing concern that decision-making informed by machine learning (ML) algorithms may unfairly discriminate based on personal demographic attributes, such as race and gender. Scholars have responded by introducing numerous mathematical definitions of fairness to test the algorithm, many of which are in conflict with one another. However, these reductionist representations of fairness often bear little resemblance to real-life fairness considerations, which in practice are highly contextual. Moreover, fairness metrics tend to be implemented in narrow and targeted toolkits that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  25.  26
    (2 other versions)A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors.John Jones - 1982 - Mathematical Logic Quarterly 28 (33‐38):505-510.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  41
    The formalisation of set theory.John Tucker - 1963 - Mind 72 (288):500-518.
  27.  28
    Psychology and formalisation: phenomenology, ethnomethodology, and statistics.Anita Williams - 2017 - Frankfurt am Main: Peter Lang.
    This book revisits psychology's appropriation of natural scientific methods. The author argues that, in order to overcome ongoing methodological debates in psychology, it is necessary to confront the problem of formalisation contained in the appropriation of methods of natural science. By doing so, the subject matter of psychology - the human being - and questions about the meaning of human existence can be brought to the centre of the discipline. Drawing on Garfinkel, Sacks, Edwards and Potter, the author sees (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  21
    La formalisation de la logique.Joseph Dopp - 1952 - Revue Philosophique De Louvain 50 (28):533-586.
  29.  31
    (1 other version)A Formalisation of Post'sm-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):221-226.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  9
    (1 other version)A Formalisation Of The M-valued Łukasiewicz Propositional Calculus With Super-designated Truth-values.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):295-298.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  15
    (1 other version)A Formalisation Of The Χ0-valued Łukasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):289-292.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  21
    (1 other version)A Formalisation of the Integers in a Multi‐Successor Arithmetic.P. H. Stanford - 1976 - Mathematical Logic Quarterly 22 (1):119-121.
  33.  22
    Three different formalisations of einstein’s relativity principle.Judit X. Madarász, Gergely Székely & Mike Stannett - 2017 - Review of Symbolic Logic 10 (3):530-548.
    We present three natural but distinct formalisations of Einstein’s special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Implication, Formalisation Et Logique Naturelle.Evert Willem Beth - 1962 - Presses Universitaires de France.
     
    Export citation  
     
    Bookmark  
  35.  15
    Formalisation et intelligibilité en physique.Olivier Costa De Beauregard - 1996 - Philosophia Scientiae 1 (S1):127-143.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. La formalisation de "existe".H. Sarlet - 1976 - Logique Et Analyse 19 (74):469.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  44
    A formalisation of the "step forward - step backward" reasoning.Piotr Lukowski - 2001 - Anales Del Seminario de Historia de la Filosofía 18:109.
    Our everyday thinking consists of two steps: "forward" extending our beliefs, "backward" reducing them. The "forward" step is formalized by deductive logic, but existing logics formalising "rejected sentences" reasoning are unvalid for the "backward" reasoning. We need two logics: one for the set of accepted sentences, another for the set of rejected sentences. They work on the same class of sets, so the second component of the pair must be a reasoning decreasing sets of accepted sets.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    (1 other version)Formalisations of Many‐Valued Propositional Calculi with Variable Functors.John Jones - 1985 - Mathematical Logic Quarterly 31 (25‐28):403-422.
  39. La formalisation informatique comme reconstruction du raisonnement déductif.W. Marciszewski - 1988 - Studia Filozoficzne 277:167-174.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  46
    (1 other version)Formalised syllogistic.A. N. Prior - 1959 - Synthese 11 (3):265 - 273.
  41.  7
    (1 other version)Formalisations With Non‐Standard Degrees of Completeness.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):177-186.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Une formalisation de quelques syllogismes modaux.G. Stahl - 1976 - Logique Et Analyse 19 (74):175.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  21
    A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  50
    (2 other versions)A Formalisation Of The M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  26
    Formalising the informal?Cristiano Castelfranchi - 2003 - Journal of Applied Logic 1 (1-2):47-92.
  46.  10
    A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives.Alan Rose - 1954 - Journal of Symbolic Logic 19 (4):295-295.
  47. The Formalisation of Husserl’s Theory of Wholes and Parts.Peter Simons - 1982 - In Barry Smith (ed.), Parts and Moments. Studies in Logic and Formal Ontology. Philosophia Verlag. pp. 111-159.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  48. Beyond formalisation an interview.Alain Badiou - 2003 - Angelaki 8 (2):111 – 136.
  49.  16
    Formalising the 'No Information without Data-representation'Principle.Allo Patrick - 2008 - In P. Brey, A. Briggle & K. Waelbers (eds.), Current Issues in Computing and Philosophy. IOS Press. pp. 79.
  50.  25
    (1 other version)A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):177-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 724