0
votes
0answers
27 views

Most suitable book after Bergmann Logic Book

I'd like to know what the best book would be to pick up after this one would be. Essentially, it covers basic logical concepts (validity, soundness, consistency) and goes on to sentential and ...
1
vote
2answers
66 views

Universal quantifiers that are interpreted “almost-everywhere”

Often sentences that are false, are nonetheless "true almost everywhere." Example 0. The integers do not satisfy the cancellation law: $$\forall a\forall xy(ax = ay \rightarrow x=y)$$ This is ...
1
vote
0answers
77 views

A Question Regarding Consistent Fragments of Naive (Ideal) Set Theory

It is well known that Naive (to some, otherwise known as Ideal) set theory, that is, the set theory generated by the axioms: (EXT) (x)(x $\in$ A iff x $\in$ B) iff A=B (COMP) ($\exists$y)(x)(x ...
6
votes
0answers
43 views

Representation theorem for Heyting algebras?

A fundamental theorem by Stone asserts that any Boolean algebra is isomorphic to a subalgebra of the archetypical Boolean algebras, that is the power sets of a set $X$ (equipped with intersection, ...
3
votes
1answer
37 views

Introductions to classical and nonclassical logic?

I've found Eric Schechter: Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions a really nice book. But I'd like to skim through other books about the same subject, at ...
5
votes
1answer
66 views

Partial order on cardinalities without the axiom of choice

Cardinality can still be defined without choice, e.g. as equivalence class of equipotent sets, see Defining cardinality in the absence of choice. Injections define partial order on cardinalities by ...
4
votes
5answers
97 views

Book about different kind of logic

I'm searching for a book that talks about different kind of logic ( esoteric and particular one too ) and their uses and differences. Does such a book exist?
0
votes
2answers
66 views

Is this a good way to (or correct) proof?

Given: P ⇒ Q. To show: ¬Q ⇒ ¬P. Using modus tollens: Assume that ¬Q. Then ¬P. Thus ¬Q ⇒ ¬P. Does anybody have a good reference to how I can learn how to proof such formulas (including ...
1
vote
1answer
44 views

Best introduction to recursive functions

Hello I'm looking for a solid introduction to recursive functions within the domain of mathematical logic. I'm studying logic and would like to become more informed about this area of theory. I would ...
1
vote
1answer
71 views

Modal set-theory

In his “The Potential Hierarchy of Sets”, Review of Symbolic Logic 6:2 (2013), 205-28 Øystein Linnebo has proposed a modal set-theory. I was wondering what kind of utility can such a theory have for a ...
6
votes
2answers
238 views

Graduate level elementary logic books

I've done two courses on Logic during my Bachelor course, but they were very basic. Now I'm going to start by PhD, and I'm interested in learning "real Logic". Could you please provide some references ...
1
vote
1answer
32 views

Partial order version of elementary equivalence

Elementary equivalence is an important concept in mathematical logic. Two models $\mathfrak{M}$ and $\mathfrak{N}$ of the same signature are elementarily equivalent, written $\mathfrak{M} \equiv ...
4
votes
2answers
76 views

Graph that represents logical reasoning

The proof of a statement $X$ in terms of assumptions $A$, $B$ and $C$ can sometimes be represented using a directed graph: $$ \begin{matrix} & & X\\ & \nearrow & & ...
3
votes
2answers
73 views

Ultrafilter Lemma implies Compactness/Completeness of FOL

Apologies if this has been asked somewhere before, but I didn't see what I was looking for after several pages of Google results. I was reading Jech's The Axiom of Choice and was introduced to the ...
5
votes
2answers
111 views

Finite Model Theory

It seems that finite model theory is regarded (in a sense) as a computer theoretic subject. Is this the case or are there questions of interest that are of interest to mathematical logicians or more ...
5
votes
1answer
193 views

Asymmetric roles that are symmetric in every instance

This is similar to something else I posted, but this time we'll pretend we've never heard of infinite sets or infinite series. \begin{align} & \sin(\alpha+\beta+\gamma+\delta+\varepsilon+\zeta) ...
3
votes
1answer
108 views

Book recommendation in Foundational Mathematics

I have been navigating in this "foundational world" of mathematics for a while now ( but certainly not long enough and not deep enough ) and have read a bit about many different topics : set theory, ...
2
votes
2answers
132 views

Logic and number theory books

I've recently decided to start preparing for uni, so I figured I need to learn logic and some number theory. I picked up Burton's Elementary Number Theory and wasn't quite comfortable with it, seemed ...
0
votes
0answers
23 views

Basic questions about descriptive complexity

I'm trying to learn descriptive complexity, and I'm having trouble on a basic level wrapping my head around what it means for a logical formula to define a computational language. I've tried and ...
3
votes
2answers
114 views

Gödel's incompleteness theorems: where to learn? Is there a straightforward relation between the two?

What would be a good textbook or paper to learn the proofs of the two Gödel's incompleteness theorems from? I would prefer it to be as close to the original proofs as possible. I have not tried to ...
5
votes
2answers
127 views

Modern book on Gödel's incompleteness theorems in all technical details

Is there a modern book on Gödel's incompleteness theorems that goes into each and every technical aspect of the proof of them (a classical one, if such exists)? I'm not interested in popular ...
11
votes
2answers
230 views

Putting down axioms for some symbols. Playing with their consequences qualitatively and symbolically. Building theories. The book?

I am interested in the design and building of theories. By building theories, I mean putting down axioms of various kinds, over various fields, exploring their perhaps interesting, or probably boring, ...
3
votes
1answer
65 views

Intuitionistic Linear Logic

I am currently going through some papers that use the "intuitionistic version" of Girard's Linear Logic. Problem is, i seem to find very little literature on it. There is a lot done on Linear Logic ...
2
votes
2answers
100 views

I would like some textbook recommendations for model theory

I am a 3rd year undergraduate math student and would like to study model theory. . I have some background with set theory, ordinals etc and also with mathematical logic. This is purely for self study ...
1
vote
1answer
48 views

Suggestion for independent study of mathematical logic

Hello I'm looking for advice on mathematical logic books that are good for self-study. I would really like a text that has some if not all of the answers to exercises so I can check my progress as I ...
5
votes
2answers
198 views

Interaction of completeness and second incompleteness theorems

So I was reading the Wikipedia article on Godel's completeness theorem, the section on its relation to completeness. It says that completeness gives the existence of a model of arithmetic $\mathcal M ...
3
votes
0answers
47 views

Logic in closed symmetric monoidal categories; reference request.

Suppose we want an algebraic theory $T$ to be interpretable in any closed symmetric monoidal category $\mathbf{C}.$ I am thinking in particular of the case where $\mathbf{C}$ is the category of models ...
0
votes
1answer
51 views

Help with positive- and negative-forms in Proof Theory

I need help in understanding a device used bu Kurt Schütte, Proof Theory (1977). In treating classical sentential calculus, he use - in place of truth-tables - the device of positive- and ...
3
votes
3answers
131 views

Some reference for categorical logic?

By "categorical logic" I mean category-theoretical models of logic. In particular, I am more interested in models of intuitionistic predicate logic with conjunction, disjunction, implication and ...
3
votes
3answers
176 views

Online lectures for a first course in mathematical logic

I have a friend who is interested in learning math. I suggested that he learns mathematical logic. He has never learnt mathematical logic before, however I believe he has all the necessary ...
6
votes
5answers
195 views

The deep structure of logical formulas

A long-standing question to which I never found a concise answer is: Is there something like an unambiguous deep structure of a formula of propositional logic, opposed to its comparingly ...
11
votes
2answers
192 views

Founding Arithmetic on geometry

In the past I found some fleeting references that some (Frege in his later years being one of them) tried to found arithmetic not on set-theory and logic but on geometry and logic. Unfortunedly Frege ...
4
votes
1answer
123 views

Can one define $\langle x,y\rangle$ in $P(C)$?

I study at course Foundations of Mathematics the below definitions and lemma: $\langle x,y\rangle:=\{\{x\},\{x,y\}\}$ (from Kuratowski 1921) $\langle x,y\rangle:=\{\{\{x\},\varnothing\}\{\{y\}\}\}$ ...
2
votes
0answers
56 views

Certain sequents as inference rules

Fix a signature $\sigma.$ Then a coherent formula is a first-order formula built using only $\{\wedge,\vee,\top,\bot,\exists\}.$ See the link for more information. Furthermore, by a "special" ...
1
vote
1answer
163 views

Recommendation on a rigorous and deep introductory logic textbook

In this post, I don't mean any word by its somewhat "mathematical or logical" meaning but just "literally". It's been three years since I started "formal" mathematics, and now I'm familiar with set ...
0
votes
0answers
29 views

T-norms with arity 3

I'm working on some 3D vectors with fuzzy values, and I'd like to devise some operations on them. After my brief search, I haven't been able to find any existing work on t-norms with arity n>2. Is ...
7
votes
0answers
117 views

Elementary references on Robinson Arithmetic, Prim. Recursive fns etc.

I'm in the middle of revising my freely available and much-downloaded introductory notes Gödel Without (Too Many) Tears. (They are a sort of cut down version of part of my Gödel book, and I'm ...
3
votes
1answer
203 views

Mathematical logic book with answers to exercises

I'm sure a question similar to mine has been asked before, but I am looking for a mathematical logic book with answers to the exercises. I am studying independently and although I have good logic ...
4
votes
3answers
219 views

Good textbook for learning Sequent Calculus

There are many modern text books teaching logic using Natural Deduction. There are no books teaching logic using the axiomatic method (see Good book for learning and practising axiomatic logic ) Now ...
2
votes
0answers
37 views

Books/papers on model theory in non-monotonic logic

I am working on a project whose object language is in non-monotonic logic. Since the project involves reasoning about the models, I am thinking of translating a non-monotonic problem into a ...
2
votes
5answers
499 views

Logic and set theory textbook for high school

Do you have any advice for a textbook or a book for high schools students which completely adresses basics of logic (proposition, implication, and, or, quantifiers) and set theory (intersection, ...
4
votes
1answer
133 views

How do we know that certain concrete nonstandard models of the natural numbers satisfy the Peano axioms?

It is easy to come up with objects that do not satisfy the Peano axioms. For example, let $\Bbb{S} = \Bbb N \cup \{Z\}$, and $SZ = S0$. Then this clearly violates the axiom that says that $Sa=Sb\to ...
2
votes
1answer
68 views

The Consistency of Arithmetic

I believe that within ZFC (or maybe even a weaker subset of ZFC) there is a proof of $\mathbb{N}=(\omega,+,.,<,0,1)\models{PA}$. What would be a standard reference for this?
2
votes
1answer
58 views

Algebraic signatures as quivers; is there somewhere I can learn more about these definitions?

In my opinion, a cool definition of "algebraic signature" is as follows: An algebraic signature on the sort symbols $\mathcal{X} = \{X_0,...,X_{n-1}\}$ is precisely a quiver whose underlying set ...
0
votes
3answers
40 views

Reference for problems without efficient algorithm (in polynomial time)

I'm writing paper and need your help in finding some famous (or not so famous) problems without efficient algorithm, but from logic or computer science. So far, I have: -Boolean satisfiability ...
2
votes
2answers
47 views

Metatheoretical terms for logic

When we study logic we define various metatheoretic properties for logical systems and first-order theories, and then ask whether particular systems or theories have these properties. "Consistent" and ...
2
votes
3answers
170 views

Book request: mathematical logic with a semantical emphasis.

Suppose I am interested in the semantical aspect of logic; especially the satisfaction $\models$ relation between models and sentences, and the induced semantic consequence relation $\implies,$ ...
3
votes
1answer
64 views

Construction of a Kurtz random sequence that's not Martin-Löf random

How can one construct a Kurtz random sequence that's not Martin-Löf random? I'm also interested in the paper that included the first of such constructions. I suspect it was in Kurtz's dissertation, ...
3
votes
2answers
94 views

Textbook on Basics of Formal Systems

Whilst trying to learn more about logic I came across Smullyan's Theory of Formal Systems on Google Books. What I liked about the book was how clearly it managed to describe (on pages 3-5 in chapter ...
0
votes
0answers
55 views

Book for teaching mathematic and IQ for kid.

I'm finding some books talk about teaching mathematic for kid ,logic and IQ for kid. Can you present for me some books?