Epistemic semantics for classical and intuitionistic logic
@article{Martin1984EpistemicSF, title={Epistemic semantics for classical and intuitionistic logic}, author={John Neil Martin}, journal={Notre Dame J. Formal Log.}, year={1984}, volume={25}, pages={105-116} }
On se propose d'expliquer comment plusieurs systemes semantiques nonstandards pour la logique propositionnelle peuvent etre consideres comme employant essentiellement les memes principes pour definir la notion de subtitution logique et l'idee plus fondamentale d'affectation de vraies valeurs aux phases moleculaires
4 Citations
A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals
- PhilosophyThe Logic of Theory Change
- 1989
Using Gardenfors's notion of epistemic entrenchment, the semantics of a logic is developed which explains the nonmonotonic nature of the consequence relation governing languages which contain conditionals, and how to deduce conditionals from premise sets without conditionals.
Condit ional Logic for Bel ief Revis ion Part 1 : Semantics and Logic of Simple Condit ionals
- Philosophy
- 2005
Using G£rdenfors's notion of epistemic entrenchment, we develop the semantics of a logic which accounts for the following points. It explains why we may generally infer If -~A then B if all we know…
Emergence, a Universal Phenomenon which Connects Reality to Consciousness, Natural Sciences to Humanities
- PsychologyHuman and Social Studies
- 2018
Abstract Progress in neuroscience has left a central question of psychism unanswered: what is consciousness? Modeling the psyche from a computational perspective has helped to develop cognitive…
Mathematical models in neuroscience
- Computer Science
- 2017
Considering that any biological structure can be assimilated to a fractal (both structurally and functionally), a mathematicalphysical model is proposed in order to explain the mirror neurons paradigm, in which the specific neuronal network and specific logics appear.
References
SHOWING 1-10 OF 12 REFERENCES
Formal semantics and logic
- Computer Science
- 1971
The Bivalence Birkhoff-Birkhoff Algorithm simplifies Euclidean reversing Alphabetic variant Alphabetical order and proves the existence of a new type of Boolean algebra called Bound variable Branch.
Formal Semantics and Logic. By Bas C. van Fraassen. New York: The Macmillan Company; Toronto: Collier-Macmillan Canada, Ltd., 1971. Pp. xiv, 225. $9.95.
- PhilosophyDialogue
- 1973
pause: "Formally, each object is merely a locus in a web of relations, i.e. in the relational form in which objects can stand; and the relational form must be so fixed, must be formally…
Classical indeterminacy, many-valued logic, and supervaluations
- Philosophy
- 1976
A solution to the problem of representing 3-valued supervaluational languages by 2-dimensional product languages is presented here that attempts to incorporate into such a representation familiar and plausible intuitive principles from traditional many-valued theories.
A syntactic characterization of Kleene's strong connectives with two designated values
- Mathematics, Computer ScienceMath. Log. Q.
- 1975