Questions tagged [symbolic-logic]

For questions related to symbolic logic, also known as mathematical logic. Topics might range from philosophical implications of metamathematical results to technical questions.

Filter by
Sorted by
Tagged with
-4 votes
1 answer
49 views

Hi! I'm 99% sure my formal argument is valid, but can you check?

I wrote this argument, and while i'm sure it is valid, it has been awhile since I've done basic logic.Thanks!
user avatar
0 votes
1 answer
48 views

Question from predicate logic exam: Given model with the domain D = {a,b}, say whether the formulas listed below are true or false

I've got a logic exam coming up and one of the question types is puzzling to me. If anyone could help me by explaining what this is about to me, I would appreciate it greatly. Note: I was unable to ...
user avatar
1 vote
2 answers
129 views

When does a mathematical predicate have a truth value?

Say we have a predicate in a domain of real numbers, P(x), 2x+10=20 we know that we can existentially quantify this and say that the value x=5 makes this true, but we cannot talk about P(x) being ...
user avatar
0 votes
0 answers
164 views

What is mathematical analysis?

Hilbert's aim to reduce all mathematics to finite logical system was shown impossible by Goedel. He did mathematical analysis of logic itself (Goedel numbering). Turing defined algorithms, and ...
user avatar
  • 1,003
0 votes
1 answer
60 views

Willard Van Orman Quine: Elementary Logic Exercises 1: Which of the following are statements?

I am currently self-studying formal logic via Quine's "Elementary Logic." The first exercise is to declare which of the following sentences are statements and re-write the sentences that are ...
user avatar
  • 1
0 votes
1 answer
45 views

Semantic consequence and Sound Argument

Is that correct to say that semantic consequence is equivalent to the concept of sound argument in classical propositional logic? If it is the case, arguments or theories with contradictory premises ...
user avatar
0 votes
1 answer
77 views

What context do quantifiers make valid expressions?

Say I have a formal language such that x is an individual constant and symbolically has a particular value (say 2) a proposition such as x+1=3 already has the value of true, and I cannot define a ...
user avatar
2 votes
3 answers
201 views

What is the nature of the term 'variable', and is it used differently in math, computer science, and logic?

Say I'm given an expression and talk about x changing what do we really mean by this linguistically? What inferences can be drawn about the nature of variables from their practical usage? When we talk ...
user avatar
0 votes
3 answers
123 views

Proof for "⊢ (A → ¬¬A)"

I've spent 4.5 hours on this, with no exaggeration. I clearly have no idea what I'm doing here, and it's become a serious time sink that just isn't worth struggling over. If any of you could help in ...
user avatar
-1 votes
1 answer
99 views

Help with proving: P, ¬(Q ∧ P) ⊢ ¬Q

Here's the issue, there's no usage of derived rules allowed. So no DeMorgan's Law. All that's allowed is the basic TFL elimination/introduction rules, IP, (e)X(plosion), and ⊥. I'm absolutely lost on ...
user avatar
1 vote
0 answers
84 views

Nested Quantifiers Proof - Logic

When I prove this: -∃x.P(x) ⊢ ∀x.-P(x) [True] I did it like that: ∀x.-P(x) ⊢ ∀x.-P(x) because (negative ∃) -∃x.P(x) becomes ∀x.-P(x) so that we can say that it's true. However, I didn't ...
user avatar
0 votes
0 answers
36 views

How is the translation of ∧ into → done in infinitary logic?

Preamble: at first I thought I had been extra-clever in arriving at the idea of a deontic logical explosion, but I then found out that a very simple (and identically named) example of the phenomenon ...
user avatar
7 votes
2 answers
713 views

Why aren't Kripke semantics "syntax in disguise"?

The Wikipedia article on Kripke semantics suggests that they were considered a major breakthrough in part because algebraic semantics were seen as merely "syntax in disguise". But Kripke ...
user avatar
5 votes
2 answers
113 views

Why is the law of the excluded middle not a exclusive disjunction?

So the law of the excluded middle, as I have read in every logic textbook that I have read, has been ( ϕ ∨ ¬ ϕ ) , but this seems somewhat unintuitive, since I was under the impression that the ...
user avatar
0 votes
2 answers
219 views

Predicate logic proof solve

Provide a proof for the following using FOL in forallx Use the natural deduction system and proof strategies in forallx to provide a formal proof for the following . Please provide a picture of your ...
user avatar
  • 1
5 votes
2 answers
682 views

Are contradictory propositions in the propositional logic still contradictory in the predicate logic?

There is one seeming issue I happened upon that bothers me to no end. Take a proposition like “Snow is white”. “Snow is white” and its negation “Snow is not white” are obviously contradictory. However,...
user avatar
  • 63
