Can SD+ Make Proving Inconsistency Easier Than SD?

  • Thread starter Thread starter Marie120
  • Start date Start date
  • Tags Tags
    sd
AI Thread Summary
SD and SD+ refer to Sentential Derivation systems used in propositional logic, where SD+ provides additional rules that serve as shortcuts for deriving conclusions. While SD focuses on the logical relations among molecular sentences derived from atomic sentences, SD+ aims to simplify the process of proving inconsistencies among sets of sentences. However, users often find SD+ challenging despite its intended ease, as the complexity of applying its rules effectively can lead to confusion. The discussion highlights that while SD+ is designed to streamline proofs, the intricacies of its application can make it more difficult for some to grasp compared to the standard SD approach.
Marie120
Messages
4
Reaction score
0
Why is SD+ so difficult?

I understand SD, but SD+ is eluding me..
 
Physics news on Phys.org
what's SD and SD+?
 
SD and SD+ stand for Sentential Derivation:
http://www.lawrence.edu/dept/philosophy/research/ryckmant/logic/sententi.htm


  • The sentential, or propositional, logic SL consists of a sentential language, SL, a semantic interpretation of that language, and a sentential derivation system, SD (and SD+).

    One might use SL to examine the logical relations among molecular or (compound) sentences generated from atomic (or simple) sentences.

    From SL's perspective, only molecular sentences have structure or form, and, therefore, SL is a logic that deals with relations obtaining among molecular sentences in virtue of their structure or form.
 
Last edited by a moderator:
If what you're seeking to prove can be proven using SD+, then it can be proven using SD. Since SD+ basically gives rules that work as shortcuts, shouldn't it be easier for me to prove that a set of sentences is inconsistent using SD+ and SD than it currently is?
 

Thread 'Predictions for the Nobel Prize in Physics 2025'

Similar to the 2024 thread, here I start the 2025 thread. As always it is getting increasingly difficult to predict, so I will make a list based on other article predictions. You can also leave your prediction here. Here are the predictions of 2024 that did not make it: Peter Shor, David Deutsch and all the rest of the quantum computing community (various sources) Pablo Jarrillo Herrero, Allan McDonald and Rafi Bistritzer for magic angle in twisted graphene (various sources) Christoph...
View full post »
Thread 'My experience as a hostage'

Thread 'My experience as a hostage'

I believe it was the summer of 2001 that I made a trip to Peru for my work. I was a private contractor doing automation engineering and programming for various companies, including Frito Lay. Frito had purchased a snack food plant near Lima, Peru, and sent me down to oversee the upgrades to the systems and the startup. Peru was still suffering the ills of a recent civil war and I knew it was dicey, but the money was too good to pass up. It was a long trip to Lima; about 14 hours of airtime...
View full post »

Similar threads

MCNP6.2: F6:N and F6:P tallies vs +F6 tallies?
Replies
3
Views
2K
New menu has disappeared in my external sd card
Replies
15
Views
2K
Problem of having no more than one SD slot
Replies
25
Views
3K
I Time dilatopause for black holes
Replies
36
Views
4K
Dashcam is leaving file artifacts on SD card
Replies
35
Views
4K
Male Micro SD to Male USB Cable?
Replies
8
Views
7K
A Monte Carlo to compute uncertainties, why report the mean and SD?
Replies
2
Views
1K
I Propagation of Error when Taking the Average of Averages
Replies
19
Views
7K
An SD card ejection problem -- Why is svchost.exe using the card?
Replies
12
Views
2K
A Low value standard deviation bias
Replies
6
Views
2K

Hot Threads

Recent Insights

Back
Top