|
Negation and Process| old_uid | 6802 |
|---|
| title | Negation and Process |
|---|
| start_date | 2009/04/27 |
|---|
| schedule | 14h-16h |
|---|
| online | no |
|---|
| summary | The first half of the presentation is logical, the second is philosophical. In the logical half, a proposal is made for a procedural interpretation of negative information in terms of split negation as procedural prohibition. Information frames and models are introduced, with negation defined as the implication of bottom, 0. A method for extracting the procedures prohibited by complex formulas is outlined, and the relationship between types of prohibited procedures is identified. In the philosophical half, we will analyse a philosophical objection to definitions of negation types in terms of the implication of 0 on an informational interpretation. This objection turns on the definitions creating a purportedly unnatural asymmetry between positive and negative information. What will be argued, is that a strong asymmetry between positive and negative information is in fact the case. As such, an asymmetry between positive and negative information is natural, and something that we should want an informational interpretation of negation to preserve. |
|---|
| responsibles | Bonnay, Sandu |
|---|
| |
|