Natalie Clarius

Member for 7 years, 6 months
Last seen this week

nclarius.github.io
Tübingen, Germany

Summary

Reputation

10,525

10.5k
7k
3.4k

2020
2021
2022
2023

Top tag

logic

Next privilege

15,000 Rep.

Protect questions

Badges

2

18

41

Newest

Enlightened

Next badge

0/1

Self-Learner

Answers

View all 350 answers

Score Activity Newest

54

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

17

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

13

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

564

Score

274

posts

propositional-calculus

182

Score

74

posts

predicate-logic

174

Score

103

posts

first-order-logic

165

Score

88

posts

natural-deduction

72

Score

34

posts

Reputation

+10

In a structural sense (explained below), what is the structure of a model of a formal language?

+10

Does consistency imply completeness?

-2

Is this conception of countable vs. uncountable infinity adequate?

+10

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

Badges

View all badges

2

gold badges

Electorate

Jul 2, 2020
Fanatic

May 4, 2019

18

silver badges

logic

Nov 18, 2020
Guru

Jun 25, 2020
Civic Duty

Nov 29, 2018

41

bronze badges

predicate-logic

Oct 14, 2020
propositional-calculus

Oct 3, 2020
first-order-logic

Oct 14, 2020

Accounts

View all 11 accounts

10.5k
2
18
41

6,478
4
21
40

2,489
14
17

Computer Science

776
3
13

499
1
4
9

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

1,664

upvotes

587

downvotes

1,363

question votes

888

answer votes

1

this week