# Tagged Questions

79 views

### Names of 3 input logic gates

I've tried to look this up online, I may have used the wrong terminology. This question is about the names of logic gates with three boolean inputs, and one boolean output. This is a truth table for ...
25 views

### When is the higher-order theory of a model categorical?

I'm interested in (classical) type theories $L$ with the following property. For $M$ any model of $L$ (in Set), let $T(M)$ be the type theory of $M$, i.e., the strongest extension of $L$ satisfied by ...
67 views

### What is a finitary proof?

I started reading "mathematical logic", by J.R.Shoenfield, but I cannot quite understand a sentence in the very first chapter: Proofs which deal with concrete objects in a constructive manner are ...
105 views

### What does “calculus” mean?

"calculus" and "formal system" From http://en.wikipedia.org/wiki/Propositional_calculus#Terminology a calculus is a formal system that consists of a set of syntactic expressions ...
36 views

### Is there a phrase to describe those objects of $\mathbf{C}$ that can be expressed as quotients of the algebra freely generated by $X$?

Let $\mathbf{C}$ denote the category of models of an algebraic theory in $\mathbf{Set}.$ Now suppose $X$ is an object of $\mathbf{Set}$. Is there a traditional phrase used to describe those objects of ...
116 views

### Does every mathematical principle have a proof?

My question actually narrows down to the meaning of mathematical principle. While I'm looking for some principles, they usually have their proofs, so I thought "principle" has the same meaning as ...
101 views

### Must different constant symbols denote different objects?

