Natalie Clarius

Member for 7 years, 4 months
Last seen this week

nclarius.github.io
Tübingen, Germany

Summary

Reputation

10,402

10.4k
6.8k
3.2k

2020
2021
2022
2023

Top tag

logic

Next privilege

15,000 Rep.

Protect questions

Badges

2

17

40

Newest

Excavator

Next badge

0/1

Self-Learner

Answers

View all 347 answers

Score Activity Newest

53

Why should we care about syntactic proofs if we can show semantically that statements are true?

Aug 9, 2019

23

What exactly is a contradiction and how does it differ from falsity?

Oct 6, 2020

16

Why is $\{\emptyset\} \not = \emptyset$?

Oct 3, 2016

11

Curious tautological pattern on"p->p"

May 29, 2020

11

"Modus moron" rule of inference?

Mar 8, 2017

Questions

View all 9 questions

Score Activity Newest Views

14

Is there a non-standard set theory that makes use of a null element?

Dec 9, 2016

14

Is this conception of countable vs. uncountable infinity adequate?

Jan 1, 2017

7

Introduction to logic starting with predicate logic

Aug 5, 2020

4

Is it notationally appropriate to use $\in$ and $\subseteq$ in the quantificational part of a predicate logic statement?

Sep 9, 2016

2

Can a (directed) tree contain crossing lines?

Jan 24, 2017

Tags

View all 67 tags

logic

555

Score

271

posts

propositional-calculus

181

Score

74

posts

predicate-logic

173

Score

102

posts

first-order-logic

160

Score

87

posts

natural-deduction

72

Score

34

posts

Reputation

+10

Why should we care about syntactic proofs if we can show semantically that statements are true?

+10

How to compute CNF from truth table

+10

Can a conditional be both vacuously true and false?

+10

Syntactic proof that Peirce's law doesn't hold in simply-typed lambda calculus

Badges

View all badges

2

gold badges

Electorate

Jul 2, 2020
Fanatic

May 4, 2019

17

silver badges

logic

Nov 18, 2020
Guru

Jun 25, 2020
Civic Duty

Nov 29, 2018

40

bronze badges

predicate-logic

Oct 14, 2020
propositional-calculus

Oct 3, 2020
first-order-logic

Oct 14, 2020

Accounts

View all 11 accounts

10.4k
2
17
40

6,448
4
21
39

2,489
14
17

Computer Science

766
3
13

499
1
4
9

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

1,649

upvotes

580

downvotes

1,344

question votes

885

answer votes

11

this month

2

this week

1

today