1 vote
3 answers
90 views

How to prove, in modal logic, that □A→A is valid (T axiom) iff R is reflexive?

How to prove, in modal logic, that □A→A is valid (T axiom) iff R is reflexive? I'm not sure how to prove axiom in reverse?
user avatar
0 votes
3 answers
175 views

How to show disjunction can be expressed as a conditional

How to show that formula "A ∨ B" can be constructed from A and B using only the conditional connective (→).
user avatar
0 votes
0 answers
101 views

Proving validity/invalidity of a modal argument

□(A v B) → (□A v □B) ...(1) This symbolic argument is intuitively invalid. In (1), if we replace B with ~A, then we see that though the antecedent is necessary, the consequent is a contradiction since ...
user avatar
  • 187
0 votes
1 answer
33 views

Natural Deduction flagging system (Virginia Klenk)

I am wondering if anyone can clarify a detail that's been bugging me. Here are the flagging restrictions for Virginia Klenk's natural deduction system: RI. A letter being flagged must be new to the ...
user avatar
  • 498
3 votes
2 answers
155 views

Philosophers or philosophical traditions that reject symbolic reasoning

I'm most familiar with philosophy in the context of discussing various flavors of logic, such as independence-friendly logic, various extensions of first-order logic with plurals, relevant logic, and ...
user avatar
0 votes
2 answers
122 views

Symbolization and Evaluation of Some Simple Sentences

Here are some sentences, and I want to know whether I'm thinking about them correctly: (1) The tooth fairy is not real. Symbolization: (-R)t Truth Value: False (2) It is not the case that the tooth ...
user avatar
0 votes
5 answers
148 views

Can you give me some concrete example, so that I could understand these modal logic sentences

So there is these simple modal logic sentences: □(a → b) and a → □b Can anyone help me with some real-life examples, because I have troubles grasping the difference? edit The simpler question is this: ...
user avatar
-1 votes
1 answer
76 views

Fitch proofs help?

I'm new to logic and can see how to write these out informally, but need some help seeing how they should be translated into formal proofs in Fitch.
user avatar
  • 1
2 votes
3 answers
317 views

How do we arrive at stronger theories in mathematics/logic?

A reasonable aim of formal mathematics/logic is to build systems which can "interpret" many things. As an example, ZFC can interpret a number of things. Incompleteness Theorems provide us ...
user avatar
  • 1,003
6 votes
3 answers
177 views

How to model "forget about" in first order logic?

The other day, my housemate said "Don't forget to not leave the spoon at the bottom of the container". I understood what he meant: "Do not leave the spoon at the bottom of the ...
user avatar
0 votes
0 answers
40 views

How to represent "apart from" formally?

While working on an argument over the last few days, I came to a point where I needed to formally render an "even if" sentence. Here and here, I found some good options, but I'm not sure I ...
user avatar
0 votes
1 answer
44 views

Question about proving a set that is quantificationally inconsistent in PD+ (Finished the proof but want it to be checked)

Does ∃x(Nx & ~Nx) contradiction itself? Is there an error in my proof? Thank you
user avatar
1 vote
1 answer
61 views

Prove (-A=-A) = [-(-A => A) = (A=>-A)]

This is not homework I do this for fun. I tried using prover. The result is quite confusing. I use the Logic Book This is the last problem I want to do in this section. I have to it mostly in SD+ . |- ...
user avatar
  • 164
-1 votes
2 answers
82 views

Fitch Proof help please

I think I got it, could you take a look, please.
user avatar
2 votes
3 answers
118 views

Prove the following theorem: Need hints to finish it

This is not homework. I do it for fun and learning. I use the Logic Book. Problem has to be done in SD+. How to prove the following argument : |- [~A =>(~B=>C)]=>[(A v B) v (~~B v C )] I ...
user avatar
  • 164
0 votes
2 answers
54 views

How do I symbolise this statement with a definite description in first order logic?

"If there is exactly one present King of France, then the present King of France is a present King of France" The part I am confused about is the consequent of the conditional which equals ...
user avatar
7 votes
2 answers
421 views

How did symbolic logic show that Heidegger's assertions about the nothing were illogical?

In his inaugural address at Freiburg University in 1929, Heidegger explicitly challenged the central place given to logical principles in neo-Kantianism, on the basis of a radical account of ‘the ...
user avatar
-2 votes
1 answer
62 views

Need help to convert the following semantic tableau to Fitch style proof

Derive ~M 1.~R & ~W. 2.[(R=W)v(Mv G)]=>(W=M). As you see, the tableaux is valid.So l want to translate it an SL derivation(Fitch style) Here is my understanding 1 ~R. 1 => E 2 ~W. 1 =...
user avatar
  • 164
