Can't believe I only just found this channel and series - would have been super helpful during my advanced logic course. Keen to go through your metaphysics series after I'm done with this one. Cheers. Can I be hopeful about a possible world semantics series?
I definitely want to! I have most of it mapped out but have been preoccupied with teaching other things, e.g. metaphysics (and this semester American Philosophy).
Do you have any other video where you explain the meaning of free variables? Couldn't find any good explanation on that. I'm not talking about how free variables are syntatically different from bound variables, but what free variables really mean. Do they include things outside the domain of discourse of the adopted model? Thank you!
Here are three videos that address it somewhat: Predicate logic with variable assignments, Part 1: ruclips.net/video/1kIao8PtWIE/видео.html Predicate logic with variable assignments, Part 2: ruclips.net/video/eN7WOdsNhjg/видео.html Ontological commitment: ruclips.net/video/SeirexaeRKQ/видео.html To answer your question though, generally "no", the value of a variable is restricted to the domain of discourse.
Can't believe I only just found this channel and series - would have been super helpful during my advanced logic course. Keen to go through your metaphysics series after I'm done with this one. Cheers.
Can I be hopeful about a possible world semantics series?
I definitely want to! I have most of it mapped out but have been preoccupied with teaching other things, e.g. metaphysics (and this semester American Philosophy).
Very clear explaination! Thank you very much!
super! glad it was helpful!
Do you have any other video where you explain the meaning of free variables?
Couldn't find any good explanation on that.
I'm not talking about how free variables are syntatically different from bound variables, but what free variables really mean. Do they include things outside the domain of discourse of the adopted model? Thank you!
Here are three videos that address it somewhat:
Predicate logic with variable assignments, Part 1: ruclips.net/video/1kIao8PtWIE/видео.html
Predicate logic with variable assignments, Part 2: ruclips.net/video/eN7WOdsNhjg/видео.html
Ontological commitment: ruclips.net/video/SeirexaeRKQ/видео.html
To answer your question though, generally "no", the value of a variable is restricted to the domain of discourse.
i love u
Hope the video helped.
Instead of defining I(G) = {3}, wouldn't it be better to define I(G) = {c}. Then, for Ga, a is not in I(G) and for Gc, c is in I(G).
That is, I : D -> {a, b, ..., v}, rather than I : {a, b, ..., v} -> D. Thus, I(1) = a, I(2) = b and I(3) = c.
Thank you very much!