Lorand Bruhacs

Standard Support: When Internal and External Constructions Agree

A nonstandard model of arithmetic can regard a list as finite even when it has infinitely many entries from an external viewpoint. Constructions using the whole list can therefore behave differently inside and outside the model. We study this difference for constraint systems and...

Standard Support: When Internal and External Constructions Agree

A nonstandard model of arithmetic can regard a list as finite even when it has infinitely many entries from an external viewpoint. Constructions using the whole list can therefore behave differently inside and outside the model. We study this difference for constraint systems and...

The Limits of Asymptotic Deontology: Risk, Scale, and Hard Rules

Does repeating a risky exception eventually justify a hard rule against it? We challenge the inference from scale alone to prohibition. A lifetime limit on critical failure can constrain continued exceptions, but the conclusion depends on how hazards persist, whose risks are asse...

The Ethics of Counting Risk: Moral Consistency and Reference Classes under Repeated Decisions

A lower reported risk need not mean that those already exposed are safer. An institution can improve its pooled expected harm rate by adding genuinely exposed lower-risk cases, while leaving the original cohort’s outcome distribution unchanged and increasing expected harms. Expan...

The Limits of Asymptotic Deontology: Risk, Scale, and Hard Rules

Does repeating a risky exception eventually justify a hard rule against it? We challenge the inference from scale alone to prohibition. A lifetime limit on critical failure can constrain continued exceptions, but the conclusion depends on how hazards persist, whose risks are asse...

The Ethics of Counting Risk: Moral Consistency and Reference Classes under Repeated Decisions

A lower reported risk need not mean that those already exposed are safer. An institution can improve its pooled expected harm rate by adding genuinely exposed lower-risk cases, while leaving the original cohort’s outcome distribution unchanged and increasing expected harms. Expan...

From In Intellectu to In Praesentatione: Sketches, Classifying Categories and the Ontological Argument

We propose reading Anselm's "in the understanding" as grasp of a structured presentation whose intended reference remains unsettled. The reconstruction distinguishes a presentation, its admissible interpretations, an extracted field of manifestations, and representation of that f...

From Profiles to Behaviors: What Elimination Leaves in S4

Formal elimination can remove a vocabulary without erasing the structure required to sustain its distinctions. In finite propositional S5, complete modal content collapses to an actual valuation and the valuations realized in its accessibility cluster, encouraging a flat, extensi...