, but this code // executes before the first paint, when

is not yet present. The // classes are added to so styling immediately reflects the current // toolbar state. The classes are removed after the toolbar completes // initialization. const classesToAdd = ['toolbar-loading', 'toolbar-anti-flicker']; if (toolbarState) { const { orientation, hasActiveTab, isFixed, activeTray, activeTabId, isOriented, userButtonMinWidth } = toolbarState; classesToAdd.push( orientation ? `toolbar-` + orientation + `` : 'toolbar-horizontal', ); if (hasActiveTab !== false) { classesToAdd.push('toolbar-tray-open'); } if (isFixed) { classesToAdd.push('toolbar-fixed'); } if (isOriented) { classesToAdd.push('toolbar-oriented'); } if (activeTray) { // These styles are added so the active tab/tray styles are present // immediately instead of "flickering" on as the toolbar initializes. In // instances where a tray is lazy loaded, these styles facilitate the // lazy loaded tray appearing gracefully and without reflow. const styleContent = ` .toolbar-loading #` + activeTabId + ` { background-image: linear-gradient(rgba(255, 255, 255, 0.25) 20%, transparent 200%); } .toolbar-loading #` + activeTabId + `-tray { display: block; box-shadow: -1px 0 5px 2px rgb(0 0 0 / 33%); border-right: 1px solid #aaa; background-color: #f5f5f5; z-index: 0; } .toolbar-loading.toolbar-vertical.toolbar-tray-open #` + activeTabId + `-tray { width: 15rem; height: 100vh; } .toolbar-loading.toolbar-horizontal :not(#` + activeTray + `) > .toolbar-lining {opacity: 0}`; const style = document.createElement('style'); style.textContent = styleContent; style.setAttribute('data-toolbar-anti-flicker-loading', true); document.querySelector('head').appendChild(style); if (userButtonMinWidth) { const userButtonStyle = document.createElement('style'); userButtonStyle.textContent = `#toolbar-item-user {min-width: ` + userButtonMinWidth +`px;}` document.querySelector('head').appendChild(userButtonStyle); } } } document.querySelector('html').classList.add(...classesToAdd); })(); Interim 2010: Modal Logic - News & Stories | 鶹

Skip to main content

Calvin News

Interim 2010: Modal Logic

Fri, Jan 21, 2011
Ashleigh Draft

Tradition states that above the entrance to Plato’s Academy were inscribed the words, “Let no one ignorant of geometry enter here.”

[photo here]

A student in the modal logic interim course studies how subjunctives compare with conditional probabilities in probability theory.

Tomis Kapitan, Presidential Teaching Professor in the philosophy department at Northern Illinois University, says he might modify that statement to read: "Let no one enter graduate school in philosophy who has not studied modal logic."

Most students study advanced topics like modal logic for the first time in graduate school. But it’s to the student’s advantage to be exposed to modal logic as undergraduates, says Calvin professor . However, an advanced field of logic like modality rarely fits into an .

Interim focus

䲹’s January term has given Wykstra an opportunity to teach "Modal Logic: Theory and Applications" for the past two years. Last year, six senior , all headed to graduate school, petitioned Wykstra to teach the course. "So it was sort of our ‘send-off present’ for them,” says Wykstra. “But it’s also an opportunity for me to become more familiar with modal logic. I think that’s part of the interim ideal; a professor can push into a place he or she isn’t entirely familiar with, and students and professor can learn together.”

The subject matter is difficult, admits Wystra. But he also says that students shouldn’t be intimidated by it. “It doesn’t always come easy for me,” says Wykstra. “You have to work to be comfortable with it.”

"It’s been pretty hard,” confirms sophomore Aaron Franklin. “It’s hard to learn all the new terms, and how they relate.” His classmates concur: learning the language of modal logic has certainly not been easy. But despite the difficulty, Professor Wykstra has made the material accessible, says junior Cameron Gibbs.

Modal logic at work

The class consists of a “formal logic” layer and an “application” layer—the latter of which shows students how contemporary philosophers apply the tools of modality to philosophical problems. This month the class has been using the evidential problem of evil as its primary “case study” for how modal concepts can inform a contemporary philosophical debate.

Lu Teng, an exchange student from Wuhan University in China, says, "In China I studied a lot of logic, and a lot of logic that was very hard. But it was more like studying mathematics—I never was sure what it related to. Here I see the applications from Professor Wykstra.”

"One of the foibles of advanced logic is that it can seem tedious and uninteresting at times,” says senior Tim Perrine. “But in this class I knew I was gaining a tool that I could apply, and that would be fruitful for future use.”

[photo here]

Senior major Emi Okayasu explains an element of modal logic to classmates Lu Teng and Quan Jin. Teng and Jin are both visiting students in Calvin's philosophy department from Wuhan University in China.

Philosophy as a living discipline

The application portion of the class also provides students with front-row seats to living debates within philosophy—what arguments and counterarguments are being presented in the field right now. This year’s modal logic students even have an opportunity to read and respond to a paper co-authored by Wykstra and one of their classmates, Tim Perrine. The paper will be presented at the Pacific Division meeting of the American Philosophical Association this spring.

"Once nice thing about the class is that there was a real sense of community and teamwork,” says Perrine. ”And since this is a current research interest of Professor Wykstra’s, there really was a sense of the professor and the students getting together in a circle and trying to understand particular ideas and how they fit. That’s a nice feeling for a class that you don’t get very often.”

"Studying modal logic has allowed me to study the places where philosophy intersects with topics in other departments,” says senior Emi Okayasu. “It’s shown me that philosophy is not just the history of thought…it’s a very dynamic discipline.” Quan Jin, also visiting from Wuhan University, adds, “It’s shown me that analytic philosophy isn’t trivial.”

Wykstra says that his goal is to give students exposure to theories of modal logic. “I want them to have the basic language down…[and] to have the street smarts to enter into a discussion and not feel lost,” he says. “I don’t expect them to become like tai chi masters who know all the right moves… I just want them to be able to handle themselves in a street brawl.”