Four-Valued First-Order Semantics for RW
Shay Logan (North Carolina State University)

October 20, 2017, 11:00am - 1:00pm
Melbourne Logic Seminar, The University of Melbourne

211 West Wing
Arts West
Parkville 3010
Australia

Organisers:

Shawn Standefer
University of Melbourne

Topic areas

Details

Shay Logan (North Carolina State) will present "Four-Valued First-Order Semantics for RW" at 11 in Arts West 211, West Wing via skype.

Quantified relevance logics are incomplete with respect to any obvious constant-domain semantics. So in order to give a semantics for which quantified relevance logics are complete, Fine resorted to a varying-domain (stratified) semantic theory. It has been argued that this raises three problems:

(1) Varying domains are inappropriate for many of the applications of logic,

(2) The complexity of the stratified semantics makes it an implausible choice for the semantics of logical inference, and

(3) The complexity of the stratified semantics makes it unusable in practice.

In this talk I will build a particularly simple example of the stratified semantics that is based on Restall’s four-valued semantics for propositional RW and use this to give (admittedly non-decisive) reasons to doubt the severity of each of these problems. In outline, the doubts I raise can be summarized as follows:

(1) It’s not clear stratified semantics should be thought of as a varying domain semantics. Even if it is, it’s not clear how inappropriate that is.

(2) Stratified semantics is not quite as complex as it seems from Fine’s presentation of it. Even if it were, it’s not clear how much of a problem that would be.

(3) Finally, I’ll give concrete ways to think about and visualize stratified models, making them much more accessible for practical uses.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

1 person is attending:

(unaffiliated)

See all

Will you attend this event?


Let us know so we can notify you of any change of plan.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.