Tags
- 7
- A
- Abraham Ortelius
- Absorption
- Abstract logic
- Acute accent
- Adjective
- Administrative geography of the United Kingdom
- Adomnán
- Agriculture in the United Kingdom
- Åland Islands
- Alba
- Albania
- Albion
- Alderney
- Aleph number
- Alfred North Whitehead
- Algebraic logic
- Almagest
- Alphabet
- Amhrán na bhFiann
- Ancient Greece
- Ancient Rome
- Andorra
- Andrey Kolmogorov
- Anglesey
- Anglo
- Anglo-Celtic
- Anglo-Irish Treaty
- Anglo-Normans
- Anglo-Saxons
- Anglosphere
- Aprile Il
- Archipelago
- Aristotle
- Arity
- Armorica
- Armorican Massif
- Arthur Prior
- Art of the United Kingdom
- Association football
- Asylum seeker
- Asylum Seekers
- Asymmetric federalism
- A Terrible Beauty
- Athletics
- Atlantic Ocean
- Augustus De Morgan
- Autism
- Automata theory
- Automated theorem proving
- Axiom
- Axiomatic system
- Axiom of Choice
- Axiom schema
- Azerbaijan
- Bailiwick
- Bailiwick of Guernsey
- Balmoral Hotel
- Bank of England
- Bart Kosko
- BBC
- BBC News
- Bede
- Behind
- Belarus
- Belgae
- Bengali language
- Bermuda
- Bertrand Russell
- Bijection
- Binary operation
- Blighty
- Boolean algebra
- Boolean function
- Bosnia and Herzegovina
- Boxing
- Brexit
- Britain
- Britannia
- British and Irish Lions
- British Armed Forces
- British Army
- British cuisine
- British Empire
- British Home Championship
- British–Irish Council
- British–Irish Intergovernmental Conference
- British–Irish Parliamentary Assembly
- British Islands
- British Isles
- British Isles naming dispute
- British literature
- British nationality law
- Britishness
- British Overseas Territories
- British passport
- British people
- British Sign Language
- Brittany
- Bro
- Brouwer
- BSI Group
- Buddhist logic
- Budget of the United Kingdom
- Bulgars
- Bus
- Cabinet of the United Kingdom
- Caledonians
- Cambridge
- Canada
- Cantor's diagonal argument
- Cardinality
- Cartesian product
- Category
- Category of sets
- Category theory
- Celt
- Celtic languages
- Celts
- Channel Islands
- Charles Sanders Peirce
- Chinese language
- Church encoding
- Church–Turing thesis
- Cinema of the United Kingdom
- Citizen
- City status in the United Kingdom
- Civil Service
- Class
- Classical logic
- Claudius
- Climate of the United Kingdom
- Coastline of the United Kingdom
- Codomain
- Cognate
- Common Travel Area
- Commonwealth Games
- Commonwealth of England
- Commonwealth of Nations
- Complement
- Completeness
- Complete theory
- Computability theory
- Concrete category
- Connacht
- Conservative extension
- Consistency
- Constitutional monarchy
- Constitution of Ireland
- Constitution of the United Kingdom
- Constructive proof
- Constructive set theory
- Constructivism
- Continental Europe
- Contradiction
- Cornish language
- Cornish people
- Countable set
- Counties of Ireland
- Counties of the United Kingdom
- Countries of the United Kingdom
- Country code top-level domain
- County Antrim
- County Armagh
- County Cavan
- County Donegal
- County Down
- County Fermanagh
- County Londonderry
- County Monaghan
- County Tyrone
- Cricket
- Crime in the United Kingdom
- Crown dependencies
- Cruithne
- Culture of England
- Culture of Scotland
- Culture of the United Kingdom
- Culture of Wales
- .cymru
- Cyprus
- Dáil Éireann
- Daniel J. Sullivan
- Darts
- David Hilbert
- David Hume
- Day Trip
- Day trips
- Decidability
- Decision problem
- De Interpretatione
- Demography of the United Kingdom
- Derry City F.C.
- Devolution
- Devolution in the United Kingdom
- Diagram
- Dichotomy
- Differences
- Disjunctive syllogism
- Distributive property
- DOI
- Domain of a function
- Dominion
- Double negation
- Dough Bro
- Dough Bros
- Driving in the United Kingdom
- Dublin
- Dublin City University
- Duchy
- Duchy of Normandy
- Easter Rising
- Ecclesiastical History of the English People
- Economy of England
- Economy of Northern Ireland
- Economy of Scotland
- Economy of the United Kingdom
- Economy of Wales
- Edinburgh
- Education in England
- Education in Scotland
- Education in the United Kingdom
- Education in Wales
- Edwardian era
- Éire
- Elections in the United Kingdom
- Element
- Elementary diagram
- Elizabeth II
- Empty set
- Energy in the United Kingdom
- Engineer
- Engineers
- England
- England and Wales
- England national football team
- English
- English Channel
- English language
- English law
- English people
- English-speaking world
- English throne
- Enumeration
- Equivalence relation
- Erin
- Ernst Schröder
- Essential
- Estonia
- Euclidean geometry
- Euclid's Elements
- Euler diagram
- European Economic Community
- European Union
- Exclusive or
- Executive
- Exonym and endonym
- Expression
- Extensionality
- Falkland Islands
- False dilemma
- Fauna of Great Britain
- Field hockey
- FIFA
- FIFA Women's World Cup
- Finitary relation
- Finite model theory
- Finite set
- Finland
- First Minister and deputy First Minister
- First Minister of Scotland
- First Minister of Wales
- First-order logic
- Fishing industry in Scotland
- Flag of Ireland
- Football Association of Ireland
- Football at the Summer Olympics
- Foras na Gaeilge
- Forcing
- Foreign relations of the United Kingdom
- Forestry in the United Kingdom
- Formal grammar
- Formal language
- Formal proof
- Formal semantics
- Formal system
- Formation rule
- Foundations of geometry
- Foundations of mathematics
- Fountain of Youth
- France
- Free variables and bound variables
- French language
- Function
- Functional predicate
- Fuscidea
- Fuzzy Logic
- Fuzzy set
- Gaelic Athletic Association
- Gaelic Athletic Association county
- Gaelic games
- Gaul
- GB
- Geography
- Geography of England
- Geography of Scotland
- Georg Cantor
- George Boole
- George Lily
- Georgian era
- Germanic languages
- Germany
- Gibraltar
- Giuseppe Peano
- Glossary of names for the British
- Gödel
- Gödel numbering
- Gödel's incompleteness theorems
- God Save the King
- Goidelic languages
- Golf
- Good Friday Agreement
- Gottfried Wilhelm Leibniz
- Gottlob Frege
- Government of Ireland
- Government of Ireland Act 1920
- Government of the United Kingdom
- Graham Priest
- Great Books of the Western World
- Great Britain
- Greco-Roman world
- Greek language
- Ground expression
- Group travel
- Guernsey
- Hadrian
- Hagiography
- Halting problem
- Hans Reichenbach
- Head of state
- Health and Social Care
- Healthcare in England
- Healthcare in the United Kingdom
- Hebrides
- Heir Apparent
- Henry M. Sheffer
- Henry VIII
- Hereditary set
- Herm
- Hermann Weyl
- Hibernia
- Higher-order logic
- Hilbert's program
- Hindi
- History of England
- History of Ireland
- History of logic
- History of Northern Ireland
- History of Portugal
- History of Scotland
- History of the British Isles
- History of the Isle of Man
- History of the United Kingdom
- History of Wales
- History of women in the United Kingdom
- Homelessness in England
- Home Nations
- House of Commons of the United Kingdom
- House of Lords
- Housing in the United Kingdom
- Human rights in the United Kingdom
- Hunting and shooting in the United Kingdom
- Image
- Independence
- Indigenous peoples
- Inference
- Infinite set
- Information theory
- Inishowen
- Injective function
- Inner Hebrides
- International
- International event
- International Organization for Standardization
- International relations
- International rules football
- International Standard Book Number
- Internet Encyclopedia of Philosophy
- Internet protocol suite
- Interpretation
- Interpretation Act 1978
- Interregnum
- Intersection
- Interwar Britain
- Intuitionism
- Intuitionistic logic
- Iona
- Ireland
- Ireland Act 1949
- Ireland–United Kingdom relations
- Irish
- Irish Football Association
- Irish Free State
- Irish language
- Irish nationalism
- Irish nationality law
- Irish passport
- Irish people
- Irish Republic
- Irish republicanism
- Irish Rugby Football Union
- Irish Sea
- Irish Sign Language
- Irish Times
- Irish Travellers
- Irish TV
- Irish War of Independence
- Irrational number
- Isle of Man
- Isle of Wight
- Isles of Scilly
- ISO 3166
- ISO 3166-1 alpha-2
- Isomorphism
- Italy
- James VI and I
- Janet
- Jan Łukasiewicz
- Jersey
- John Davies
- JSTOR
- Judiciaries of the United Kingdom
- Kale
- Kazakhstan
- KEY Difference
- Kingdom of England
- Kingdom of Great Britain
- Kingdom of Ireland
- Kingdom of Scotland
- Kingdom of Strathclyde
- Kolmogorov complexity
- Kurt Gödel
- Lambda calculus
- Latin
- Latvians
- Law enforcement in the United Kingdom
- Law of identity
- Law of noncontradiction
- Law of the United Kingdom
- Law of thought
- League of Ireland
- Legislation
- Leinster
- Lemma
- Liar paradox
- Liechtenstein
- Lists of mountains and hills in the British Isles
- Logic
- Logical biconditional
- Logical conjunction
- Logical connective
- Logical consequence
- Logical constant
- Logical determinism
- Logical disjunction
- Logical equality
- Logical equivalence
- Logical graph
- Logical truth
- Logic programming
- London Stock Exchange
- Lordship of Ireland
- Ludwig Wittgenstein
- Luxembourg City
- Máel Sechnaill mac Máele Ruanaid
- Malin Head
- Malta
- Manufacturing in the United Kingdom
- Manx language
- Map
- Martin Davis
- Material conditional
- Material implication
- Mathematical logic
- Mathematical object
- Medieval Latin
- Metalanguage
- Metaphysics
- Middle Ages
- Middle English
- Mikhail Gorbachev
- Military history of the United Kingdom during World War II
- Modal logic
- Model complete theory
- Model theory
- Modern immigration to the United Kingdom
- Modus ponens
- Modus tollens
- Monadic predicate calculus
- Monadic second-order logic
- Monarchy of Ireland
- Monarchy of the United Kingdom
- Montenegro
- Munster
- Music of the United Kingdom
- Naive Set Theory
- Name of Armenia
- Name of Austria
- Name of Russia
- Name of Ukraine
- Names of Germany
- National Assembly for Wales
- Nationalism
- National Poetry Month
- Natural deduction
- Need
- Needs
- Negation
- New
- New Foundations
- New International
- Nomological
- Non-Euclidean geometry
- Non-standard model
- Normandy
- North Britain
- North British Railway
- Northern
- Northern Ireland
- Northern Ireland Assembly
- Northern Ireland Executive
- Northern Ireland Football League
- Northern Isles
- North Sea oil
- Norway
- NP
- Nu
- Old Welsh
- Olympic Games
- Open formula
- Ordinal number
- Orkney
- Ossetians
- Outer Hebrides
- Outline of the United Kingdom
- P
- Palestine
- Parisii
- Parliament of England
- Parliament of Great Britain
- Parliament of the United Kingdom
- Partition of Ireland
- Patrick's Day
- Peano axioms
- Peninsula
- People of Northern Ireland
- Personal union
- Philosophy of mathematics
- Picts
- Place
- Pliny the Elder
- Poetry Month
- Political union
- Politics of England
- Politics of Northern Ireland
- Politics of Scotland
- Politics of the United Kingdom
- Politics of Wales
- Polity
- Pound sterling
- Poverty in the United Kingdom
- Power set
- Predicate
- Prime Minister of the United Kingdom
- Primitive recursive arithmetic
- Primitive recursive function
- Prince of Wales
- Principality
- Principality of Wales
- Principia Mathematica
- Problem of future contingents
- Project report
- Proof of impossibility
- Proof theory
- Proposition
- Propositional calculus
- Propositional formula
- Province
- Provinces of Ireland
- Prydain
- Ptolemy
- Public holidays in the United Kingdom
- Pulsano
- Pun
- P versus NP problem
- Pyrrhonism
- Pytheas
- Quantifier
- Racism in the United Kingdom
- Raidió Teilifís Éireann
- Rail transport in the United Kingdom
- Recursion
- Recursively enumerable set
- Relation
- Religion in England
- Religion in Scotland
- Religion in the United Kingdom
- Republic
- Republic of Ireland
- Republic of Ireland Act 1948
- Republic of Ireland national football team
- Richard Kirkham
- Roads in the United Kingdom
- Robert Maynard Hutchins
- Roman Britain
- Romance languages
- Roman conquest of Britain
- Romanichal
- Roman naming conventions
- Rosmarie Waldrop
- Royal Air Force
- Royal Ulster Constabulary
- Rugby football
- Rugby Football Union
- Rugby league
- Rugby union
- Rule of inference
- Russell's paradox
- Russian Soviet Federative Socialist Republic
- Saint Columba
- Saint Marinus
- Sark
- Satisfiability
- Scandinavian York
- Scotland
- Scots language
- Scots law
- Scottish Gaelic
- Scottish Government
- Scottish Highlands
- Scottish Parliament
- Scottish people
- Scottish Rugby Union
- Second-order logic
- Self-governance
- Self-refuting idea
- Semantics of logic
- Senedd
- Sentence
- Set
- Set theory
- Shetland
- SIC
- Signature
- Silures
- Singleton
- Slovaks
- Slovene Lands
- Snooker
- Social care in the United Kingdom
- Social class in the United Kingdom
- Social history of England
- Sorites paradox
- Soundness
- Southern Ireland
- Sovereign state
- Soviet Union
- Spain
- Spitsbergen
- Springer Science+Business Media
- Square of opposition
- Square root of 2
- St
- Stanford Encyclopedia of Philosophy
- Stephen Cole Kleene
- St. Patrick
- St Patrick's
- St. Patrick's Day
- Strabo
- Strength
- String
- Structure
- Substitution
- Substructure
- Summa Theologica
- Supertask
- Surjective function
- Syllogism
- Symbol
- Synecdoche
- Syntax
- Taoiseach
- Tau
- Tautology
- Taxation in the United Kingdom
- Tennis
- Term
- Term logic
- Terrible Beauty
- Theatre of the United Kingdom
- The best
- The crown
- The guardian
- The Irish Times
- The island
- Theorem
- Theory
- The Rithian Terror
- The times
- Thomas Aquinas
- Three-valued logic
- Time in Ireland
- Tips
- Tourism in Scotland
- Tourism in the Republic of Ireland
- Tourism in Wales
- Tractatus Logico-Philosophicus
- Transposition
- Travel
- Travel tips
- Truth function
- Truth table
- Truth value
- Turing machine
- TV
- Type
- Type safety
- Type theory
- UEFA
- UEFA Euro 1996
- U.K.
- UK Parliamentary by-elections
- Ukraine
- Ulster
- Ulster Scots dialects
- Ulster Scots people
- Ulster University
- Ultraproduct
- Uncountable set
- Undecidable problem
- Uninterpreted function
- Union
- Unionism in Ireland
- Unionist
- Union Jack
- Uniqueness quantification
- United Kingdom
- United Nations
- Universal instantiation
- Universal Postal Union
- Universal quantification
- Universal set
- Universe
- Universiade
- Urdu
- V
- Validity
- Variable
- Vehicle registration plate
- Vehicle registration plates of the United Kingdom, Crown dependencies and overseas territories
- Venn diagram
- Victorian era
- Viking
- Von Neumann universe
- Wales
- Wallachia
- Wallonia
- Wayback Machine
- W. D. Ross
- Welfare state in the United Kingdom
- Well-formed formula
- Welsh Government
- Welsh language
- Welsh law
- Welsh people
- Welsh Rugby Union
- Wessex
- What
- Whiskey Brand
- Whiskey Brands
- Why We Fight
- Wiley-Blackwell
- Willard Van Orman Quine
- Wine from the United Kingdom
- World War I
- Yes
- Zermelo–Fraenkel set theory