Comment by AdieuToLogic
4 days ago
> There are plenty of ethical frameworks grounded in pure logic (Kant), or game theory (morality as evolved co-operation). These are both amenable to algorithmic implementations.
Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.
To wit, NOAA hurricane modelling[0] are obviously not the hurricanes which they model.
0 - https://www.aoml.noaa.gov/hurricane-modeling-prediction/
> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.
This is false for constructs of information, ie. a "manifested model" of a sorted list is a sorted list and a "manifested model" of a sorting algorithm is a sorting algorithm.
To wit, an accurate algorithmic model of moral reasoning is moral reasoning, since moral reasoning, being a decision procedure, is an information process.
>> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.
> This is false for constructs of information, ie. a "manifested model" of a sorted list is a sorted list and a "manifested model" of a sorting algorithm is a sorting algorithm.
Specious. Constructs existing strictly within a mathematical model are not concepts external to what they model by definition. Constructs of information qualify as same as they are subject to assessment traditionally performed by stakeholders (humans). Continuing with the example provided, sorting algorithms exist as well-defined mathematical concepts and can be applied to other model concepts, yet do not transcend their manifestation in program logic.
> To wit, an accurate algorithmic model of moral reasoning is moral reasoning ...
A model of moral reasoning can only produce results to which an entity external to the model determines correctness. The model, in and of itself, has no capability to assert same beyond what it has been modeled to process.
> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.
Rofl. Someone hasn't discovered Functionalism or the identity of indiscernables. Must be hard laboring under such a poverty of reasoning.
>> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.
> Rofl. Someone hasn't discovered Functionalism or the identity of indiscernables. Must be hard laboring under such a poverty of reasoning.
First, the correct spelling is "indiscernibles" not "indiscernables".
Second, thank you for motivating me to research the origin of the quote:
As it is superbly applicable in this context.
0 - https://quoteinvestigator.com/2010/05/17/remain-silent/