In first-order theory with equality and >=2 constant symbols (let's denote two of them by c and d), does it always happen that $\neg(c=d)$ is derivable (possibly stated as an axiom)? In other words, ...
28 views

### What do we call the disjuncts of the conclusion of an argument?

If we have an argument with a single premise of the form $A \wedge B$, then we can refer to $A$ and $B$ collectively as "premises" of the argument without causing any confusion. However if we have an ...
211 views

### Is an anti-symmetric and asymmetric relation the same? Are irreflexive and anti reflexive the same?

I don't understand the difference between an anti symmetric and asymmetric relation. From my understanding, it is asymmetric if there is not any element where: if (x,y) (y,x). But what if you have ...
133 views

### “Logically equivalent formulae express the same _______.” <- What word do logicians use for the blank?

Meaning denotes the truth conditions of a sentence: what would have to be the case for the interpreted formula to be true. Nevertheless, without an interpretation, two logically equivalent formulae ...
62 views

### What subject in mathematics investigates the type of problems that constitute the LSAT “logic games” (example given)?

For my own curiosity, I read part of an LSAT study guide yesterday. The "logic games" section comprised questions like, An advertising executive must schedule the advertising during a particular ...
58 views

### What do we call functions that are definable by expressions?

Let $X$ denote a model of an algebraic theory $T$. What do we call the functions $f : X^n \rightarrow X$ that are definable by some expression in the language of $T$? e.g. If $S_3$ is the symmetric ...
103 views

### Question about definition of binary relation

Wikipedia says: Set Theory begins with a fundamental binary relation between and object $o$ and a set $A$. If $o$ is a member of $A$, write $o \in A$. I thought that a binary relation is a ...
40 views

### Help with understanding the definition of operation

I'm having trouble understanding this excerpt from Wikipedia, which defines an operation: Mainly, I don't understand what is meant by $V \subset X_1 \times...\times X_k$. Why does an operation ...
171 views

### What do we call entities (like $\sum$) that bind variables?

In logic, we refer to entities like $\forall$ and $\exists$ as quantifiers, because they bind variables. However, variable-binding doesn't just occur at quantifiers. For example, the symbol $i$ ...
165 views

### Validity vs. Tautology and soundness

I see that valid formula (proposition or statement) is the one that is valid under every interpretation. But this is a tautology. Is there any difference between tautology and valid formula? They also ...
29 views

### What do we call functions that return axioms / axiom schemata?

Consider the function $\mathrm{Assoc}$ defined by: $$\mathrm{Assoc}(X,*) = (\forall x,y,z \in X)((x*y)*z=x*(y*z))$$ This is a function that accepts symbols $X$ and $*$ and returns the axiom (a ...
167 views

### Is there a proper term and/or symbol for an “agnostic” conclusion?

My question stems from the material conditional: $p \rightarrow q\\p\\\therefore\space q$ However, if $\bar p$ then the conditional is silent. I would like a way to represent this fact using, if ...
34 views

### Quick logic question about $P\leftrightarrow Q$, terminology

I know that if we have $P\rightarrow Q$, $P$ can be called the antecedent and $Q$ the consequent or conclusion. If we have $P \leftrightarrow Q$, are there names for what we would call $P$ and $Q$ ...
205 views

### Name of meta-properties

How are properties like "definability" called (in which formulas are involved): A set $X$ is definable when there is a formula $\phi(x)$ such that $X = \lbrace x : \phi(x)\rbrace$. It is not a ...
106 views

Is there a name for the following (heuristic, informal) system of conventions for dealing with partial functions and undefined expressions? I'd like to know whether it has any undesirable quirks that ...
602 views

### What is the statement “If not p then q” called?

Let's say I have a statement: if p then q. The converse would be: if q then p. The inverse would be: if not p then not q. The contraposition would be: if not q then not p. What would you call the ...
122 views

### The use of any as opposed to every.

This is a really basic question, but it is one I never really thought about until now. Let $\mathscr{G}$ be a tree. Then every pair of vertices in $\mathscr{G}$ is connected by a unique walk. We ...
95 views

### About a sentence in logic theory that I don't understand.

Can somebody explain to me the following terms in logic? I have to read a paper in combinatorics that says this, but I don't understand anything in this sentence, where the author speaks about logic. ...
84 views

### name of the unit of adjunction between $-\times C$ and $\cdot^C$

Answers to a earlier question about the categorical interpretation of first-order quantification led me to learn more about adjoints. Now, I understand that a category $\mathscr{C}$ with products has ...
166 views

### Are statements like “Every time I've done X, Y has happened” (vacuously) true if I've never done X?

I've recently been wondering about vacuous truths. I know a statement like "I've never been beaten in a race" is true if I've never been in a race, but what I'm wondering is if the following ...
280 views

### $\omega$-consistency and related terms

We know that a theory $T$ is $\omega$-inconsistent if there is a formula $\psi$ such that $T$ proves $(\exists x)\psi(x)$, and $T$ also proves $\lnot \psi(n)$ separately for each standard natural ...
91 views

### A few basic questions about the arithmetical hierarchy, mostly about terminology.

I was reading about the arithmetical hierarchy, and I have a few questions, mostly notational. For completeness, here's the definition given over at Wikipedia. The classifications $\Sigma_n$ and ...
1k views

### Claim vs statement vs proposition

In logic, it seems like the words claim, statement and proposition have the same meaning: A sentence which can be true or false (but not both). I'm not sure if this is correct. Isn't there any ...
1k views

### “IFF” (if and only if) vs. “TFAE” (the following are equivalent)

If $P$ and $Q$ are statements, $P \iff Q$ and The following are equivalent: $(\text{i}) \ P$ $(\text{ii}) \ Q$ Is there a difference between the two? I ask because formulations ...
173 views

### Models vs. Structures

Why are both the terms 'structure' and 'model' used in mathematical logic / model theory? Are they just holdovers from different subjects or is there a principled reason for having both? For ...
165 views

### Meaning of “defined”

What are the precise meanings of terms "defined", "well defined" and "undefined", etc.? We can't define what "defined" means since then we would run into circular definitions. (If definitiveness is ...
105 views

### What are 'contexts' actually called?

Consider the following argument by contradiction. \begin{array}{|l} \mbox{We wish to deduce A.} \\ {\begin{array}{|l} \mbox{Suppose not A.} \\ \hline \\ \mbox{Then B. Thus C. Therefore, ...
61 views

### What's the 'real' way of saying 'cautiously extends'?

Its well known that ZF is equiconsistent with ZFC. Thus we say 'the Axiom of Choice cautiously extends ZF'. Except we don't, because I just made that up. What's the usual way of saying this sort of ...
298 views

### What do we call the negation of logical equivalence?

The statement that '$x$, $y$ and $z$ are equivalent' just means all of $x$, $y$ and $z$ are false, or all of $x$, $y$ and $z$ are true. Now suppose its not the case that $x$, $y$ and $z$ are ...
529 views

### What's the difference between 'any', 'all' and 'some'?

There are lots of expressions like, for all x, for any x, for some x, etc. I think 'for some x in R s.t ~' means that there exists at least one point in R s.t ~~. right? However, I can't know the ...
54 views

### Elementary theory of an algebraic structures

Could someone elaborate me what the sentence "The elementary theory of finite fields is decidable" means? I'm not sure that for example if I take $x\in \mathbb{F}_4$ and $y\in \mathbb{F}_5$ then can I ...
920 views

### Is there a difference between 'inconsistent', 'contrary', and 'contradictory'

Is there a difference between 'inconsistent' 'contrary' and 'contradictory'? As far as I understand, two statements are inconsistent when they can not both be true; two statements are contradictory ...
83 views

### Substitution - what's the technical name of the inference rule?

Suppose the following are written down in some context. $$3x^2 < y$$ $$x^2=xy-1$$ Then we may deduce (also within that context) that $$3(xy-1) < y$$ What is the technical name of this ...
129 views

### Does this qualify as a statement?

Is this a statement? All positive integers with negative squares are prime. What do we need to qualify as such?
128 views

### Inherited topology of logical Stone's spaces.

I'm asking here if the following construction is of any interest. I can not find any reference for that kind of thing, so either the subject is completely trivial, either I just don't have the correct ...
190 views

### Difference between elementary submodel and elementary substructure

This is a really "elementary" question, forgive the pun. What is the difference between an elementary submodel and an elementary substructure (in first-order Logic)? Sincere thanks for help.
80 views

### What should I call a sentence which must (not) be true, but the provability is still unknown?

For example, let $\phi$ be a sentence in $ZF$ and $ZFC\vdash \neg\phi$. Then, $\phi$ must not be provable in $ZF$, but we still don't know whether $ZF\vdash \neg\phi$. What should i call this sentence ...
175 views

### Difference between a Lemma and a Theorem [duplicate]

What essentially is the difference between a lemma and a theorem in mathematics? More specifically, suppose you come across a general result while solving a mathematical problem, what are the ...
114 views

### Can any mathematical relation be called an 'operator'?

Mathematics authors agree that $+,-,/,\times$ are basic operators. There are also logical operators like $\text{or, and, xor}$ and the unary negation operator $\neg$. Where there seems to be a ...
166 views

### Two forms of Beth's theorem?

The version of Beth's theorem I'm familiar with is that if $\phi$ is a sentence in the language $\Sigma\sqcup \lbrace R\rbrace$ depends only on $\Sigma$ (i.e., ...
128 views

### Questions on Basic Terminology in Mathematical Logic

As a beginner, I'm overwhelmed by the usage of terminology , such as theory, model, interpretation, structure et al, which are omnipresent in Mathematical logic. Here's my understanding about them: ...
1k views

### What is the difference between an axiom and a postulate?

I here about axioms is set theory and postulates in geometry, but they seem like the same thing. Do the mean the same thing but then are used in different instances or what? Is one word more ...