In fact, provability logic embodies all the desiderata that Quine (1953) set out for syntactic treatments of modality.
Extensional first-order logic embodies the Humean thesis that there are no necessary connections between distinct existences.
Many approaches within classical logic embody the idea that a proper understanding of this feature allows for restricted forms of capture and release, and this in turn allows the paradox to be blocked, without any departure from classical logic.
There are very close connections between justification logics and epistemic logics, embodied in Realization Theorems.
Talent will make an artist famous, but it's the courage, perseverance and kindness that Logic embodies that make an artist last.
There followed a period of intensive work on the philosophy of logic and of mathematics, embodied initially in his first book, Die Grundlagen der Arithmetik (1884; The Foundations of Arithmetic).
Artificial neural systems and nervous graph theoretical analysis rely upon the stance that the neural code is embodied in logic circuits, e.g., spatio-temporal sequences of ON/OFF spiking neurons.
Drug firms are outsourcing this kind of activity.That logic seems to embody a conventionally gloomy view of the pharmaceuticals industry, which seems unable to discover enough new drugs or to protect its patents on old ones.
The business logic of this pipeline is embodied in the ref_map.pl program, which executes each stage and loads the resulting data into the database.
In that realm they are a generalization of the idea of evidential support embodied by probabilistic inductive logic.
