Your English writing platform
Discover LudwigSuggestions(3)
Exact(3)
A course of values is determined by the value that the concept has for each of its arguments.
Thus, the course of values for the concept __ is a dog records that its value for the argument Zermela is the True and for Socrates is the False, and so on.
Note that Frege distinguishes between an n-place function f as an unsaturated entity that can be completed by and applied to arguments a1,…, an and its course of values, which can be seen as the set-theoretic representation of this function: the set {⟨a1,…, an, a⟩ | a = f a1,…, an)}.
Similar(57)
Frege called the course-of-values of a concept F its extension.
This principle asserts: the course-of-values of the function ƒ is identical to the course-of-values of the function g if and only if ƒ and g map every object to the same value.
When a function ƒ is a concept, Frege called the course-of-values for that concept its extension.
Course-of-values recursion relaxes this condition, and it allows the use of any number of values for previous arguments.
The course-of-values of a function is a record of the value of the function for each argument.
Notice the use of the two values ƒ(n) and ƒ(n + 1) in the definition of ƒ(n + 2), which makes this a course-of-values recursion.
The course-of-values of a function ƒ is something like a set of ordered pairs that records the value ƒ(x) for every argument x.
The principle Frege used to systematize courses-of-values is Basic Law V (1893/§20;): The course-of-values of the concept ƒ is identical to the course-of-values of the concept g if and only if ƒ and g agree on the value of every argument (i.e., if and only if for every object x, ƒ(x) = g(x)).
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com