0 votes
1 answer
35 views

Need to check to if my SL is correct for following problem

This is not homework . l do this for fun. I am 58. I graduated Concordia University in 1993 Problem comes from the Logic Book by Bergman pg 217 (17)c I want to see if my SL is correct. If civil ...
user avatar
  • 164
0 votes
2 answers
53 views

Need help to inconsistency problem

I am using theThe Logic Book) I need help to find the inconsistencies. using SD 1.(E V F)=>(G & -I) 2.(G V F)=>I 3 -F=> E I tried everything to show it I think showing -I and I might do ...
user avatar
1 vote
0 answers
76 views

What is the smallest theory formulated in a given first-order language? [closed]

I received an exercise question in my meta-logic course, which asks: "What is the smallest theory formulated in a given first-order language L? Provide an axiomatisation of this theory. What is ...
user avatar
0 votes
2 answers
101 views

Logical fallacy in addition

Consider an example A A V ~B (addition) B > A It seems logically vaild . Now assume A is being apple and B is banana . So its equivalent **It's Apple It's apple or not banana If it's Banana ...
user avatar
  • 101
2 votes
1 answer
62 views

In symbolic logic why (p->q) and (p->~q) don't contradict each other?

I am a beginner in symbolic logic and still mostly using intution to solve the problems. After spending some time trying to figure out why (p -> q) is true if p is false I've realized that this ...
user avatar
  • 123
0 votes
1 answer
33 views

Understanding [(a→b).(c→d)] formula in section 36 of The Logic of Scientific Discovery

Excerpt from footnote 1 in section 36 of Popper's "The Logic of Scientific Discovery": In the present section, the arrow is used to express a conditional rather than the entailment relation....
user avatar
2 votes
0 answers
63 views

What is 'expendable' in logic and how to explain 'tautology' given this image?

This image is from http://www.nfillion.com/index.php/teaching/9-logic-112. According to this, a proposition can have 4 basic properties: (1) necessarily, (2) not possibly, (3) missing, and (4) ...
user avatar
  • 187
0 votes
2 answers
210 views

Is the material implication the correct model of conditional reasoning in mathematics?

Question: Do you believe that the material implication correctly models the kind of conditional reasoning necessary in mathematics to prove a theorem? Example: If x > y and y > 0, then x > ...
user avatar
  • 3,529
0 votes
2 answers
60 views

Is there a symbol for what a logic gate yields?

Is there a logic symbol for what output a logic gate yields? For instance, for an AND gate: A B A ^ B T T T T F F F T F F F F I want to propagate A ^ B into output C, but I wouldn't want to use ...
user avatar
  • 187
0 votes
1 answer
88 views

an argument that is clearly valid but invalid in a sentence logic

I was reading these paper(dont really remember the title) it stated that there are simple arguments that are clearly valid but would be counted as invalid in the sentence logic system it was using. i ...
user avatar
0 votes
4 answers
176 views

What relationship exists between logical and. material Implication (Conditional)? Can you please represent both conditionals in a truth table?

Can someone help me derive the truth table of the logical conditional from the material conditional? Here are three statements about logical implication from my logic professor: Given the argument: S:...
user avatar
1 vote
0 answers
47 views

Is there a non-transitive frame in which schema 4 is true? Or an irreflexive frame in which schema T is true?

So, I know that I can construct a frame {W, R, I} which is not transitive and in which schema 4 is not true (more specifically, Axiom Schema K and Axiom Schema 4 are not both true). I also know that I ...
user avatar
2 votes
2 answers
160 views

Formal versions of exotic logical connectives in natural language

Formal logic tends to be concerned with minimal or at least almost-minimal sets of logical connectives. The standard logical connectives are and, or, implies, iff, neg (I couldn't use Latex for their ...
user avatar
  • 241
-1 votes
2 answers
92 views

Prove that the following is a logical truth (tautology) using a natural deduction derivation: (B → C) ˅ (¬B → C) [closed]

Prove that the following is a logical truth (tautology) using a natural deduction derivation: (B → C) ˅ (¬B → C) How do I prove this using statement logic? I know I need to start with a supposition ...
user avatar
4 votes
2 answers
2k views

What does the symbol ":=" mean in formal logic?

:= What does the "colon-equal symbol" mean, and how is it used?
user avatar
1 vote
2 answers
100 views

A thought experiment: will the following observations lead you to question Aristotle's syllogism?

Many philosophers think that logic are "inherently right" and cannot be refuted by empirical observations. Below is a thought experiment that questions this view. Let's take Aristotle's ...
user avatar
  • 596

1
2 3 4 5 6