NEH banner

[light] [dark]

Funded Projects Query Form
One match

Grant number like: FB-50184-04

Query elapsed time: 0.031 sec

Export results to Excel
Save this query

FB-50184-04

Peter B. M. Vranas
Iowa State University (Ames, IA 50011-2000)
New Foundations for Command Logic

Statements like "the door is open", can be distinguished from commands, like "open the door." Just as we can infer one statement from another (e.g., "he did at least five pushups" follows from "he did at least ten pushups"), we can infer one command from another (e.g., "do at least five pushups" follows from "do at least ten pushups"). A central question in statement logic is what it means in general to say that one statement follows from another. This question has an agreed upon answer: statement logic is a mature and highly developed field. Command logic, by contrast, is sadly underdeveloped and in a state of confusion. I propose new foundations for command logic by defending a novel answer to its central question: what does it mean in general to say that one command follows from another?

Project fields:
History of Philosophy

Program:
Fellowships for College Teachers and Independent Scholars

Division:
Research Programs

Totals:
$40,000 (approved)
$40,000 (awarded)

Grant period:
1/1/2005 – 12/31/2005